Knowledge trunk

Computation and concurrency

Execution, interleaving, ownership, scheduling, and what it means for work to stop.

updated 2026-08-25

This trunk starts where more than one thing can make progress, where ordering stops being obvious, and where resource lifetime becomes part of correctness.

Start with Concurrency for the model and Cancellation for the moment a running computation has to give ownership back.

This region connects quickly to retries and timeouts, idempotency, runtime lifetimes, and authority.

Local nodes

Continue through this trunk