Paxos for System Builders: an overview

Authors:
Jonathan Kirsch;Yair Amir
Affiliations:
The Johns Hopkins University, Baltimore, MD;The Johns Hopkins University, Baltimore, MD
Venue:
LADIS '08 Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware
Year:
2008

Citing 10
Cited 3

Implementing fault-tolerant services using the state machine approach: a tutorial

ACM Computing Surveys (CSUR)
The part-time parliament

ACM Transactions on Computer Systems (TOCS)
Practical Byzantine fault tolerance

OSDI '99 Proceedings of the third symposium on Operating systems design and implementation
Revisiting the PAXOS algorithm

Theoretical Computer Science
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
The ABCD's of Paxos

Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Group communication specifications: a comprehensive study

ACM Computing Surveys (CSUR)
Deconstructing paxos

ACM SIGACT News
Paxos made live: an engineering perspective

Proceedings of the twenty-sixth annual ACM symposium on Principles of distributed computing
The Paxos Register

SRDS '07 Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems

Toward a cloud computing research agenda

ACM SIGACT News
Detecting failures in distributed systems with the Falcon spy network

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
On the efficiency of durable state machine replication

USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an overview of Paxos for System Builders, a complete specification of the Paxos replication protocol such that system builders can understand it and implement it. We evaluate the performance of a prototype implementation and detail the safety and liveness properties guaranteed by our specification of Paxos.