A curated selection of artisanal consensus algorithms and hand-crafted distributed lock services.
- 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)
- 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
- Zab: A Simple Totally Ordered Broadcast Protocol
- ZooKeeper: Wait-free coordination for Internet-scale systems
- 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
- 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: Replicated State Machines without logs
- Paxos on Steroids and a Crash Course in TLA+
- A TLA+ specification for Gryadka
- Fast Paxos
- Dr. TLA+ Series - Fast Paxos
- The Performance of Paxos and Fast Paxos
- On the Coordinator's Rule for Fast Paxos
- AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
- Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm
- 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
- 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
- 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
- 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
- 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