Abstract-Paxos
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.
Project Status
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:
Refer to: src/implementations.