Design: async / वादा समर्थन

को निर्मित 7 जन॰ 2018 · 7टिप्पणियाँ · स्रोत: WebAssembly/design

कई जावास्क्रिप्ट पुस्तकालय async हैं और मैंने अभी तक यह नहीं देखा है कि WebAssembly वादों का समर्थन करता है।
जेएस पारिस्थितिकी तंत्र का लाभ उठाने वाले प्रदर्शनकारी अनुप्रयोगों को आसानी से लिखने के लिए मैं आयातित कार्यों में वादों का समर्थन जोड़ने का सुझाव दूंगा।

उदाहरण के लिए यह काम करना चाहिए:

const importObject = { 
  returnOneAsync: () => new Promise(done => done(1)) 
};

extern "C" int returnOneAsync();

int main(){
  int x = returnOneAsync(); // should suspend main until promise resolved.
  return x+x;
}

स्रोत

nikhedonia

👍5

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

मुझे लगता है कि आप वेब के कम्प्यूटेशनल मॉडल को गलत समझते हैं। जावास्क्रिप्ट बहु-थ्रेडेड नहीं है, इसलिए गणना को निलंबित करने से इंजन रुक जाएगा, और वास्तव में संपूर्ण रेंडरर इसे होस्ट कर रहा है। पृष्ठ फ़्रीज़ हो जाएगा और कोई अन्य कोड नहीं चल सकता (अलग-अलग श्रमिकों के अलावा)। सस्पेंशन फ्लाई बनाने के लिए आपको सुधार करने और बाद में निरंतरता बहाल करने के तरीके की आवश्यकता होगी, जो कि कुछ ऐसा नहीं है जो वर्तमान में इंजन कर सकता है।

rossberg 9 जन॰ 2018

👍6

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

JS वादों का कोई भी समर्थन JS होस्ट बाइंडिंग प्रस्ताव का हिस्सा होना चाहिए।

लेकिन मुझे डर है कि यह संभवतः आपके उदाहरण की तरह काम नहीं कर सकता है, क्योंकि इसके लिए सी को स्वयं एसिंक निष्पादन और निलंबन को समझने की आवश्यकता होगी, जो यह नहीं करता है। साथ ही, आपके उदाहरण में एसिंक्स कुछ भी नहीं है, यह सिर्फ एक वादा बनाता है, इसलिए समकक्ष कोड जेएस में भी निलंबित नहीं होगा, लेकिन केवल "[object Promise][object Promise]" जैसी स्ट्रिंग उत्पन्न करेगा।

rossberg 8 जन॰ 2018

साथ ही, आपके उदाहरण में async कुछ भी नहीं है

खैर, मूल्य तब तक उपलब्ध नहीं है जब तक कि इवेंटलूप वादे को संसाधित नहीं करता।
मूल्य उपलब्ध होने तक वेब असेंबली इंजन के निष्पादन को निलंबित करने का विचार है।
प्रदान किया गया उदाहरण निश्चित रूप से बहुत तुच्छ है। एक अधिक ठोस उदाहरण नेटवर्क पर एक डीबी क्वेरी बनाना हो सकता है: getAgeOf: (name) => db.find({name}).then(x=>x.age)

सी स्वयं एसिंक निष्पादन और निलंबन को समझने के लिए, जो यह नहीं करता है

यह गलत है। सी के लिए विभिन्न कोरआउटिन कार्यान्वयन हैं।
इसके अलावा LLVM-5.0 और ऊपर की ओर coroutines और async/wait का समर्थन करता है।

https://llvm.org/docs/Coroutines.html

और C++17 के परिशिष्ट के रूप में coroutine-ts है जिसे क्लैंग-5.0 के बाद से लागू किया गया है।
कुछ प्रयोगात्मक पुस्तकालय पहले से ही इसका उपयोग कर रहे हैं:
https://github.com/lewissbaker/cppcoro#generator

nikhedonia 8 जन॰ 2018

सी में कोरटाइन का कार्यान्वयन जावास्क्रिप्ट के इवेंट लूप के साथ जादुई रूप से इंटरऑपरेट नहीं करता है। इसके अलावा, वे आमतौर पर कार्यान्वयन-विशिष्ट व्यवहार पर भरोसा करते हैं। कोरटाइन या एसिंक्स जैसी किसी चीज़ को मज़बूती से और पोर्टेबल रूप से लागू करने के लिए आपको भाषा में सीमांकित निरंतरता के एक रूप की आवश्यकता होगी। निकटतम C की पेशकश longjmp है, जो पर्याप्त नहीं है और वर्तमान में Wasm में ही लागू नहीं किया जा सकता है (Emscripten के साथ, longjmp JS अपवादों के साथ JS में लागू किया गया है)। Wasm वर्तमान में निलंबन व्यक्त नहीं कर सकता है, हालांकि अंततः इन पंक्तियों के साथ कुछ जोड़ने की योजना है। C++ coroutines अभी मानक नहीं हैं और Emscripten AFAICT द्वारा नियंत्रित नहीं किया जा सकता है।

rossberg 8 जन॰ 2018

👍4

मैं देखता हूं कि आप कहां से आ रहे हैं।
मुझे लगता है कि मैंने अपना विचार पर्याप्त रूप से व्यक्त नहीं किया है।
मैं कोरटाइन का समर्थन करने का सुझाव नहीं दे रहा हूं और न ही सी/सी ++ में वादे करता हूं या महसूस करता हूं कि वासम बाइटकोड में।

लेकिन मुझे डर है कि यह संभवतः आपके उदाहरण की तरह काम नहीं कर सकता है, क्योंकि इसके लिए सी को स्वयं एसिंक निष्पादन और निलंबन को समझने की आवश्यकता होगी, जो यह नहीं करता है

आपको क्यों लगता है कि सी के लिए एसिंक निष्पादन को समझना जरूरी है?

वादा हल होने तक wasm निष्पादन इंजन को निलंबित करने में तकनीकी कठिनाई क्या है?

मैं समझता हूं कि wasm को x86 के लिए समय-समय पर संकलित किया जाना चाहिए, लेकिन इसका मतलब यह नहीं है कि निष्पादन के प्रवाह पर आपका कोई नियंत्रण नहीं है।
निष्पादन को रोकने का एक सामान्य तरीका हार्डवेयर इंटरप्ट और ptrace जैसे syscalls का उपयोग करना है; डीबगर इस तरह काम करता है। हम जानते हैं कि वास्तव में कौन से फ़ंक्शन आयात किए जाते हैं और हम इसे पूरा करने के लिए उपयुक्त (x86) ऑपकोड इंजेक्ट कर सकते हैं। हालांकि यह उन कार्यों के निष्पादन को धीमा कर देगा - इससे कोई फर्क नहीं पड़ेगा क्योंकि हम उन मामलों में वैसे भी हल करने के वादे की प्रतीक्षा कर रहे हैं।
इस तरह हमने अपने एलएलवीएम आधारित सी++जेआईटी/एओटी में सस्पेंड/डीबग/रिज्यूमे लागू किया।

मुझे लगता है कि इस मुद्दे को होस्ट-बाइंडिंग रेपो में दर्ज किया जाना चाहिए ...

nikhedonia 9 जन॰ 2018

rossberg 9 जन॰ 2018

👍6

संबंधित: https://github.com/WebAssembly/design/issues/720

wanderer 10 जन॰ 2018

मुझे लगता है कि आप वेब के कम्प्यूटेशनल मॉडल को गलत समझते हैं। जावास्क्रिप्ट बहु-थ्रेडेड नहीं है, इसलिए गणना को निलंबित करने से इंजन रुक जाएगा, और वास्तव में संपूर्ण रेंडरर इसे होस्ट कर रहा है। पृष्ठ फ़्रीज़ हो जाएगा और कोई अन्य कोड नहीं चल सकता (अलग-अलग श्रमिकों के अलावा)। सस्पेंशन फ्लाई बनाने के लिए आपको सुधार करने और बाद में निरंतरता बहाल करने के तरीके की आवश्यकता होगी, जो कि कुछ ऐसा नहीं है जो वर्तमान में इंजन कर सकता है।

वास्तव में, wasm को श्रमिकों के अंदर चलाया जाना चाहिए क्योंकि वे दोनों UI से निपटने के बजाय गणना कार्यों के लिए बनाए गए थे।

rv4Flyver 19 दिस॰ 2018

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

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

Design: async / वादा समर्थन

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

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

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