Distributed Async Await
Distributed Async Await is a protocol for durable execution: a set of rules that lets a function survive process crashes, resume where it left off, and appear to a developer as if it ran uninterrupted. Any conformant server and any conformant SDK interoperate.
resonatehq/resonate-specification is the executable abstract machine in Lean 4 — the normative, machine-checkable definition of every handler and state transition. These pages are the prose specification: the human-readable companion that explains the same protocol. Where prose and Lean disagree, the Lean model wins.
Three tracks#
Specification
The protocol defined: promise lifecycle, task model, message-passing, system model, and glossary. The authoritative prose reference.
Build a server
How to implement a conformant Distributed Async Await server — from the abstract machine and state model through storage strategies and conformance testing.
Build an SDK
How to build a Resonate SDK in any language — from the protocol mental model through production concerns.
Also#
Resonate docs — how to use Resonate, the reference implementation: SDK guides, tutorials, and deployment.