Paxos Made Live: An Engineering Perspective

Tushar D. Chandra, Robert Griesemer & Joshua Redstone

Argues the gap between the Paxos algorithm and a production consensus system is itself substantial engineering, covering leader election, disk corruption and group membership changes the original paper leaves unspecified.