Expand description
Typed grant transport; the legacy logical-nanosecond scalar cannot carry a guest-RCB target. The live owner authenticates every lookahead. Typed transport over an existing scheduler grant. Lookahead authenticates the live owner; the mailbox creates no new resource or turn.
Structs§
- Budget
- An expectation from a validated stream, never an observed callback. An absolute committed guest-RCB target does not include scheduler turn time.
- Mailbox
- A pending expectation authenticated to the actual address space. It is transported only when the existing RPC actually receives a grant. Control replies cannot steal it, and terminal replies discard it without delivery.
Functions§
- install
- Apply a returned expectation after the completed slice’s reset. This is not timer/callback integration: software identities remain expectations, and only a recorded PMU cause installs a precise PMU branch target. The configured maximum and existing logical deadline are never changed here.
- stage_
start - A StartNewThread reply precedes its existing first reset. Keep the budget pending, without arming a timer which that reset would immediately erase.