Design: Wasmroutines

Существующее предложение потоков WebAssembly направлено на то, чтобы программа, скомпилированная в wasm, могла использовать несколько системных потоков. Это чрезвычайно полезная функция для задач, интенсивно использующих ЦП. Но есть большой класс проблем, которые требуют большого количества операций ввода-вывода и лучше решаются гораздо более легкими сопрограммами, чем системные потоки. Недавнее добавление Rust async-wait к языку, который уже поддерживает многопоточность, является хорошим примером такой необходимости. Проблема с async-await заключается в том, что он требует совершенно другого способа написания кода приложения, а также других методов компиляции. С другой стороны, одной из основных причин популярности Go являются горутины, которые для разработчика выглядят как настоящие потоки, а выполняются как сопрограммы во время выполнения.
Я считаю, что WebAssembly имеет уникальные возможности для использования преимуществ потоковой модели Go практически в любом многопоточном приложении, которое можно скомпилировать в wasm. Идея состоит в том, что скомпилированную программу не нужно изменять, чтобы использовать зеленые потоки, это становится выбором хоста для ее выполнения.
Еще одна важная особенность WebAssembly - детерминированное выполнение. С зелеными потоками должно быть просто реализовать детерминированный режим выполнения для многопоточных целей.
Название этой функции - _Wasmroutines_.

Я обнаружил несколько проблем, связанных с «родными потоками wasm», например https://github.com/WebAssembly/design/issues/126 и https://github.com/WebAssembly/design/issues/1252, но похоже, что они считается чем-то, что в конечном итоге может получить wasm, но на данный момент довольно теоретически.

Я считаю, что реализация _одного системного потока_ может быть выполнена с относительно небольшими усилиями (например, она могла бы использовать обычную линейную память) и обеспечила бы большую ценность (например, выполнение любой многопоточной программы без изменений), которую стоит иметь как отдельный проект. предложение.