Paxos made code

English
60 Pages
Read an excerpt
Gain access to the library to view online
Learn more

Description

Paxos made code Implementing a high throughput Atomic Broadcast Master’s Thesis submitted to the Faculty of Informatics of the University of Lugano in partial fulfillment of the requirements for the degree of Master of Science in Informatics Dependable Distributed Systems presented by Marco Primi under the supervision of Prof. Fernando Pedone May 2009 I certify that except where due acknowledgement has been given, the work presented in this thesis is that of the author alone; the work has not been sub- mitted previously, in whole or in part, to qualify for any other academic award; and the content of the thesis is the result of work which has been carried out since the official commencement date of the approved research program. Marco Primi Lugano, 29 May 2009 i Abstract The PAXOS algorithm is used to implement Atomic Broadcast, an important com- munication primitive useful for building fault-tolerant distributed systems. Trans- forming a formal description into an efficient, scalable and reliable implemen- tation is a difficult process that requires addressing a number of practical issues and making careful design choices. In this document we share our experience in building, verifying and benchmarking different Paxos-based implementations of Atomic Broadcast. iii iv Acknowledgements Daniele Sciascia is coauthor of libpaxos-T and libfastpaxos. Thanks to Nicolas Schiper for some interesting insights and tests about the issue described in Section 4.6.1.

Subjects

Informations

Published by
Published 02 May 2013
Reads 66
Language English
Report a problem
Paxos
made
code
Implementing a high throughput Atomic Broadcast
Master’s Thesis submitted to the
Faculty of Informatics of the University of Lugano
in partial fulfillment of the requirements for the degree of
Master of Science in Informatics
Dependable Distributed Systems
presented by Marco Primi
under the supervision of Prof. Fernando Pedone
May 2009
I certify that except where due acknowledgement has been given, the work presented in this thesis is that of the author alone; the work has not been sub-mitted previously, in whole or in part, to qualify for any other academic award; and the content of the thesis is the result of work which has been carried out since the official commencement date of the approved research program.
i
Marco Primi Lugano, 29 May 2009
Abstract
The POSAXto implement Atomic Broadcast, an important com-algorithm is used munication primitive useful for building fault-tolerant distributed systems. Trans-forming a formal description into an efficient, scalable and reliable implemen-tation is a difficult process that requires addressing a number of practical issues and making careful design choices. In this document we share our experience in building, verifying and benchmarking different Paxos-based implementations of Atomic Broadcast.
iii
iv