Abstract-Paxos unifies well-known distributed consensus algorithms (Paxos, Raft, 2PC, etc.) into a single approach.

• V1(中文): abstract-paxos-v1-cn.

  • Provides proofs and explanations.
  • Describes classic Paxos and Raft using Abstract-Paxos.

This repository includes the core of Abstract-Paxos and demo examples that showcase how to implement various distributed consensus algorithms using Abstract-Paxos.

Abstract-Paxos implements:

• Classic-Paxos: paxos.
• Two-Phase-Commit: two_pc
• Fast-Paxos
• CAS-Paxos
• EC-Paxos
• Raft

Refer to: src/implementations.