Paxos made code

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.

Sujets

• Informatique
• Marketing et communication

Informations

• Publié par: kyann
• Publié le: 02 mai 2013
• Nombre de lectures: 66
• Langue: English

Extrait

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 P OSAX to 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