Paxos part-time parliament

Landing Whitepapers Leslie Lamport Publishing History Paper Overview

1.1 The Island of Paxos 1.2 Requirements 1.3 Assumptions

Overview Ballot Definition Constraints Math Terms Votes Function Max Vote Quorum Lemma Theorem 1 Theorem 2 Recap

Preliminary Protocol → Preliminary Demo Basic Protocol → Basic Demo Complete Protocol

3.1 Overview 3.2 Protocol 3.3 Presidential Problems 3.4 Optimizations

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