एफ # इनलाइन कारण 11x प्रदर्शन सुधार क्यों करता है

Question

मैं कुछ भारी सीपीयू बाध्य समस्या पर काम कर रहा हूं। जब मैं inline कीवर्ड का उपयोग करता हूं तो मुझे एक बड़ा प्रदर्शन सुधार दिखाई देता है। मैं एक कस्टम कुंजी comparer में मानक .net पुस्तकालय गुजर से एक शब्दकोश बनाने Eq_cmp

पर इनलाइन कीवर्ड का उपयोग Eq_cmp

> perf_run 10000000 ;; 
Real: 00:00:11.039, CPU: 00:00:11.029, GC gen0: 771, gen1: 3, gen2: 1 
val it : unit =() 

पर इनलाइन कीवर्ड के बिना नीचे

https://gist.github.com/4409734

कोड और समय परिणामों को देखने के

perf_run 10000000 ;; 
Real: 00:00:01.319, CPU: 00:00:01.388, GC gen0: 1, gen1: 1, gen2: 1 
val it : unit =() 
> 

मैंने आईएनएल के साथ जनरल 0 जीसी की मात्रा में भारी अंतर भी देखा इन कोड और गैर रेखांकित कोड।

कोई बता सकता है कि इतना बड़ा अंतर क्यों है?

Answer 1

मैं inline कीवर्ड जोड़ने के बाद 3x प्रदर्शन बूस्ट के साथ अपनी मशीन पर व्यवहार को पुन: उत्पन्न कर सकता हूं।

ILSpy के तहत दोनों तरफ से दो संस्करणों को डीकंपलिंग लगभग समान सी # कोड देता है। उल्लेखनीय अंतर दो समानता परीक्षण में है:

// Version without inline 
bool IEqualityComparer<Program.Pair<a>>.System-Collections-Generic-IEqualityComparer(Program.Pair<a> x, Program.Pair<a> y) 
{ 
    a v@ = x.v@; 
    a v@2 = y.v@; 
    if (LanguagePrimitives.HashCompare.GenericEqualityIntrinsic<a>(v@, v@2)) 
    { 
     a w@ = x.w@; 
     a w@2 = y.w@; 
     return LanguagePrimitives.HashCompare.GenericEqualityIntrinsic<a>(w@, w@2); 
    } 
    return false; 
} 

// Version with inline 
bool IEqualityComparer<Program.Pair<int>>.System-Collections-Generic-IEqualityComparer(Program.Pair<int> x, Program.Pair<int> y) 
{ 
    int v@ = x.v@; 
    int v@2 = y.v@; 
    if (v@ == v@2) 
    { 
     int w@ = x.w@; 
     int w@2 = y.w@; 
     return w@ == w@2; 
    } 
    return false; 
} 

सामान्य समानता बहुत कम विशेष संस्करण की तुलना में कुशल है।

मैंने इनलाइन कोड और गैर रेखांकित कोड के साथ जनरल 0 जीसी की मात्रा में भारी अंतर भी देखा।

कोई बता सकता है कि इतना बड़ा अंतर क्यों है?

F# source code में GenericEqualityIntrinsic समारोह पर एक नज़र ले रहा है:

let rec GenericEqualityIntrinsic (x : 'T) (y : 'T) : bool = 
    fsEqualityComparer.Equals((box x), (box y)) 

यह करता तर्कों पर मुक्केबाजी, जो अपने पहले उदाहरण में कचरे के महत्वपूर्ण राशि बताते हैं। जब जीसी अक्सर खेलता है, तो यह नाटकीय रूप से गणना को धीमा कर देगा। दूसरा उदाहरण (inline का उपयोग करके) Pair संरचना के दौरान लगभग कोई कचरा उत्पन्न नहीं करता है।

यह कहा गया है कि यह कॉल साइट पर एक विशेष संस्करण का उपयोग होने पर inline कीवर्ड का अपेक्षित व्यवहार है। मेरा सुझाव हमेशा एक ही मानक पर अपने कोड को अनुकूलित और मापने का प्रयास करना है।

आपको एक बहुत ही समान धागे Why is this F# code so slow? में रुचि हो सकती है।

Answer 2

प्रकार विशेषज्ञता

inline के बिना, आप सामान्य तुलना जो बहुत अक्षम है प्रयोग कर रहे हैं। inline के साथ, सामान्यता को हटा दिया गया है और int तुलना सीधे उपयोग की जाती है।