Awesome Consensus

A curated selection of artisanal consensus algorithms and hand-crafted distributed lock services.

Paxos - Algorithm

• Part-time Parliament


• Paxos made Simple


• Paxos made Practical


• Wikipedia: Paxos


• Paxos lecture (Raft user study)


• The Paxos Algorithm (Google Tech Talk by Luis Quesada Torres)


• [Dr. TLA+ Series] Paxos - Andrew Helwer


• Paxos Agreement - Computerphile


• Paxos Simplified by Chris Colohan


• Neat Algorithms: Paxos Visualized


• Model Checking Paxos in Spin


• Paxos Consensus, Deconstructed and Abstracted (Extended Version)

Paxos - Engineering

• Lessons Learned from Implementing Paxos


• Tencent/phxpaxos


• Practical Experience Report: The Performance of Paxos in the Cloud


• Paxos for System Builders


• Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore


• Paxos made Moderately Complex, website


• Paxos made Live


• Paxos made code: Implementing a high throughput Atomic Broadcast, libpaxos


• 500 lines or less: Clustering by Consensus


• ScalienDB: Designing and Implementing a Distributed Database using Paxos


• Seamless Paxos Coordinators


• IronFleet: Proving Practical Distributed Systems Correct

Zookeeper

• Zab: A Simple Totally Ordered Broadcast Protocol


• ZooKeeper: Wait-free coordination for Internet-scale systems

Raft

• The Raft Consensus Algorithm


• Raft: In Search of an Understandable Consensus Algorithm


• Raft lecture (Raft user study)


• ARC: Analysis of Raft Consensus


• Raft Refloated: Do We Have Consensus?


• Raft Understandable Distributed Consensus Visualization


• Ark: A Real-World Consensus Implementation


• Understanding performance aspects of etcd and Raft - Hitoshi Mitake, NTT Laboratories


• Raft does not Guarantee Liveness in the face of Network Faults

Raft - Engineering

• braft


• sofa-jraft


• dragonboat

Chubby

• The Chubby Lock Service for Loosely-Coupled Distributed Systems


• Papers We Love

Viewstamped Replication

• Viewstamped Replication: A New Primary Copy Method to Support Highly-Available Distributed Systems Liskov '88


• Viewstamped Replication Revisited


• From Viewstamped Replication to Byzantine Fault Tolerance

CASPaxos

• CASPaxos: Replicated State Machines without logs


• Paxos on Steroids and a Crash Course in TLA+


• A TLA+ specification for Gryadka

Fast Paxos

• Fast Paxos


• Dr. TLA+ Series - Fast Paxos


• The Performance of Paxos and Fast Paxos


• On the Coordinator's Rule for Fast Paxos

AllConcur

• AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)


• Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm

Multi-Paxos

• Formal Verification of Multi-Paxos for Distributed Consensus


• Multi-Paxos: An Implementation and Evaluation


• Moderately Complex Paxos Made Simple: High-Level Specification of Distributed Algorithm

Other Paxos Variants

• There is more consensus in egalitarian parliaments (paper), video, efficient/epaxos


• Flexible Paxos: Quorum intersection revisited, Dr TLA+ talk


• Designing Distributed Systems Using Approximate Synchrony in Data Center Networks, UWSysLab/specpaxos


• WPaxos: Ruling the Archipelago with Fast Consensus


• Paxos Quorum Leases: Fast Reads Without Sacrificing Writes


• Self-Stabilizing Paxos


• Generalized Paxos Made Byzantine (and Less Complex)


• PaxosLease: Diskless Paxos for Leases

Stellar

• The Stellar Consensus Protocol: A Federated Model for Internet-level Consensus


• Understanding the Stellar Consensus Protocol

Distributed Consensus

• Heidi Howard - Distributed Consensus: Making Impossible Possible


• Can’t we all just agree? -- 10 part blog series on distributed consensus algorithms


• Consensus in the Cloud: Paxos Systems Demystified


• On Ways to Agree: DistSys Vocabulary


• On Ways to Agree: Path to Atomic Broadcast


• A Generalised Solution to Distributed Consensus, morning paper summary


• Paxosmon: Gotta Consensus Them All: A detailed summary of many different Paxos variants


• Consensus in Presensus of Partial Synchrony


• The latest gossip on BFT consensus

Other

• Time, Clocks and the Ordering of Events in a Distributed System


• A brief history of Consensus, 2PC and Transaction Commit


• Paxos Protocol Framework


• Byzantine Generals


• Practical Byzantine Fault Tolerance


• Just say NO to Paxos Overhead: Replacing Consensus with Network Ordering


• Impossibility of Distributed Consensus with One Faulty Process - FLP


• Practical Byzantine Fault Tolerance and Proactive Recovery


• Vive La Difference: Paxos vs. Viewstamped Replication vs. Zab


• Aleph: A Leaderless, Asynchronous, Byzantine Fault Tolerant Consensus Protocol


• Flexible Byzantine Fault-Tolerance


• Delegated Byzantine Fault Tolerance