Design: दस्तावेज़ क्यों NaN बिट पूरी तरह से नियतात्मक नहीं हैं

ध्यान देने वाली एक और बात यह है कि NaN बिट्स को गलती से देखना मुश्किल है

क्या उन्हें देखने या कम से कम साइन बिट को असंभव बनाने का कोई तरीका है?

IMO NaN nondeterminisms को अकेला छोड़ दिया जाना चाहिए, यह देखते हुए कि सॉफ्टवेयर के लिए उनकी देखभाल करना इतना दुर्लभ है। उन्हें नियतात्मक बनाने के लिए प्रदर्शन का त्याग करने का क्या मामला है?

यहां उन तरीकों की सूची दी गई है जिनसे कोई व्यक्ति NaN बिट्स का निरीक्षण कर सकता है:

• reinterpret रूपांतरण
• store रैखिक मेमोरी के लिए और बिट्स को एक अलग व्याख्या के साथ लोड करें (या बिट्स को बाहरी रूप से देखे जाने दें)
• किसी आयातित फ़ंक्शन के call के लिए एक तर्क पास करें, या किसी निर्यात किए गए फ़ंक्शन से एक मान लौटाएं
• copysign एक गैर-NaN पर साइन बिट

VMs इनमें से प्रत्येक से पहले विहित कोड सम्मिलित कर सकते हैं; यह ऊपर चर्चा की गई "भागने के बिंदुओं पर विहित" विचार है। store गर्म रास्तों पर बहुत आम है, इसलिए यह अभी भी काफी महंगा होगा।

@qwertie मैं उनके बारे में बहुत परवाह करता हूं और मेरे पास एक उपयोगकेस है जो उन पर निर्धारक होने पर टिकी हुई है। लेकिन जैसा कि यहां चर्चा की गई

@qwertie लाभों में थोड़ी अधिक पोर्टेबिलिटी शामिल हो सकती है (दुनिया में ऐसा कोड मौजूद है जो अनजाने में IEEE 754 TotalOrder फ़ंक्शन का उपयोग करता है, उदाहरण के लिए), थोड़ा अधिक प्रतिलिपि प्रस्तुत करने योग्य, और कई नोड्स में सममित गणना करते समय मजबूत इनवेरिएंट।

store गर्म रास्तों पर बहुत आम है, इसलिए यह अभी भी काफी महंगा होगा।

इस मामले के लिए क्या हम हमेशा साइन वैल्यू निर्दिष्ट कर सकते हैं? तो अगर इसे मेम में रखा जाता है तो बस इसे 1 बनाएं?

@wanderer अनिवार्य रूप से कैनोनिकलाइज़ेशन में क्या शामिल है: यह देखने के लिए जांचें कि क्या मान एक NaN है, और यदि ऐसा है, तो कुछ सुधार लागू करें। यह आम तौर पर गर्म पथ पर एक अतिरिक्त तुलना और शाखा है।

मुझे यह भी जोड़ना चाहिए, मैंने इस अंक में उल्लिखित किसी भी विकल्प को बेंचमार्क नहीं किया है; कोई भी बेंचमार्किंग जिसे कोई भी यहां जोड़ सकता है, उसका स्वागत किया जाएगा।

मैं दृढ़ता से गैर-नियतात्मकता के वर्तमान स्तर की ओर झुकूंगा, जो प्रदर्शन का पक्षधर है।
मैं वास्तव में कुछ हद तक हैरान था कि wasm सख्ती से NaN के मंटिसा बिट्स को परिभाषित करता है।
हालांकि यह आज के प्रोसेसर के लिए पर्याप्त हो सकता है, कौन जानता है कि भविष्य के प्रोसेसर क्या हो सकते हैं।

यदि वास्म उच्च स्तरीय भाषा से उत्पन्न किया जा रहा है, तो वह अनुवादक उदाहरण के लिए -फास्ट-गणित के समान एफपी शब्दार्थ के स्तर को नियंत्रित करने का विकल्प प्रदान कर सकता है। अनुवादक तब किसी भी अतिरिक्त वासम फिक्सअप को सम्मिलित कर सकता था जो नान को वांछित प्रारूप में मजबूर करने के लिए आवश्यक था। उस दिशा में हम isNan या normalizeNan ऑपरेटर प्रदान कर सकते हैं, हालाँकि मैं अभी इसके लिए वकालत नहीं कर रहा हूँ।

संक्षेप में, "फिक्सिंग" यह एक उच्च स्तरीय उपकरण, आईएमओ के लिए सबसे अच्छा छोड़ दिया गया है।

+1 @mbodart। संपादित करें : ओह देखो वास्तव में अब एक +1 चीज़ है :)। बीटीडब्ल्यू, मुझे व्यक्तिगत रूप से वासम = विश्व प्रभुत्व लगता है और इसलिए भविष्य के प्रोसेसर इसका विरोध नहीं करेंगे।

निर्णय लेने से पहले मैं इसके प्रदर्शन प्रभावों को मापना चाहता हूं। मुझे लगता है कि इस समय अच्छा प्रदर्शन माप करने के लिए हमारे टूलचेन अभी भी अपरिपक्व हैं (इस के रास्ते में लंबे ध्रुव हैं)। दूसरा तरीका रखो: मैं "एक हजार कटौती से मौत" से बचना चाहता हूं।

मैं @jfbastien से सहमत हूं। शब्दार्थ के साथ छेड़छाड़ करने से पहले प्रदर्शन प्रभावों को पहले परिमाणित करने की आवश्यकता है।

स्पष्ट होने के लिए, मैं वर्तमान में यहां बदलाव की वकालत नहीं कर रहा हूं; मैं तर्कसंगत सामग्री एकत्र कर रहा हूं। NaN बिट nondeterminism चिपक जाता है, और स्पष्टीकरण चाहता है। और जहां तक ​​​​मुझे पता है, किसी ने भी इन बिट्स को नॉनडेटर्मिनिस्टिक बनाने के प्रदर्शन प्रभावों को निर्धारित नहीं किया है।

एआरएमवी 8 हमेशा पहले ऑपरेंड का प्रचार नहीं करता है जब दोनों ऑपरेंड NaN होते हैं। नियम है:

• यदि एक ऑपरेंड एक शांत NaN है और दूसरा एक सिग्नलिंग NaN है, तो सिग्नलिंग NaN का प्रचार करें।
• अन्यथा, पहले ऑपरेंड का प्रचार करें।

जैसा कि मैं कल्पना पढ़ रहा हूं, यह ARMv8 के Aarch32 और Aarch64 दोनों मोड पर लागू होता है।

यह व्यवहार एसएसई से अलग है जो दोनों मामलों में पहले ऑपरेंड का प्रचार करता है।

दोनों आर्किटेक्चर एक sNaN को एक qNaN में बदल देंगे, इसे प्रचारित करने से पहले शांत बिट सेट करके।

@stoklund अच्छी जगह! मुझे याद आया कि पहला NaN चुनने वाला ARM उस स्थिति में नहीं होता है जहाँ दूसरा NaN सिग्नलिंग कर रहा है। यह ऊपर दिए गए कई NaN मामले के लिए मेरे द्वारा निर्धारित रणनीति को जटिल बना देगा, इसलिए हम तर्क में इसका उल्लेख कर सकते हैं।

मैंने अब उपरोक्त संक्षेप में विशिष्ट पाठ का प्रस्ताव करने के लिए #973 बनाया है।