Execution model
Coordination, recovery, and message-passing protocols that make distributed programs make progress.
How Distributed Async Await works
The execution model lays out the algorithms, protocols, and object specifications that make Distributed Async Await work at a platform level.
The execution model is structured into three protocols:
- Coordination Protocol — coordination of distributed function executions across partial order.
- Recovery Protocol — detection and recovery of crash failures across partial failure.
- Message Passing Protocol — the underlying transport-layer contract for sending and receiving between processes.
Coordination Protocol
How callers and remote callees coordinate via durable promises with eventual or immediate resumption.
Recovery Protocol
How a logical execution survives the failure of a physical process via durable promises and tasks.
Message Passing Protocol
Send and receive semantics, addressing (UniCast / AnyCast), and the canonical Invoke / Resume interaction.