awesome-consensus

Consensus resources

A curated collection of resources and examples for building reliable and distributed consensus algorithms

Awesome list for Paxos and friends

GitHub
2k stars
96 watching
205 forks
last commit: 6 months ago
Linked from 1 awesome list

awesomeconsensus-algorithmpaxosraft

Awesome Consensus / 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)

Awesome Consensus / Paxos - Engineering
Lessons Learned from Implementing Paxos
Tencent/phxpaxos 3,356 12 months ago
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 ,
Paxos made Live
Paxos made code: Implementing a high throughput Atomic Broadcast ,
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
Low-Overhead Paxos Replication

Awesome Consensus / Zookeeper
Zab: A Simple Totally Ordered Broadcast Protocol
ZooKeeper: Wait-free coordination for Internet-scale systems

Awesome Consensus / 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

Awesome Consensus / Raft - Engineering
braft 3,973 30 days ago
sofa-jraft 3,599 about 2 months ago
dragonboat 5,086 4 months ago

Awesome Consensus / Chubby
The Chubby Lock Service for Loosely-Coupled Distributed Systems
Papers We Love

Awesome Consensus / 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

Awesome Consensus / CASPaxos
CASPaxos: Replicated State Machines without logs
Paxos on Steroids and a Crash Course in TLA+
A TLA+ specification for Gryadka

Awesome Consensus / Fast Paxos
Fast Paxos
Dr. TLA+ Series - Fast Paxos
The Performance of Paxos and Fast Paxos
On the Coordinator's Rule for Fast Paxos

Awesome Consensus / AllConcur
AllConcur: Leaderless Concurrent Atomic Broadcast (Extended Version)
Formal Specification and Safety Proof of a Leaderless Concurrent Atomic Broadcast Algorithm

Awesome Consensus / 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

Awesome Consensus / Other Paxos Variants
There is more consensus in egalitarian parliaments (paper) , ,
Flexible Paxos: Quorum intersection revisited ,
Designing Distributed Systems Using Approximate Synchrony in Data Center Networks ,
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

Awesome Consensus / Stellar
The Stellar Consensus Protocol: A Federated Model for Internet-level Consensus
Understanding the Stellar Consensus Protocol

Awesome Consensus / 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 ,
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

Awesome 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 552 11 months ago
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

Backlinks from these awesome lists:

More related projects: