Distinct Thread.Yield and Concurrency.Yield
Platform spec ADR
Distinct Thread.Yield and Concurrency.Yield
Spec standingStandard
- No directly attached article pages for this node.
0 revisions (git unavailable at build; counts may be empty)
No commits recorded for this path.
| Section id | Required | Found |
|---|---|---|
what-this-feature-specifies | yes | yes |
implementation-anchors | yes | yes |
Full tree: run pnpm verify:platform-spec-layout (writes src/generated/platform-spec-layout-report.json).
Context
Section titled “Context”Kernel scheduling differs from cooperative fiber reschedule.
Decision
Section titled “Decision”| Rule | Detail |
|---|---|
Thread.Yield | OS-level yield |
Concurrency.Yield | fiber_yield cooperative reschedule |
Consequences
Section titled “Consequences”Names and docs must not alias the two yields.
Verification anchors
Section titled “Verification anchors”Runtime tests distinguishing syscall vs fiber_yield.