Design: कैरी के साथ अंकगणित

मुझे लगता है कि विकल्प 3 के लिए व्यावहारिक अनुकूलन हैं जो इसे व्यावहारिक बना देंगे। मान लीजिए {i32,i64}.addc तीन इनपुट लेता है, op2 शीर्ष पर, op1 नीचे, नीचे ले जाता है और दो आउटपुट उत्पन्न करता है, परिणाम शीर्ष पर और नीचे ले जाता है। तर्क के लिए मान लें कि कैरी हमेशा अन्य ऑपरेंड के समान प्रकार का होता है। Addc को केवल कैरी के निम्न बिट का उपयोग करने के लिए और ऑपरेशन के बाद छोड़े गए कैरी के लिए शून्य या एक होने के लिए परिभाषित करें। चीजें अब बहु-शब्द जोड़ने के लिए उचित रूप से स्थापित हैं, कहें। एक उपयुक्त रूप से अनियंत्रित लूप में एक जेआईटी/वासम कंपाइलर को वास्तव में यह देखने में सक्षम होना चाहिए कि यह वह वाहक है जिसे प्रचारित किया जा रहा है, और अच्छा कोड उत्पन्न करता है। (और यदि लूप अनियंत्रित नहीं है तो लूप ओवरहेड वैसे भी कैरी एक्सट्रैक्शन/सम्मिलन को पतला कर देगा।) मुझे लगता है कि कैरी एक्सट्रैक्शन के लिए सबसे खराब स्थिति शाखा-मुक्त कोड होना चाहिए mov rd, 0; adc rd, 0 ; सम्मिलन के लिए, and rc, 1; add rc, ~0 जैसा कुछ जहां आरसी एक रजिस्टर है जिसमें एक मूल्य होता है जिसे कैरी के रूप में माना जाता है।

एआरएम पर, कैरी का उपभोग कैरी के उत्पादन से अलग होता है: एडीसी खपत करता है, एडीसी.एस उपभोग करता है और उत्पादन करता है, एडीडी.एस केवल उत्पादन करता है। क्या हम ये सभी वेरिएंट चाहते हैं? और अतिप्रवाह के बारे में क्या?

(एक चौथा विकल्प हो सकता है, जहां हम एक ऑपरेशन-और-शाखा-ऑन-कंडीशन ऑपरेशन जोड़ते हैं, जो दोनों एक परिणाम और शाखाओं को एक लेबल पर उत्पन्न करता है या नहीं, उदाहरण के लिए, i32.addc op1 op2 carry L कैरी सेट पर एल को शाखा देगा और कैरी क्लियर के माध्यम से गिरें, और किसी भी तरह से स्टैक पर एक परिणाम छोड़ दें, लेकिन आपके द्वारा सुझाए गए तीन विकल्पों की तुलना में सामान्य रूप से इसका उपयोग करना कठिन लगता है।)

क्या कोई इस प्रस्ताव का समर्थन करने को तैयार है? हमें प्रस्तावित शब्दार्थ, बाइनरी एन्कोडिंग की आवश्यकता होगी, और मुझे कम से कम उपयोगकेस और इन उपयोगकेस के लिए प्रदर्शन संख्याओं के साथ एक कार्यान्वयन चाहिए (वर्तमान एमवीपी WebAssembly की तुलना करें, इस प्रस्तावित अतिरिक्त और मूल कोड के साथ)।

सिद्धांत रूप में, मैं इसे चैंपियन बनाने के लिए तैयार हूं।
हालांकि, व्यक्तिगत परिवर्तनों का मतलब है कि मेरे पास कम से कम अगले कुछ महीनों के लिए सीमित संसाधन हैं।
———
फ्रैंक मैककेबे
वरिष्ठ सॉफ्टवेयर वास्तुकार
फोन: 650-740 6673 | ईमेल: [email protected] [email protected]
तर्क शुरू करें | 450 लैम्बर्ट एवेन्यू, पालो ऑल्टो, सीए 94306 | instartlogic.com http://instartlogic.com/

11 मई, 2017 को सुबह 10:14 बजे, JF Bastien [email protected] ने लिखा:

क्या कोई इस प्रस्ताव का समर्थन करने को तैयार है? हमें प्रस्तावित शब्दार्थ, बाइनरी एन्कोडिंग की आवश्यकता होगी, और मुझे कम से कम उपयोगकेस और इन उपयोगकेस के लिए प्रदर्शन संख्याओं के साथ एक कार्यान्वयन चाहिए (वर्तमान एमवीपी WebAssembly की तुलना करें, इस प्रस्तावित अतिरिक्त और मूल कोड के साथ)।

-
आप इसे प्राप्त कर रहे हैं क्योंकि आपने सूत्र को लिखा है।
इस ईमेल का सीधे उत्तर दें, इसे GitHub https://github.com/WebAssembly/design/issues/1021#issuecomment-300856161 पर देखें, या थ्रेड को म्यूट करें https://github.com/notifications/unsubscribe-auth/ADfCzd9le4ufXm6DSsArpfXCYsGdV7UIks5ZM4H5gaJp .

मेरे पास इसे समर्पित करने का समय होने की संभावना है, हालांकि जून या उसके बाद तक बहुत ज्यादा नहीं, और फिर गिरावट में। आईएमओ यह कार्यक्षमता काफी महत्वपूर्ण है, और मुझे लगता है कि अतिप्रवाह ध्वज वाहक ध्वज के रूप में महत्वपूर्ण है, हालांकि विभिन्न उपयोग मामलों (गतिशील भाषाओं के फिक्सनम -> बिग्नम संक्रमण) के साथ।

आज कुछ मोज़िला लोगों के साथ इस पर चर्चा की। सारांश:

• हम शायद यहां समर्पित निर्देश चाहते हैं क्योंकि व्यवहार का अनुकरण धीमा होगा और हम आम तौर पर अनुकरण को पहचानने और इसे पर्दे के पीछे कुशल मशीन कोड में बदलने के लिए जादू पैटर्न-मिलान नहीं करना चाहते हैं
• हम निश्चित रूप से कैरी/उधार और अतिप्रवाह की परवाह करते हैं; अन्य झंडे टीबीडी
• हम निश्चित रूप से जोड़ने और घटाने की परवाह करते हैं; गुणा, भाग, घुमाना (रोटेट-थ्रू-कैरी आम है लेकिन क्या यह वास्म के लिए उपयोगी है?) टीबीडी
• सामान्य मामला यह है कि हम एक समय में केवल एक ध्वज की परवाह करते हैं और यह संभवतः उस मामले को कवर करने के लिए पर्याप्त है, न कि सामान्य "फ्लैग ए, बी और सी कैप्चर करें" स्थिति
• ले जाने के लिए, एक निर्देश जो हमेशा कैरी-इन का उपभोग करता है और हमेशा कैरी-आउट करता है, पर्याप्त है; ऐसे वेरिएंट जो उपभोग करते हैं लेकिन उत्पादन नहीं करते हैं या इसके विपरीत आवश्यक नहीं हैं, और उनके न होने से शायद एक अच्छे कंपाइलर के आउटपुट पर कोई असर नहीं पड़ेगा
• हम मौजूदा अच्छे एमपी पुस्तकालयों (जैसे जीएनयू एमपी) के डेटा के साथ इस काम को प्रेरित करना चाहते हैं; यह तथ्य हो सकता है (लाइब्रेरी एक्स में असेंबलर सबरूटीन्स नहीं है या झंडे का उपयोग करने के लिए इंट्रिनिक्स का उपयोग नहीं करता है; यह निर्देश ए और बी का उपयोग करता है) या प्रदर्शन डेटा (लाइब्रेरी वाई असेंबलर सबराउटिन का उपयोग कर सकता है या सी में अनुकरण कर सकता है; पूर्ण अंतर एन% है ) या मामलों का उपयोग करें (सामान्य बिग्नम अंकगणित, क्रिप्टो, जो कुछ भी दिमाग में आता है)
• हम विशिष्ट निर्देशों के प्रस्ताव के साथ प्रतीक्षा करना चाह सकते हैं जब तक कि हम सामान्य रूप से बहु-मूल्य उत्पादक निर्देशों पर चर्चा करना शुरू नहीं करते हैं, उदाहरण के लिए, बहु-मूल्य रिटर्न

क्या इस मुद्दे पर कोई प्रगति हुई है? आधुनिक क्रिप्टोग्राफी (जैसे SIDH) को कुशलता से लागू करने के लिए कैरी और उधार लेने की आवश्यकता है। एडीडीसी के बिना बड़ी संख्या में वृद्धि कई कारकों की तुलना में धीमी है। यही बात घटाव और गुणा पर भी लागू होती है।

मुझे लगता है कि हम कम से कम बहु-मूल्य समाप्त होने की प्रतीक्षा कर रहे हैं ताकि हम एक से अधिक परिणामों के साथ आसानी से एक ऑपरेशन व्यक्त कर सकें। बहु-मूल्य "लगभग वहाँ" है।