• Distributed computing’s classic impossibility theorems misinterpret physical limits. • They stem from treating Forward‑In‑Time‑Only (FITO) flow as a law of nature. • FITO is a hidden axiom inherited from Shannon’s channel model and Lamport’s happened‑before. • Dropping FITO reveals surplus ontological structure and opens new design space. • Transactional, bilateral interactions replace unidirectional messaging, dissolving apparent impossibilities. • Distributed systems have spent half a century optimizing within the wrong design space.
Article Summaries:
- A recent paper challenges the long‑held view that classic distributed‑computing impossibility results-such as the Fischer‑Lynch‑Paterson, Two Generals, and CAP theorems-reflect fundamental physical limits. The authors argue these theorems instead stem from a category mistake: treating forward‑in‑time‑only (FITO) information flow as a natural law rather than a design choice rooted in Shannon’s channel model and Lamport’s happened‑before relation. By identifying FITO as an implicit axiom, they show that dropping it removes the surplus ontological structure and that the impossibility results apply only to FITO‑based systems. The paper proposes a transactional alternative using bilateral, atomic interactions to eliminate the apparent impossibilities, suggesting that distributed computing has spent decades optimizing within the wrong design space.
Sources: