Skip to content

The core challenge distributed systems pose is deceptively simple: multiple processes share state and must coordinate, and the ways they can fail are numerous, often silent, and hard to classify. Three distinct bodies of work in recent reading converge on this problem from different angles.

Jack Vanlightly’s taxonomy of durable execution The Three Durable Function Forms maps stateless functions, sessions, and actors onto a behavior-state continuum across Temporal, Restate, DBOS, and Resonate. The central insight is that choosing the wrong execution form for a given concurrency pattern produces correctness failures that look like application bugs but are structural.

Christopher Meiklejohn’s eight-part multi-agent systems series makes an explicit argument that the LLM field is reinventing distributed systems without acknowledging it. Part 5 on debate, state, and coordination invokes the CALM theorem and shared-notebook state to show that coordination structure must match task structure. Part 4 on Wave 2 failures reports failure rates of 41-87% across empirical studies, attributing the bottleneck to information synthesis rather than raw coordination. Part 8 on open questions closes by cataloguing CRDTs for shared state, graceful failure recovery, and topology-to-reliability mapping as unsolved problems the field could borrow from distributed systems theory directly.

The GitHub merge queue incident covered by Trunk illustrates how a single consistency assumption, constructing temp branches from stale divergence points rather than HEAD, can silently corrupt a shared mutable resource. It is a textbook distributed state bug appearing in everyday CI infrastructure.

Related concepts