Expand description
Single-owner coroutine execution with interrupt-safe wake publication.
Futures are polled and destroyed only by the owner thread. Wakers may cross CPUs and may run in hard interrupt context; their operations only touch atomics, publish intrusive nodes, and invoke a direct thread wake header. Zero-reference allocations are freed immediately in task context; hard IRQ transfers only the typed coroutine header to the task-work reaper.
Structs§
- Coroutine
Header - Pinned header addressed directly by the coroutine’s custom raw waker.
- Coroutine
Id - Generation-bearing identity of one coroutine owned by a local executor.
- Executor
Park Condition - Borrowed executor predicate for one OS scheduler park attempt.
- Local
Executor - A single-thread executor whose owner may migrate between CPUs.
- Park
Token - Proof that the owner completed the executor-side park handshake.
- Poll
Batch - Outcome of one bounded executor turn.
Enums§
- Block
OnError - Error returned when a runtime-local future misses its monotonic deadline.
Constants§
- DEFAULT_
POLL_ BATCH - Maximum number of futures polled by one executor turn.
Functions§
- block_
on - Polls a future to completion on the calling runtime scheduler thread.
- block_
on_ timeout - Polls a future until completion or a relative monotonic timeout.
- wake_
waker_ sync - Wakes a coroutine with Linux
WF_SYNCscheduling semantics.