A Programmable Cloud: CALM Foundations and Open Challenges
summary
Argues that a proven equivalence — CALM Theorem — makes a program coordination-free exactly when it is monotonic, and shows formal tools used: Bloom/Dedalus (time-aware Datalog), relational transducer networks and lattice/CRDT algebra. Shows systems built: the Anna KVS (any-scale key-value store) and a cloudburst stateful FaaS; Anna runs without coordination and achieves the fastest contended-write throughput reported, while the theory (ultimate models, monotonicity checks) guides when Paxos-style coordination is actually required.
AI-written summary · about
chapters (33)
- 0:00Intro
- 1:44Sea Changes in Computing
- 2:39A Database Logic Approach
- 5:07Prior Generation: Language Design, Top-down
- 5:37Latest Gen: Serverless Systems, Bottom-up
- 6:50Today: Lessons and Foundations
- 7:04Routing As Querying
- 8:26Protocol Synthesis as Query Optimization
- 9:30DHT Overlays in Logic
- 10:19A Hadoop Backend in Logic
- 14:35Classical Consistency Mechanisms: Coordination
- 16:11Coordination Avoidance
- 17:52Our own experience...
- 19:45Dedalus and Bloom
- 20:23Dedalus: It's About Time
- 21:24Sugared Dedalus
- 24:33Dedalus: Semantics
- 30:03Consistency: Confluent Distributed Execution
- 33:39Coordination: Data Independent Messaging
- 34:57Two Canonical Examples
- 37:41Weaker forms of monotonicity
- 40:16My Systems Friends
- 42:05Storing an Integer
- 44:07Problems: Scoping and Correctness
- 45:38Monotone Functions
- 46:03Morphisms
- 47:00Anna: Mutable State Encapsulated in Lattices
- 48:53Constructive/Relaxed CALM
- 50:25Stochastic CALM
- 52:07PTIME in the cloud?
- 54:59A New PACT for Cloud Programming
- 56:38¡Viva La Evolución!
- 57:50HYDRO: A PACT Programming Stack
related talks
25mThe shell game called eventual consistency
41mConsistency without consensus in production systems
44mUnderstanding Distributed Calculi in Haskell
41mProgramming Distributed Systems
01h 02mHydroflow: A Compiler Target for Fast, Correct Distributed Programs
28mReasoning about Distributed Reconfigurable Systems
43mAn Approach For The Internet Of Things
41mDeclarative, Convergent Edge Computation