Implementação e Avaliação do Protocolo de Difusão Atômica Rápida a Despeito de Colisões

• Ano de defesa: 2016
• Autor(a) principal: Saramago, Rodrigo Queiroz
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Uberlândia; Brasil; Programa de Pós-graduação em Ciência da Computação
• Palavras-chave em Português: Computação; Computing; Sistemas Distribuídos; Dystributed Systems; Algoritmos; Algorithms; Consenso Distribuído; Distributed Consensus; Difusão Atômica; Atomic Broadcast; Paxos; Multi Ring Paxos; M-consensus; Collision-fast; Replicação de Máquinas de Estado; State Machine Replication; Consenso Bizantino; Byzantine Consensus; Sistemas distribuidos - Protocolos; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: https://repositorio.ufu.br/handle/123456789/22447; http://dx.doi.org/10.14393/ufu.di.2018.1147

State Machine Replication, is a common technique for achieving fault tolerance that can be implemented by Atomic Broadcast primitives. Atomic Broadcast is usually implemented by solving infinitely many instances of the well-known consensus problem. This approach has the disadvantage of forcing the concurrent broadcast of messages that have not yet been decided, causing them to be re-proposed in new instances, therefore delaying execution. Collision-fast algorithms, which deliver many messages within two message steps in good runs, exist, but either make assumptions that may be too restrictive; require a certain degree of clock synchronization among nodes; do not deal efficiently with failures or have not been experimentally evaluated. In this work we propose an architecture to implement the Collision-fast Atomic Broadcast algoritm as part of a distributed service, exploring the parallelism in today’s machines, and also evaluating the performance of this protocol in a variety of scenarios, comparing it with other two protocols (Paxos and Multi-Ring Paxos). Moreover, this work aims at improving the protocol to allow speculative execution of delivered commands and make it resilient to Byzantine failures. Finally, we conjecture the impossibility of Byzantine failure tolerant Collision-fast protocols.