Design: Wasmroutines

يركز اقتراح خيوط WebAssembly الحالية على تمكين البرنامج المترجم wasm لاستخدام مؤشرات ترابط النظام المتعددة. هذه ميزة مفيدة للغاية لمهام وحدة المعالجة المركزية المكثفة. ولكن هناك فئة كبيرة من المشاكل التي تكون مكثفة IO ويتم حلها بشكل أفضل عن طريق coroutines ذات الوزن الأخف بكثير من خيوط النظام. تعد الإضافة الأخيرة لـ Rust async-wait إلى لغة تدعم بالفعل تعدد مؤشرات الترابط مثالاً جيدًا على هذه الحاجة. تكمن مشكلة الانتظار غير المتزامن في أنه يتطلب طريقة مختلفة تمامًا لكتابة كود التطبيق بالإضافة إلى تقنيات تجميع مختلفة. من الجانب الآخر ، أحد الأسباب الرئيسية لشعبية Go هو goroutines التي تبدو وكأنها خيوط حقيقية للمطور بينما يتم تنفيذها على شكل coroutines بحلول وقت التشغيل.
أعتقد أن WebAssembly في وضع فريد لتحقيق ميزة Go threading model عمليًا لأي تطبيق متعدد مؤشرات الترابط يمكن تجميعه إلى wasm. الفكرة هي أن البرنامج المترجم لا يحتاج إلى التغيير للاستفادة من الخيوط الخضراء ، يصبح هذا هو اختيار المضيف حول كيفية تنفيذه.
ميزة أخرى مهمة في WebAssembly هي التنفيذ الحتمي. مع الخيوط الخضراء ، يجب أن يكون من السهل تنفيذ وضع التنفيذ الحتمي للأهداف متعددة مؤشرات الترابط.
اسم القش للميزة هو _Wasmroutines_.

لقد وجدت بعض المشكلات المتعلقة بـ "سلاسل الوصلات الأصلية" مثل https://github.com/WebAssembly/design/issues/126 و https://github.com/WebAssembly/design/issues/1252 ولكن يبدو أنها كذلك يعتبر شيئًا قد يتم الحصول عليه في النهاية ، لكنه نظري جدًا في هذه المرحلة.

أعتقد أن _ تنفيذ مؤشر ترابط النظام الفردي_ يمكن إجراؤه بجهد صغير نسبيًا (على سبيل المثال ، يمكن أن يستخدم الذاكرة الخطية العادية) وسيوفر الكثير من القيمة (مثل تنفيذ أي برنامج متعدد مؤشرات الترابط دون تعديل) يستحق الحصول عليه كتصميم منفصل اقتراح.