Stack Switching Ontology
还没有人认领这个 Issue。
评估
- 难度
- 5/5
- 预计耗时
- 一周以上
- 新手友好度
- 25/100
- Issue 类型
- 文档
- 描述清晰度
- 需要澄清
- 活跃度
- 停滞
- 技术栈
- wasm
- 领域
- compilers
调研方向
Start by reading the issue's proposed definitions and the surrounding stack-switching proposal context. Review whether the terms cover the concepts needed for the design process and identify any ambiguities or missing terminology. Done means the project has an agreed, useful terminology set rather than an implementation change.
由索引模型根据 Issue 内容生成。
描述
It can be difficult to discuss different aspects of stack switching without some form of common terms for different aspects.
This note is an attempt to support the design process by defining some concepts. There is a strong possibilitycertainty that new terms not mentioned here will be needed; so this should be viewed as the start of a conversation.
These definitions are listed in alphabetical order, for lack of other organizing principles.
- Delimiter Label
A delimiter label is a term that denotes a prompt bracket. Delimiter labels may or may not be values. - Opt-in
Opt-in refers to a systemic property where a given feature (in this case stack switching generally) is only available after some positive action on the part of a computation. - Prompt Bracket
A prompt bracket marks the beginning of a suspend-able computation. - Reified Continuation
A reified continuation is a value that denotes the remaining computation of a task after it has suspended. - Response Computation
The computation that is launched as a result of suspending a task. - Resume Point
A resume point marks where a suspended computation is resumed. - Safety
Safety refers to a verifiable property of computations that certain events cannot occur. For example, in the case of a resume point, the primary safety requirements include that any data values transmitted meet declared types and that the computation being resumed was suspended. - Suspension Bracket
A suspension bracket marks the point where a computation has suspended. Immediately after the suspension bracket is the computation that is responding to the suspension. - Task
A complete suspendable computation, starting from when the task is initiated -- marked by a prompt bracket -- and ending when the computation terminates finally. A task may suspend and be resumed multiple times between the initial creation and the final termination.
Note that these terms should not be viewed as prejudicing any particular design approach.
- 主要语言
- WebAssembly
- 星标
- 216
- 派生
- 19
- PR 合并指标
- 30 天内没有已合并 PR
环境准备
- 没有 Dockerfile 或 Docker Compose 文件
- 没有 Pull Request 模板
- 阅读贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
WebAssembly/stack-switching 的其他 Issue
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/stack-switching#156 · 1 条评论 ·
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/stack-switching#145 · 4 条评论 ·
-
难度 5/5 一周以上 新手友好度 35/100
WebAssembly/stack-switching#144 · 4 条评论 ·
-
JSPI integration未关闭
难度 5/5 一周以上 新手友好度 25/100
WebAssembly/stack-switching#131 ·
-
难度 2/5 1-3 小时 新手友好度 45/100
WebAssembly/stack-switching#128 · 6 条评论 ·
查看 WebAssembly/stack-switching 的全部 Issue
相似的 Issue
-
vxc prints a debug line '[flat-codegen] emitted module via the flat path' on every compile可能已有人在做 @YodHeVauHe 今天认领。 未关闭devex good first issue
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 70/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 74/100
SciML/ModelingToolkit.jl#5255 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 65/100
NVIDIA/cuda-quantum#5539 ·
维护者通常 1 天内回复
-
triage
难度 2/5 1-3 小时 新手友好度 70/100
NVIDIA/cuda-python#3015 · 2 条评论 ·
维护者通常 1 天内回复