Overview of the Paper

The Problem

• 1.1: The Island Of Paxos ↗

  Flavor text for the setting

• 1.2:Requirements ↗

  The wants of the system and the protocol

• 1.3:Assumptions ↗

  Explains the need of persistent memory and message passing between priests.

The Single-Decree Synod

Deals with the Mathematics for Safety for choosing a single Decree

• 2.1: Mathematical Results ↗

  See overview for this section

• 2.2:The Preliminary Protocol ↗

  Outlines the preliminary paxos protocol steps and messages

• 2.4:The Complete Synod Protocol ↗

  Adds the attributes of leadership and talks about how without live-locks are much more likely.

Multi Decree Parliament

Builds on the Protocol to show how it's repeatable and can build up a safe and progressive state with additional optimizations.

• 3.1:Protocol ↗

  Outlines how the complete protocol can be used in sequence with leadership.

• 3.2:Properties of the Protocol ↗

  Goes into detail on the importance of decree ordering and the difficulties of leadership assignment

• 3.3:Further Development ↗

  See Overview for various optimizations that he proposes in the abstract for further consideration.