Paxos
Introduction
Landing
Whitepapers
Leslie Lamport
Publishing History
Paper Overview
Section 1: The Problem
1.1 The Island of Paxos
1.2 Requirements
1.3 Assumptions
Section 2.1: Synod (Math)
Overview
Ballot Definition
Constraints
Math Terms
Votes Function
Max Vote
Quorum
Lemma
Theorem 1
Theorem 2
Recap
Section 2.2: Protocols
Preliminary Protocol
→ Preliminary Demo
Basic Protocol
→ Basic Demo
Complete Protocol
Section 3: Multi-Decree Parliament
3.1 Overview
3.2 Protocol
3.3 Presidential Problems
3.4 Optimizations
Section 4: Further Developments
4.1 Picking a President
4.2 Long Ledgers
4.3 Bureaucrats
4.4 Learning the Law
4.5 Dishonest Legislators
4.6 Choosing New Legislators
PAXOS
Understand the 1998 Part-Time Parliament Paper
BEGIN