| | |
Summary: Paxos for System Builders: An Overview
Jonathan Kirsch
The Johns Hopkins University
3400 N. Charles Street
Baltimore, MD 21218
jak@cs.jhu.edu
Yair Amir
The Johns Hopkins University
3400 N. Charles Street
Baltimore, MD 21218
yairamir@cs.jhu.edu
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 implementa-
tion and detail the safety and liveness properties guaranteed
by our specification of Paxos.
Categories and Subject Descriptors
D.4.5 [Operating Systems]: Reliability--Fault-tolerance;
|
