Design: सशर्त शाखाओं के लिए स्टैक पॉपिंग का स्पष्टीकरण

को निर्मित 27 मार्च 2017 · 5टिप्पणियाँ · स्रोत: WebAssembly/design

मैं एक WebAssembly संकलक w/लिख रहा हूँ। मैं परीक्षण देख रहा हूँ https://github.com/WebAssembly/spec/blob/634f0d9009404f498ef8d8bd510bd6f0941219cc/test/core/br_if.wast#L272 जो ऐसा लगता है कि यह थोड़ा विस्तारित हुआ:

(module
    (func
      $type-arg-void-vs-num-nested
      (result i32)

      block i32
        (i32.const 0)
        block
          (i32.const 1)
          (br_if 1)
        end
      end
    )
)

मुझे जो त्रुटि मिलती है वह है:

Error: check failed:
test.wast:10:12
type stack size too small at br_if value. got 0, expected at least 1
          (br_if 1)
           ^^^^^^^

मुझे लगता है कि जब यह br_if तक पहुंचता है तो स्टैक आकार 2 होता है जिसका अर्थ है कि यह सशर्त के लिए 1 पॉप करता है और उसके बाद बाहरी ब्लॉक को संतुष्ट करने के लिए एक बचा हुआ होता है। मुझे लगता है कि (i32.const 0) नेस्टेड ब्लॉक के माध्यम से गिर जाएगा। मुझे कौन सा हिस्सा याद आ रहा है? अग्रिम में धन्यवाद।

स्रोत

cretz

सबसे उपयोगी टिप्पणी

क्या इसका मतलब यह है कि प्रत्येक ब्लॉक का अपना ढेर हो जाता है?
मैं यह नहीं कहूंगा कि उन्हें अपने स्वयं के ढेर मिलते हैं, बस एक सीमा होती है
क्या पॉप किया जा सकता है। वास्तव में इसे वैब में कैसे कार्यान्वित किया जाता है, वहां
एक मूल्य ढेर और एक "लेबल" ढेर है। प्रत्येक लेबल एक "सीमा" संग्रहीत करता है जो है
मूल्य स्टैक का आकार जब लेबल को धक्का दिया जाता है। फिर जब भी तुम
पॉप, आप शीर्ष लेबल की सीमा के विरुद्ध जाँच करते हैं।

दोनों मान्य विचार हैं। अर्थात्, "ब्लॉक-लोकल स्टैक" दृश्य में है
लाभ यह है कि इसके लिए किसी अतिरिक्त इनवेरिएंट की आवश्यकता नहीं है। "एकल ढेर" के साथ
अतिरिक्त शुद्धता धारणाएं आवश्यक हैं, जैसे सभी सीमाएं
लेबल स्टैक में होने वाला वर्तमान ऑपरेंड स्टैक की सीमा में होना चाहिए
ऊंचाई, वे बढ़ते क्रम में (जरूरी नहीं कि सख्ती से) होनी चाहिए, और
लेबल स्टैक कभी खाली नहीं होना चाहिए।

rossberg 28 मार्च 2017

👍2

सभी 5 टिप्पणियाँ

हाँ, wabt की त्रुटि रिपोर्टिंग यहाँ सुधार कर सकती है। हालांकि स्टैक पर दो i32 s हैं, फिर भी ऑपरेटर ब्लॉक की शुरुआत से पहले कभी नहीं पॉप करेंगे, इसलिए प्रभावी रूप से केवल एक ही है।

binji 28 मार्च 2017

क्या इसका मतलब यह है कि प्रत्येक ब्लॉक का अपना ढेर हो जाता है? मैं अर्थशास्त्र दस्तावेज़ में निम्नलिखित कथन से भ्रमित था:

किसी ब्लॉक या लूप निर्देश को निष्पादित करने से मूल्य स्टैक पर कोई प्रभाव नहीं पड़ता है।

शायद इसे बदलना चाहिए:

किसी ब्लॉक या लूप निर्देश को निष्पादित करने से मूल्य स्टैक पर कोई प्रभाव नहीं पड़ता है, लेकिन निष्पादन ब्लॉक के बाहर सभी स्टैक मान अप्राप्य हैं।

या मैं गलत समझ रहा हूँ?

cretz 28 मार्च 2017

क्या इसका मतलब यह है कि प्रत्येक ब्लॉक का अपना ढेर हो जाता है?

मैं यह नहीं कहूंगा कि उन्हें अपने स्वयं के ढेर मिलते हैं, बस यह है कि क्या पॉप किया जा सकता है इसकी एक सीमा है। वास्तव में यह वैब में कैसे कार्यान्वित किया जाता है, एक मूल्य स्टैक और "लेबल" स्टैक होता है। प्रत्येक लेबल एक "सीमा" संग्रहीत करता है जो लेबल को धक्का देने पर मान स्टैक का आकार होता है। फिर जब भी आप पॉप करते हैं, तो आप शीर्ष लेबल की सीमा के विरुद्ध जांच करते हैं।

किसी ब्लॉक या लूप निर्देश को निष्पादित करने से मूल्य स्टैक पर कोई प्रभाव नहीं पड़ता है।
शायद इसे बदलना चाहिए:
किसी ब्लॉक या लूप निर्देश को निष्पादित करने से मूल्य स्टैक पर कोई प्रभाव नहीं पड़ता है, लेकिन ब्लॉक निष्पादन ब्लॉक के बाहर सभी स्टैक मान अप्राप्य हैं।
या मैं गलत समझ रहा हूँ?

हाँ, यह शायद Semantics.md में कुछ इस तरह का उल्लेख करने लायक है। हालांकि मुझे यह उल्लेख करना चाहिए कि औपचारिक गद्य युक्ति पर भी काम है।

binji 28 मार्च 2017

👍1

क्या इसका मतलब यह है कि प्रत्येक ब्लॉक का अपना ढेर हो जाता है?
मैं यह नहीं कहूंगा कि उन्हें अपने स्वयं के ढेर मिलते हैं, बस एक सीमा होती है
क्या पॉप किया जा सकता है। वास्तव में इसे वैब में कैसे कार्यान्वित किया जाता है, वहां
एक मूल्य ढेर और एक "लेबल" ढेर है। प्रत्येक लेबल एक "सीमा" संग्रहीत करता है जो है
मूल्य स्टैक का आकार जब लेबल को धक्का दिया जाता है। फिर जब भी तुम
पॉप, आप शीर्ष लेबल की सीमा के विरुद्ध जाँच करते हैं।

rossberg 28 मार्च 2017

👍2

जानकारी के लिए धन्यवाद। मैं इसे बंद कर रहा हूं क्योंकि इससे कुछ भी कार्रवाई योग्य नहीं है और इसे स्पष्ट करने के लिए और अधिक औपचारिक विनिर्देश आ रहे हैं।

cretz 6 अप्रैल 2017

क्या यह पृष्ठ उपयोगी था?

0 / 5 - 0 रेटिंग्स

Design: सशर्त शाखाओं के लिए स्टैक पॉपिंग का स्पष्टीकरण

सबसे उपयोगी टिप्पणी

सभी 5 टिप्पणियाँ

संबंधित मुद्दों