Design: Wasmrutinas

La propuesta de subprocesos de WebAssembly existente se centra en permitir que el programa compilado wasm utilice múltiples subprocesos del sistema. Esta es una característica extremadamente útil para tareas que requieren un uso intensivo de la CPU. Pero hay una gran clase de problemas que son intensivos en IO y se resuelven mejor con corrutinas mucho más ligeras que los subprocesos del sistema. La reciente incorporación de Rust async-wait a un lenguaje que ya admite subprocesos múltiples es un buen ejemplo de tal necesidad. El problema con async-await es que requiere una forma completamente diferente de escribir el código de la aplicación, así como diferentes técnicas de compilación. Por otro lado, una de las principales razones de la popularidad de Go son las gorutinas que parecen hilos reales para el desarrollador mientras se ejecutan como corrutinas por el tiempo de ejecución.
Creo que WebAssembly está en una posición única para llevar la ventaja del modelo de subprocesos Go a prácticamente cualquier aplicación multiproceso que se pueda compilar en wasm. La idea es que el programa compilado no necesita cambiar para aprovechar los hilos verdes, esto se convierte en la elección del host sobre cómo ejecutarlo.
Otra característica importante de WebAssembly es la ejecución determinista. Con subprocesos verdes, debería ser sencillo implementar el modo de ejecución determinista para objetivos multiproceso.
El nombre del hombre de paja para la función es _Wasmroutines_.

Encontré algunos problemas relacionados con "hilos nativos de wasm" como https://github.com/WebAssembly/design/issues/126 y https://github.com/WebAssembly/design/issues/1252 pero parece que son considerado como algo que el wasm podría conseguir eventualmente, pero bastante teórico en este punto.

Creo que la _implementación del hilo del sistema único_ se puede hacer con un esfuerzo relativamente pequeño (por ejemplo, podría usar la memoria lineal normal) y proporcionaría mucho valor (como ejecutar cualquier programa multiproceso sin modificación) que vale la pena tener como un diseño separado propuesta.