Ideas and resources for fuzzing shared-everything threads
まだ誰も着手していません。
評価
- 難易度
- 5/5
- 見積もり時間
- 1週間以上
- 初心者へのやさしさ
- 30/100
- issue の種類
- 機能追加
- 明瞭さ
- 説明が足りない
- 活発さ
- 静か
- 技術スタック
- wasm
調査の方向性
issue の議論と、スレッドの生成、動的トレースと happens-before 関係の照合、デッドロックの回避に関して示されている制約から始めてください。shared-everything threads 提案の保証を改善するための、文書化され合意されたアプローチまたは一連のリソースが用意されれば完了です。
索引モデルが issue の本文から書いたものです。
説明
This issue is intended as a place for discussion about approaches we can all use to improve our assurances that we correctly implement this proposal. A place to share relevant papers, moonshot ideas, etc...
Unlike many other Wasm proposals,[^0] we can't effectively exercise this proposal's additions to the language by just simply generating pseudo-random Wasm modules that contain this proposal's new instruction and feeding those into the system under test.
[^0]: To some degree everything here applies equally to the original threads proposal, but shared-everything threads expands the scope much further.
Off the top of my head, we need to additionally do things like
- actually spawn multiple threads
- check whether the dynamic trace of accesses across threads is valid given the happens-before relationships imposed by those operations used to make those accesses
- ideally avoid dead locks in these generated concurrent programs
- 主要言語
- WebAssembly
- スター
- 97
- フォーク
- 6
- PR マージ指標
- 30日以内にマージされた PR はありません
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
WebAssembly/shared-everything-threads のほかの issue
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
WebAssembly/shared-everything-threads#119 · コメント 2 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
WebAssembly/shared-everything-threads#114 · コメント 7 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
-
難易度 5/5 1週間以上 初心者へのやさしさ 35/100
WebAssembly/shared-everything-threads#105 · コメント 6 件 ·
-
難易度 5/5 1週間以上 初心者へのやさしさ 25/100
WebAssembly/shared-everything-threads#99 · コメント 5 件 ·
WebAssembly/shared-everything-threads の issue をすべて見る
似ている issue
-
bug language::rust router
難易度 2/5 1〜3時間 初心者へのやさしさ 84/100
メンテナーはふだん 1 日以内に返信
-
area/topics mute
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
ydb-platform/ydb#54664 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
メンテナーはふだん 1 日以内に返信
-
DEV: backend P0 - critical TAG: tech update / debt TAG: unit tests
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
learningequality/morango#364 ·
-
難易度 1/5 1時間未満 初心者へのやさしさ 90/100
メンテナーはふだん 1 日以内に返信