Design: Wasmroutines

Asyncifyに興味があるかもしれません。これは、新しいWebAssembly機能を必要とせずに、WebAssemblyで実行を一時停止および再開したり、スタックを切り替えたりするために使用できるコード変換ツールです。 このソリューションにはオーバーヘッドがあり、代数効果ハンドラーを使用したスタック切り替えの新しいメカニズムを提案する計画があると思います。これは本質的に再開可能な例外です。 例外の提案は、この将来の方向性を念頭に置いて設計されています。

@tlivelyに感謝します。 Asyncifyは、私の問題に対するクールな一時的な解決策のように見えます。 その上でプロトタイプを作成してみます。 理想的には、ホストが提供する機能のみを使用して、変更を加えずにマルチスレッドWebAssemblyプログラムを実行したいと思います。

@mfateevあなたが正しいと思います。 コルーチンをサポートすることには大きな価値があります。 代数効果のフレームワーク内で例外処理とコルーチンを統合することについては、すでにいくつかの予備的な議論がありました。 これは古い例外処理の提案で説明されており、 @ rossbergには新しい例外処理の提案と互換性のある新しいデザイン思考があると思います。

@rossbergが継続のために提案された設計を提示するビデオが

https://youtu.be/pq-Pa2Fj4nE?t=3231

ビデオをありがとう。 「スタックスイッチング」は、多数のユースケースを可能にする非常に強力な抽象化です。 サポートされるのを楽しみにしています。

私の角度は、wasmバイトコードに新しい機能を提案しないという点でどういうわけか異なります。 私は、atomic.wait / notifyおよびその他のアトミック操作を使用するマルチスレッドコードに決定論的な実行を提供することを検討しています。 基本的にコルーチンベースであるが、WebAssemblyアプリケーションにとってマルチスレッドランタイムのように見える特別なホスト実行モードを指定できると思います。