The Paxos Register

We introduce the Paxos register to simplify and unify the presentation of Paxos-style consensus protocols. We use our register to show how Lamport's Classic Paxos and Castro and Liskov's Byzantine Paxos are the same consensus protocol, but for different failure models. We also use our regi...

Full description

Saved in:
Bibliographic Details
Published in2007 26th IEEE International Symposium on Reliable Distributed Systems (SRDS 2007) pp. 114 - 126
Main Authors Li, H.C., Clement, A., Aiyer, A.S., Alvisi, L.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.10.2007
Subjects
Access protocols
Asynchronous communication
Computer crashes
Digital signatures
Distributed computing
Registers
Safety
Testing
Online AccessGet full text

Cover

More Information
Summary:We introduce the Paxos register to simplify and unify the presentation of Paxos-style consensus protocols. We use our register to show how Lamport's Classic Paxos and Castro and Liskov's Byzantine Paxos are the same consensus protocol, but for different failure models. We also use our register to compare and contrast Byzantine Paxos with Martin and Alvisi's fast Byzantine consensus. The Paxos register is a write-once register that exposes two important abstractions for reaching consensus: (i) read and write operations that capture how processes in Paxos protocols propose and decide values and (ii) tokens that capture how these protocols guarantee agreement despite partial failures. We encapsulate the differences of several Paxos-style protocols in the implementation details of these abstractions.
ISBN:076952995X
9780769529950
ISSN:1060-9857
2575-8462
DOI:10.1109/SRDS.2007.32