On Interplanetary and Relativistic Distributed Computing
summary
Develops a formal model tying Einsteinian relativity to asynchronous distributed systems, formalizes the relativity of simultaneity as a constraint on event ordering, proves impossibility results for global coordination under light‑speed message bounds, provides relativistic consensus and clock‑sync protocols with correctness proofs, and evaluates them with analysis and simulation for interplanetary latencies to show which coordination problems remain solvable and which require weakened guarantees.
AI-written summary · about
chapters (8)
- 0:00Introduction
- 1:44Motivation for relativistic computing
- 2:30Relativity in distributed systems
- 10:15Interplanetary communication challenges
- 22:40Modeling relativistic systems
- 35:25Algorithmic foundations for relativistic clocks
- 47:10Future directions
- 55:00Q&A
related talks
47mAdventures in Spacetime
43mWhat We Talk About When We Talk About Distributed Systems
27mDistributed Systems, Like It or Not
44mUnderstanding Distributed Calculi in Haskell
18mDistributed Causal Memory for Higher-Order Distributed Separation Logic
20mPerformal: Formal Verification of Latency Properties for Distributed Systems
27mUnderstanding Distributed Systems with Deterministic Simulation
01h 11mA Programmable Cloud: CALM Foundations and Open Challenges