Expand description
What every thread of one run shares.
ADR 0008 runs each spawned task on its own thread, so everything a task body needs has to outlive the stack frame that spawned it and be reachable from another thread: the resolved program the body resolves names in, the source map a diagnostic points into, the host boundary the body calls through, and where trace events go.
Every one of them is either immutable or synchronized by its owner, so a
Runtime is shared rather than copied: cloning one hands a task thread a
handle to the same program, the same hosts, and the same trace.
Structs§
- Runtime
- The shared context of one run.
Constants§
- ENTRY_
TASK - The task id the entry runs under.