High Performance Paxos: an exploration of the role of synchrony on performance of Paxos

• Grant number: 10/14555-6
• Support Opportunities: Scholarships in Brazil - Master
• Start date: March 01, 2011
• End date: February 29, 2012
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computer Systems
• Principal Investigator: Luiz Eduardo Buzato
• Grantee: Daniel Cason
• Host Institution: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brazil

Abstract

Total order broadcast and consensus are at the core of any solution for the problem of creating highly available distributed applications from off-the-shelve components based on active replication. More specifically, Fast Paxos is an optimal consensus algorithm devised for the asynchronous crash-recovery computing model augmented with unreliable failure detectors. Within this model, Fast Paxos guarantees that no replica state is going to diverge from each other despite failures and the asynchronicity of processes and communication channels. In this project, we are interested in exploring the behaviour of Fast Paxos within the alternative framework provided by partially synchronous computing models, more specifically the timed asynchronous computing model. In this context, our research should be able to answer, both theoretically and experimentally, whether it is possible or not to devise a variation of Fast Paxos with the same guarantees of the original algorithm but with better performance.

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

CASON, DANIEL; BUZATO, LUIZ E.. Time hybrid total order broadcast: Exploiting the inherent synchrony of broadcast networks. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, v. 77, p. 26-40, MAR 2015. (10/14555-6, 11/23705-4)