Design: साझा स्मृति और परमाणु

मेरा प्रश्न है: क्या उस कल्पना में मुख्य थ्रेड सीमाओं को WASM पर कॉपी करने के साथ हर कोई ठीक है?

@chicoxyzzy , यहाँ sab+wasm के बारे में एक लंबी चर्चा हुई: https://github.com/tc39/ecmascript_sharedmem/issues/59

@taisel , अब मैं पांडित्यपूर्ण हो रहा हूं, लेकिन फिर भी: "मुख्य धागा सीमाएं" तकनीकी रूप से उस युक्ति का हिस्सा नहीं हैं। युक्ति कुछ थ्रेड्स को ब्लॉक करने की अनुमति देती है (कार्यान्वयन द्वारा चुने गए मानदंडों के अनुसार), और स्पष्ट रूप से यह सुविधा ब्राउज़र के मुख्य थ्रेड्स से प्रेरित है, लेकिन ब्राउज़र की तुलना में किसी अन्य सेटिंग में JS + साझा मेमोरी के उपयोग की आवश्यकता नहीं है उस सीमा है। मैं नहीं देखता कि wasm किसी भी अलग स्थिति में कैसा है। इसके अलावा, मैं कुछ प्रकार के श्रमिकों को देख सकता था, जैसे SharedWorkers, साझा मेमोरी का उपयोग करते हुए, लेकिन ब्लॉक करने की अनुमति नहीं दी जा रही थी।

दरअसल, टीसी39 के लिए मुख्य थ्रेड पर ब्लॉक करने की अनुमति देने के लिए ब्राउज़र की आवश्यकता के लिए कुछ भी उपयोगी नहीं होगा, केवल संघर्ष के लिए, और शायद पूरे साझा स्मृति प्रस्ताव के कार्यान्वयन को खतरे में डाल देगा। अब हमारे पास मौजूदा वेब पारिस्थितिकी तंत्र में फिट होने वाली भाषा और ब्राउज़रों के लिए काफी रूढ़िवादी विस्तार है। हम जानते हैं कि प्रॉक्सी करने से कुछ समस्याएं हल हो सकती हैं; हम जानते हैं कि "असममित" अवरोधन (श्रमिक ब्लॉक करते हैं लेकिन मुख्य धागा नहीं) अन्य समस्याओं को हल कर सकते हैं; हमें इसके साथ कुछ अनुभव प्राप्त करने की आवश्यकता है ताकि यह पता लगाया जा सके कि वास्तविक दर्द बिंदु कहां हैं, और फिर हम देख सकते हैं कि उन्हें कैसे संबोधित किया जाए। इस स्तर पर, मुख्य धागे पर अवरोधन को लागू करने का प्रयास परमाणु विकल्प है।

@ लार्स-टी-हैनसेन हाँ, और मैंने चर्चा को प्रोत्साहित करने के लिए उस नरम सीमा को फिर से दोहराया।

अभी भी लोगों का एक समूह है जो मैंने सोचा था कि पोर्टिंग जितना संभव हो उतना दर्द रहित होना चाहिए, और मुझे नहीं पता कि डब्ल्यूएएसएम समिति अपना रास्ता फेंकना चाहती है।

उपरोक्त में जोड़ने के लिए, डिस्कशन.एमडी के वेबअसेंबली सेक्शन में sab+wasm चर्चा का एक अच्छा सारांश है।

प्रारंभिक थ्रेडिंग प्रस्ताव को SAB+ कार्यकर्ताओं के व्यवहार से मेल खाने के लिए डिज़ाइन किया गया है, इसलिए यहां नाव को हिलाने की संभावना नहीं है। हमने "प्योर वासम" थ्रेड्स के बारे में बात की है, जिसमें जावास्क्रिप्ट संदर्भ नहीं है, लेकिन हमने तय किया कि फीचर समानता w/JavaScript + SAB तक पहुंचने के बाद इसे बेहतर तरीके से निपटाया गया था।

इसके अलावा, एचटीएमएल स्पेक अब ईएस स्पेक डब्लूआरटी ब्लॉकिंग के Atomics.wait कॉल करें)।