Design: 와즘루틴

기존 WebAssembly 스레드 제안 은 wasm 컴파일된 프로그램이 여러 시스템 스레드를 활용할 수 있도록 하는 데 중점을 둡니다. 이것은 CPU 집약적인 작업에 매우 유용한 기능입니다. 그러나 IO 집약적이며 시스템 스레드보다 훨씬 가벼운 코루틴으로 더 잘 해결되는 많은 종류의 문제가 있습니다. 이미 멀티스레딩을 지원하는 언어에 최근에 Rust async-wait를 추가한 것이 그러한 필요성의 좋은 예입니다. async-await의 문제는 응용 프로그램 코드를 작성하는 완전히 다른 방법과 다른 컴파일 기술이 필요하다는 것입니다. 다른 한편으로, Go 인기의 주요 이유 중 하나는 런타임에 의해 코루틴으로 실행되는 동안 개발자에게 실제 스레드처럼 보이는 고루틴입니다.
WebAssembly는 Go 스레딩 모델의 이점을 wasm으로 컴파일할 수 있는 거의 모든 다중 스레드 응용 프로그램에 제공할 수 있는 고유한 위치에 있다고 생각합니다. 아이디어는 컴파일된 프로그램이 녹색 스레드를 활용하기 위해 변경할 필요가 없다는 것입니다. 이것이 실행 방법에 대한 호스트 선택이 됩니다.
WebAssembly의 또 다른 중요한 기능은 결정적 실행입니다. 녹색 스레드를 사용하면 다중 스레드 대상에 대한 결정적 실행 모드를 구현하는 것이 간단해야 합니다.
기능의 스트로맨 이름은 _Wasmroutines_입니다.

https://github.com/WebAssembly/design/issues/126 및 https://github.com/WebAssembly/design/issues/1252 와 같은 "네이티브 wasm 스레드"와 관련된 몇 가지 문제를 찾았지만 다음과 같습니다. wasm이 결국 얻을 수 있는 것으로 간주되지만 이 시점에서 꽤 이론적입니다.

_단일 시스템 스레드 구현_은 비교적 적은 노력으로 수행할 수 있으며(예: 일반 선형 메모리를 사용할 수 있음) 별도의 설계로 가질 가치가 있는 많은 가치(수정 없이 다중 스레드 프로그램을 실행하는 것과 같은)를 제공할 것이라고 믿습니다. 제안.