Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Paxos for System Builders: An Overview Jonathan Kirsch
 

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;

  

Source: Amir, Yair - Department of Computer Science, Johns Hopkins University

 

Collections: Computer Technologies and Information Sciences