Does the wasm memory model have tear-free non-atomic loads?
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 25/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 停滞
- 技術スタック
- wasm
調査の方向性
提案されている Wasm メモリモデルと、この issue にある 7 件のコメントを、単純なアラインされた i32.load 命令と並行するアラインされた i32 store についての質問から読み始めてください。提案が tear-free の非アトミック load を保証しているかどうかを判断し、結論を文書化するか、必要な仕様変更を特定してください。
索引モデルが issue の本文から書いたものです。
説明
We recently learned that Musl (used in both wasi-libc and Emscripten) is using non-atomic 32-bit aligned loads from memory locations which can be stored to by other threads without synchronization, apparently on the assumption that compilers will always codegen these to a single instruction, effectively intending something like a very relaxed ordering. On Wasm, LLVM compiles these to plain i32.load wasm instructions.
Are there any guarantees in the proposed Wasm memory model that a plain aligned i32.load of memory that can be simultaneously stored to by aligned i32 stores in other threads won't tear?
- 主要言語
- WebAssembly
- スター
- 769
- フォーク
- 54
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
WebAssembly/threads のほかの issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
WebAssembly/threads#254 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
WebAssembly/threads#253 · コメント 6 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
WebAssembly/threads#245 · リアクション 1 件 ·
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
WebAssembly/threads#240 ·
-
Branch renamingオープン
難易度 1/5 1時間未満 初心者へのやさしさ 20/100
WebAssembly/threads#237 ·
WebAssembly/threads の issue をすべて見る
似ている issue
-
Console.printHexオープンgood first issue kernel
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
JackFurton/who-would-build-a-kernel-in-java#33 · コメント 2 件 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
topic-ctypes type-bug
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
python/cpython#158684 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
Hermes mounts list activation-hidden skills and installer staging roots対応中かも @Frun1na が 1 日前に担当しました。 オープンcomponent:skillfs
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
agentic-os-org/ANOLISA#4609 · コメント 1 件 ·
メンテナーはふだん 1 日以内に返信
-
bug code-review gpu LOW windows
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信