मॉडर्म JVMs एक ही कक्षा के अलग-अलग उदाहरणों को अलग-अलग अनुकूलित कर सकता है?

Question

का कहना है कि मेरे पास एक ही कक्षा के 2 उदाहरण हैं, लेकिन वे निर्माण समय पर निर्धारित अंतिम बूलियन क्षेत्र के आधार पर अलग-अलग व्यवहार करते हैं (विभिन्न कोड पथों का पालन करें)। तो कुछ की तरह: flag के लिए विभिन्न मूल्यों के साथ Foo की

public class Foo { 
    private final boolean flag; 

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

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

2 उदाहरणों सिद्धांत रूप में, 2 अलग विधानसभाओं द्वारा समर्थित किया जा सकता है जिससे अगर (काल्पनिक उदाहरण के लिए खेद है, इसके सरलतम एक मैं कर सकता की लागत को नष्ट करने साथ आएं)।

तो मेरा सवाल है - क्या कोई भी जेवीएम वास्तव में ऐसा करता है? या एक एकल वर्ग हमेशा एक असेंबली द्वारा समर्थित है?

Answer 1

हां, जेवीएम अनुकूलन के इस रूप को करते हैं। आपके मामले में, यह हमेशा सत्य होने के लिए inlining and adaptive optimization का परिणाम होगा। निम्नलिखित कोड पर विचार करें:

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

यह हॉटस्पॉट के लिए साबित करने के लिए मामूली बात है कि Foo हमेशा f की कॉल साइट क्या वीएम बस विधि के कोड को कॉपी-पेस्ट करने के लिए अनुमति देता है पर Foo का एक वास्तविक उदाहरण है, इस प्रकार आभासी प्रेषण को खत्म करना। अनुकूलन लागू किया जा सकता है, तो

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

की कॉल साइट के monomorphism पर निर्भर करते हैं इसलिए करता है:

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

यह फिर से, करने के लिए कोड को कम करने के लिए अनुमति देता है: इनलाइनिंग के बाद, उदाहरण के लिए कम हो जाता है इस कॉल साइट पर foo और flag की स्थिरता। (वीएम इस तरह के पैटर्न के लिए आपके तरीकों का प्रोफाइल करता है।) वीएम कम आपके प्रोग्राम के नतीजे की भविष्यवाणी करने में सक्षम है, कम अनुकूलन लागू किया जाता है।

यदि उदाहरण उपर्युक्त कोड के रूप में इतना छोटा था, तो जेआईटी शायद ऑब्जेक्ट आवंटन को भी मिटा देगा और बस doSomething पर कॉल करेगा। इसके अलावा, मामूली उदाहरण के मामले में जहां फ़ील्ड का मान true छोटा हो सकता है, वीएम को अनुकूली अनुकूलित करने की भी आवश्यकता नहीं है लेकिन केवल उपरोक्त अनुकूलन को लागू करता है। JITWatch नामक एक शानदार टूल है जो आपको यह देखने की अनुमति देता है कि आपका कोड अनुकूलित कैसे हो जाता है।

Answer 2

निम्नलिखित हॉटस्पॉट पर लागू होता है, अन्य JVMs विभिन्न अनुकूलन लागू कर सकते हैं।

ऐसे मामलों static final क्षेत्रों के लिए सौंपा चालू कर रहे हैं और फिर अन्य कोड से जाना जाता है और वी एम -XX:+TrustFinalNonStaticFields के साथ शुरू किया गया है तो ऐसे मामलों निरंतर तह में भाग ले सकते हैं और इनलाइन करने CONSTANT.f() बाहर होने से विभिन्न शाखाओं में परिणाम कर सकते हैं।

विशेषाधिकार प्राप्त कोड के लिए उपलब्ध एक और दृष्टिकोण sun.misc.Unsafe.defineAnonymousClass(Class<?>, byte[], Object[]) के माध्यम से उदाहरणों के बजाय अज्ञात कक्षाएं बना रहा है और प्रत्येक वर्ग के लिए कक्षा निरंतर पैचिंग कर रहा है, लेकिन आखिरकार इसे क्लाइंट निरंतर के माध्यम से संदर्भित किया जाना चाहिए ताकि अनुकूलन पर कोई प्रभाव हो सके।