Asyncify "OOM" leaves broken state
还没有人认领这个 Issue。
评估
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 新手友好度
- 42/100
- Issue 类型
- 缺陷
- 描述清晰度
- 基本清楚
- 活跃度
- 停滞
- 技术栈
- wasm
- 领域
- compilers
调研方向
首先跟踪发出的 Asyncify unwind/rewind 机制，以及 asyncify_stop_unwind 等位置现有的边界检查。验证在 unwind 之前需要多少本地存储，然后确认 out-of-bounds 条件会在本地变量存储之前得到处理，并且在捕获原始错误后模块仍然可用。
由索引模型根据 Issue 内容生成。
描述
Right now, emitted Asyncify unwind/rewind mechanisms always stores all the variables while unwinding, and only performs bound checks in points like asyncify_stop_unwind when memory outside of bounds is already corrupted.
This leaves module in a broken state: even if you catch & handle the original error, calling into other exports after this point can result in all sorts of broken behaviour.
A better solution would be to perform bound checks right before storing the locals - their size is known in advance, so such condition should be fairly simple and wouldn't add any noticeable overhead, but would improve reliability a lot.
cc @kripken thoughts?
- 主要语言
- WebAssembly
- 星标
- 8.6k
- 派生
- 885
- 平均合并
- 2 天 4 小时
- 30 天内合并 PR
- 77
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
WebAssembly/binaryen 的其他 Issue
-
难度 1/5 1 小时以内 新手友好度 88/100
WebAssembly/binaryen#9135 · 1 条评论 ·
-
难度 2/5 半天 新手友好度 76/100
WebAssembly/binaryen#9018 · 3 条评论 ·
-
难度 5/5 一周以上 新手友好度 25/100
WebAssembly/binaryen#9133 ·
-
难度 4/5 3-5 天 新手友好度 52/100
WebAssembly/binaryen#9123 ·
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/binaryen#9122 ·
查看 WebAssembly/binaryen 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 75/100
JakeChampion/lang#10213 ·
-
enhancement good first issue needs testing
难度 2/5 1-3 小时 新手友好度 75/100
-
bug
难度 2/5 1-3 小时 新手友好度 75/100
bradcypert/plum#58 ·
-
flang:fir-hlfir
难度 2/5 1-3 小时 新手友好度 70/100
llvm/llvm-project#225935 ·
-
area:cards hand-tail ready-for-agent
难度 2/5 1-3 小时 新手友好度 65/100
fil-donadoni/tolaria#4446 ·