Does the wasm memory model have tear-free non-atomic loads?
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 功能
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- wasm
调研方向
阅读提议的 Wasm 内存模型以及此 issue 上的七条评论，从关于普通对齐 i32.load 指令和并发对齐 i32 存储的问题开始。确定该提议是否保证非原子加载 tear-free，然后记录结论或确定所需的规范变更。
由索引模型根据 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
- 星标
- 771
- 派生
- 54
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
WebAssembly/threads 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
WebAssembly/threads#254 ·
-
难度 5/5 一周以上 新手友好度 30/100
WebAssembly/threads#253 · 6 条评论 ·
-
难度 4/5 3-5 天 新手友好度 35/100
WebAssembly/threads#245 · 2 个 reaction ·
-
难度 4/5 3-5 天 新手友好度 35/100
WebAssembly/threads#240 ·
-
Branch renaming未关闭
难度 1/5 1 小时以内 新手友好度 20/100
WebAssembly/threads#237 ·
查看 WebAssembly/threads 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 62/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 72/100
-
bug
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 2 天内回复
-
Battery panel shows only the first battery on dual-battery laptops (ThinkPad BAT0 + BAT1)可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭
难度 2/5 1-3 小时 新手友好度 78/100
omacom/omarchy#14798 · 1 条评论 ·
维护者通常 1 天内回复
-
node:child_process spawnSync/execFileSync still pass the parent environment to the child (#27343 fixed only spawn)可能已有人在做 关联的 PR 仍在进行中或已合并。 未关闭
难度 2/5 1-3 小时 新手友好度 72/100
维护者通常 3 天内回复