Cadre: Building Reliable Distributed Stateful Applications
summary
Built a library called Cadre that models distributed state with a discrete-event simulator, pluggable key‑value persistence and selectable consistency backends (eventual and Raft), and an automated verifier based on lineage driven fault injection. It replays deterministic executions, injects targeted faults to produce counterexamples, and finds protocol violations quickly; provenance tracking and message reordering support are still incomplete and the project is not yet public, but early results show fast, reproducible failure traces for validating consistency and recovery logic.
AI-written summary · about
chapters (9)
- 0:00Introduction to Cadre
- 1:03Distributed state challenges
- 10:25Key questions on distributed state
- 13:13Assumptions that break in clusters
- 21:06Consistency models explained
- 30:15Why distributed state is hard
- 33:04Introducing Cadre project
- 37:02Lineage driven fault injection
- 46:34Q&A on testing and verification
related talks
01h 30mImplementing, verifying and debugging distributed event-based systems
45mDo Distributed Systems they said. It'll be fun they said.
52mArchitectural Patterns for Distributed and Decentralized Data
15mMuch ADO about Failures: A Fault-Aware Model for Compositional Verification of Strongly Consistent D
50mDo Distributed Systems they said. It'll be fun
45mThe simplest way to build resilient applications
14mBolt-On Strong Consistency: Specification, Implementation, and Verification
38mState is Hard: An SDK for Building Stateful Applications