ChronoQuorum: Letting the Clock Order, and What That Buys
About the Presenter
Chiradip Mandal, founder and researcher at Space-RF and co-founder of this study group, will lead this session. He was previously a Distributed Systems and Database Architect at Apple and CTO at Gemini Data, and is the author of Designing Ultra-Large Scale Systems (volume 1 coming soon).
Chronoquorum: Letting the Clock Order, and What That Buys
Every protocol in the Paxos, Raft, and Viewstamped Replication lineage spends its complexity budget on the same thing: recovering the right to order. Ballots, views, elections, state transfer — machinery that exists because ordering authority can be lost and must be re-established.
ChronoQuorum elects nobody. On a fixed cluster sharing a precise clock and a bounded-delay network, a proposal carries a synchronized timestamp, becomes eligible once a settling window has elapsed, and commits on quorum acknowledgment. Order is a property of the clock and the schedule, not of a leader's choice. The window tracks measured clock uncertainty, so the protocol degrades by getting slower rather than by switching into a second, separately verified mode — and when the time guarantee is lost it halts rather than diverging quietly.
The talk does three things:
It places ChronoQuorum against the canon on a seven-axis rubric: Paxos and its variants, Raft, Viewstamped Replication, and the clock-ordered cousins.
It argues determinism as a cascade — one decision propagating into order, replay, recovery, and verification.
It argues that commit latency here is a function of clock precision: a better clock is a protocol upgrade, where for Raft it is only a monitoring upgrade.
What is proven and what is merely intended are drawn sharply.
Prerequisite readings
Start with the first four if you read nothing else. The rest is background, in the order the talk touches it.
Paxos Made Simple, https://lamport.azurewebsites.net/pubs/paxos-simple.pdf
In Search of an Understandable Consensus Algorithm, https://raft.github.io/raft.pdf
Vive La Différence: Paxos vs. Viewstamped Replication vs. Zab, https://www.cs.cornell.edu/fbs/publications/viveLaDifference.pdf
Consensus in the Presence of Partial Synchrony, https://groups.csail.mit.edu/tds/papers/Lynch/jacm88.pdf
The Part-Time Parliament, https://lamport.azurewebsites.net/pubs/lamport-paxos.pdf
Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems, https://www.cs.princeton.edu/courses/archive/fall11/cos518/papers/viewstamped.pdf
Fast Paxos, https://www.microsoft.com/en-us/research/publication/fast-paxos/
There is More Consensus in Egalitarian Parliaments, https://www.cs.cmu.edu/~dga/papers/epaxos-sosp2013.pdf
Paxos vs. Raft: Have we Reached Consensus on Distributed Consensus?, https://arxiv.org/pdf/2004.05074
Paxos Made Live - An Engineering Perspective, https://research.google.com/archive/paxos_made_live.pdf
Spanner: Google's Globally-Distributed Database, https://www.usenix.org/system/files/conference/osdi12/osdi12-final-16.pdf
Mencius: Building Efficient Replicated State Machines for WANs, https://www.usenix.org/legacy/event/osdi08/tech/full_papers/mao/mao.pdf
Flexible Paxos: Quorum Intersection Revisited, https://arxiv.org/pdf/1608.06696
Bounds on the Time to Reach Agreement in the Presence of Timing Uncertainty, https://groups.csail.mit.edu/tds/papers/Lynch/jacm94.pdf
Location
Please join the Designing Ultra Large Scale Systems Discord: Join Discord Server
The event will be in Classroom 1 on the Discord.