các JVM có thể điều chỉnh tối ưu các phiên bản khác nhau của cùng một lớp khác nhau?

Question

nói rằng tôi có 2 trường hợp cùng một lớp, nhưng chúng hoạt động khác nhau (theo các đường dẫn mã khác nhau) dựa trên trường boolean cuối cùng được đặt tại thời gian xây dựng. nên cái gì như:

public class Foo { 
    private final boolean flag; 

    public Foo(boolean flagValue) { 
     this.flag = flagValue; 
    } 

    public void f() { 
     if (flag) { 
     doSomething(); 
     } else { 
     doSomethingElse(); 
     } 
    } 
} 

2 trường hợp của Foo với các giá trị khác nhau cho flag thể về mặt lý thuyết được hỗ trợ bởi 2 hội khác nhau, do đó loại bỏ các chi phí của if (xin lỗi vì sự dụ giả tạo, nó đơn giản nhất tôi có thể đi lên với).

vì vậy câu hỏi của tôi là - làm bất kỳ JVM nào thực sự thực hiện việc này? hoặc là một lớp duy nhất luôn luôn được hỗ trợ bởi một hội đồng duy nhất?

Answer 1

Có, JVM thực hiện hình thức tối ưu hóa này. Trong trường hợp của bạn, điều này sẽ là kết quả của inlining and adaptive optimization vì là một giá trị luôn đúng. Xét đoạn mã sau:

Foo foo = new Foo(true); 
foo.f(); 

Đó là tầm thường để chứng minh cho HotSpot rằng Foo luôn là một ví dụ thực tế của Foo tại trang web tiếng gọi của f những gì cho phép máy ảo để chỉ cần sao chép-dán mã của phương pháp này, do đó loại bỏ công văn ảo. Sau khi nội tuyến, ví dụ được giảm xuống:

Foo foo = new Foo(true); 
if (foo.flag) { 
    doSomething(); 
} else { 
    doSomethingElse(); 
} 

này một lần nữa, cho phép để giảm mã để:

Foo foo = new Foo(true); 
foo.doSomething(); 

Nếu việc tối ưu hóa có thể được áp dụng do đó không phụ thuộc vào monomorphism của các trang web tiếng gọi của foo và sự ổn định của flag tại trang web cuộc gọi này. (VM cấu hình các phương thức của bạn cho các mẫu như vậy.) VM ít có khả năng dự đoán kết quả của chương trình của bạn, tối ưu hóa ít hơn được áp dụng.

Nếu ví dụ quá tầm thường như mã trên, thì JIT có lẽ cũng sẽ xóa phân bổ đối tượng và chỉ cần gọi doSomething. Ngoài ra, đối với trường hợp ví dụ nhỏ, trong đó giá trị của trường có thể được chứng minh là true không đáng kể, VM thậm chí không cần tối ưu hóa thích nghi mà chỉ áp dụng tối ưu hóa ở trên. Có một công cụ tuyệt vời có tên là JITWatch cho phép bạn xem xét cách mã của bạn được tối ưu hóa.

Answer 2

Các điều sau đây áp dụng cho điểm phát sóng, các JVM khác có thể áp dụng các tối ưu hóa khác nhau.

Nếu những trường hợp đang quay gán cho static final lĩnh vực và sau đó được gọi bằng mã khác và VM được bắt đầu với -XX:+TrustFinalNonStaticFields sau đó những trường hợp có thể tham gia vào gấp liên tục và nội tuyến CONSTANT.f() có thể dẫn đến các chi nhánh khác nhau được loại bỏ.

Một cách tiếp cận khác có sẵn cho mã đặc quyền là tạo lớp ẩn danh thay vì trường hợp qua sun.misc.Unsafe.defineAnonymousClass(Class<?>, byte[], Object[]) và vá một hằng số lớp cho mỗi lớp, nhưng cuối cùng cũng phải được tham chiếu thông qua một hằng số lớp để có bất kỳ ảnh hưởng nào đến tối ưu hóa.