abstract-paxos

High Availability Architecture

Mar 29, 2022 · Fundamentals

Abstract Paxos: Unifying Paxos and Raft through Formal Derivation of Distributed Consensus

This article presents abstract‑paxos, a unified framework that derives Paxos and Raft from first principles, defines information certainty, quorum, and a total order on states using commit_index, and details a two‑phase protocol, member‑change handling, and how the model maps to classic Paxos and Raft implementations.