DepFast: Orchestrating Code of Quorum Systems
summary
DepFast is a user-space coroutine library that adds a QuorumEvent abstraction to compose RPCs, timeouts, and multiple quorum sizes so code follows the protocol control flow instead of callbacks. The team reimplements Raft and Copilot (Copilot reduced from ~2,500 to ~1,600 LOC) and reports 25%–35% fewer lines of code and comparable performance to state-of-the-art, with slightly higher latency but better behavior under injected fail-slow scenarios.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 0:30Current Systems
- 1:20Difficulty
- 2:04Complex
- 3:01Status Quo
- 7:51Quorum Event Abstraction
- 8:46Epexus
- 9:25Apexes
- 14:37CoPilot
- 15:25Comparison
- 17:11Evaluation
- 17:59Results
- 19:50Summary
related talks
51mKeynote: Quorum Queues: A Retrospective
24mDatacenter RPCs can be General and Fast
01h 02mHydroflow: A Compiler Target for Fast, Correct Distributed Programs
39mTrust Deterministic Execution to Scale & Simplify Your Systems
47mDistributed Systems: When Democracy and Computer Science Come Together
22mLiberating Distributed Consensus
43mRa: a Raft implementation
45mDo Distributed Systems they said. It'll be fun they said.
