Consensus Resources

Open a PR if you've got a resource you think might fit in.

Visualizations

Of Paxos:

• Basic-Paxos: The ancestor of consensus algorithm by 释慧利
• Multi-Paxos: A round of negotiation led to consensus on multiple Proposals by 释慧利
• Neat Algorithms - Paxos by Harry Brundage
• Paxos Playground by Juan I. Vimberg (see instructions here

Of Raft:

• The Secret Lives of Data by Ben Johnson

Of Viewstamped Replication (but relevant to consensus in general):

• TigerBeetle Simulator by TigerBeetle

Basics

Of Raft:

• In Search of an Understandable Consensus Algorithm by Diego Ongaro and John Ousterhout
• Raft TLA+ spec by Diego Ongaro
• Consensus: Bridging Theory and Practice by Diego Ongaro (extended version of Raft paper)

Of Viewstamped Replication:

• Viewstamped Replication Revisited by Barbara Liskov and James Cowling
• Viewstamped Replication Revisited TLA+ spec by Jack Vanlightly

Optimizations

• ARC: Analysis of Raft Consensus
• Flexible Paxos: Quorum intersection revisited by Heidi Howard, Dahlia Malkhi, and Alexander Spiegelman
• Paxos Made Live by Google
• TiKV Raft Optimizations by TiKV
• Scaling Replicated State Machines with Compartmentalization by everyone

Issues

• Providing Stable Storage for the Diskless Crash-Recovery Failure Model
• Protocol-Aware Recovery for Consensus-Based Storage