ग्रूवी में इंप्लांटस टाइपकास्टिंग की विशेषताएं

बहुत समय पहले मैंने ग्रूवी मेल-लिस्ट में एक सवाल पूछा था - क्या कोई ऐसी स्थिर सूची है जिसे उच्च प्रदर्शन वाले ग्रूवी को लिखते समय टाला जाना चाहिए। अन्य युक्तियों में, ग्रूवी के मुख्य डेवलपर्स में से एक, जोचेन "ब्लैकड्रैग" थियोडोरो ने बताया कि सामान्य मामले में, अक्सर एक विशेष प्रकार का उपयोग करते समय एक चर की घोषणा करते हैं (उदाहरण के लिए, MyType var = ... बजाय def = ...) प्रदर्शन को कम कर सकते हैं। ओवरहेड प्रकार की जाँच के लिए लागत और, यदि आवश्यक हो, तो उनका रूपांतरण।

ग्रूवी डेवलपर्स के अनुसार, इस क्षेत्र की कई समस्याओं को 1.7 तक के संस्करणों में देखा गया था और फिर संस्करण 1.9 में किए गए रनटाइम के सामान्य अनुकूलन पर बहुत काम के दौरान तय किया गया था। नीचे, हालांकि, एक छोटा सा प्रयोग है जो ये ओवरहेड ग्रोवी 1.8.3 पर भी दिखाता है।

इस प्रयोग से पहले, यह निम्नलिखित लेख की समीक्षा करने के लिए उपयोगी होगा - groovy.codehaus.org/From+source+code+to+bytecode , जो बताता है कि कैसे, चरणों में, Groovy पर स्रोत कोड एक JVM के लिए परिवर्तित हो जाता है, साथ ही साथ कुछ इनपुट पढ़ें खुद बाइटकोड में एक लेख, उदाहरण के लिए यह एक - www.ibm.com/developerworks/ibm/library/it-haggar_bytecode ।



तो सबसे सरल कोड है:

class NoStrictType { void myMethod1() { def a = 4.2 } } class StrictType { void myMethod1() { int a = 4.2 } } 

एकमात्र अंतर यह है कि दूसरी कक्षा में, स्थानीय चर के प्रकार को स्पष्ट रूप से परिभाषित किया गया है। हम दोनों वर्गों को संकलित करते हैं और इन विधियों के बायोटेक को देखते हैं।
पहले मामले के लिए (एक विशिष्ट प्रकार के बिना):



तो कोड बहुत स्पष्ट है। हम पहली पंक्ति को छोड़ देते हैं, यह कैश्ड कॉलसाइट की एक सरणी प्राप्त कर रहा है, वे सीधे प्रकार के संचालन पर लागू नहीं होते हैं। अगला, हम प्रकार की एक नई वस्तु बनाते हैं BigDecimal (सभी को याद है कि Groovy में डिफ़ॉल्ट रूप से सभी गैर-पूर्णांक संख्याओं को BidDecimal के रूप में दर्शाया जाता है?), ऑपरेंड स्टैक के शीर्ष पर वर्तमान मूल्य को दोहराएं, स्थिरांक के पूल से मान 4.2 प्राप्त करें, BigDecimal ऑब्जेक्ट को प्रारंभ करें, इस बनाई गई वस्तु का लिंक रखें। वर्तमान फ्रेम के स्थानीय चर के सरणी के दूसरे सेल में, फिर इसे वहां से स्टैक के शीर्ष पर लोड करें, और अंत में पॉप का उपयोग करें। इस लिंक को विधि से वापस करने के लिए वापस लौटें। फिर से, जैसा कि हर कोई याद करता है, ग्रूवी में, यहां तक ​​कि एक स्पष्ट रिटर्न स्टेटमेंट के बिना, कोई भी विधि अंतिम चर देता है जो गणना में उपयोग किया गया था (अधिक सटीक रूप से, विधि समाप्त होने के समय ऑपरेंड स्टैक के शीर्ष पर संग्रहीत अंतिम लिंक)।

अब, दूसरी कक्षा के लिए बायटेकोड स्ट्रिक्टटाइप है।



पहले मामले की तुलना में क्या अंतर है? स्थिर विधि DefaultTypeTransformation.intUnbox () में कॉल जोड़ा गया था। आइए इस पद्धति के लिए दस्तावेज़ीकरण देखें कि यह क्या करता है।
groovy.codehaus.org/api/org/codehaus/groovy/runtime/typehandling/DefaultTypeTransformation.html
हम देखते हैं कि यह विधि केवल लिंक ऑब्जेक्ट को प्रकार संख्या के ऑब्जेक्ट में परिवर्तित करती है, और एक आदिम रिटर्न करती है।

 public static int intUnbox(Object value) { Number n = castToNumber(value, int.class); return n.intValue(); } 

हम देखते हैं कि इस प्रकार का रूपांतरण कैसे किया जाता है:

  public static Number castToNumber(Object object, Class type) { if (object instanceof Number) return (Number) object; if (object instanceof Character) { return Integer.valueOf(((Character) object).charValue()); } if (object instanceof GString) { String c = ((GString) object).toString(); if (c.length() == 1) { return Integer.valueOf(c.charAt(0)); } else { throw new GroovyCastException(c, type); } } if (object instanceof String) { String c = (String) object; if (c.length() == 1) { return Integer.valueOf(c.charAt(0)); } else { throw new GroovyCastException(c, type); } } throw new GroovyCastException(object, type); } 

कई इंस्टाफॉपर ऑपरेटर जो सबसे सस्ते नहीं हैं, कई स्पष्ट प्रकार के रूपांतरण, सशर्त ऑपरेटर, अपवादों के साथ काम करते हैं। मैंने यह नहीं मापा कि यह वास्तविक अनुप्रयोगों में काम की गति को कैसे प्रभावित करता है, लेकिन इस तथ्य से ही पता चलता है कि टाइप कास्टिंग के लिए इस मामले में कितने अतिरिक्त बायोटेक का प्रदर्शन किया जाना प्रभावशाली है। याद रखें - मूल विधि ही - केवल 10 बाईटकोड।