Use este identificador para citar ou linkar para este item: https://repositorio.ufu.br/handle/123456789/22447
Tipo do documento: Dissertação
Tipo de acesso: Acesso Aberto
Título: Implementação e Avaliação do Protocolo de Difusão Atômica Rápida a Despeito de Colisões
Título(s) alternativo(s): Implementation and evaluation of the Collision-fast Atomic Broadcast protocol
Autor(es): Saramago, Rodrigo Queiroz
Primeiro orientador: Camargos, Lásaro Jonas
Primeiro membro da banca: Alchieri, Eduardo Adilio Pelinson
Segundo membro da banca: Faina, Luís Fernando
Terceiro membro da banca: Vieira, Gustavo Maciel Dias
Resumo: Replicação de Máquinas de Estados, uma técnica comum para se alcançar tolerância a falhas, pode ser implementada por meio de primitivas de Difusão Atômica (Atomic Broadcast). Difusão Atômica, por sua vez, é comumente implementada via algoritmos de Consensus: com infinitas instâncias de Consensus, totalmente ordenadas, decide-se por uma sequência de comandos a serem executados na máquina de estados replicada. Esta abordagem tem a desvantagem de forçar as propostas não decididas (comandos não entregues) a serem repropostas em novas instâncias, atrasando sua execução. Algoritmos que evitam tais problemas são denominados collision-fast e apresentam uma latência ótima de dois passos de comunicação. Os existentes, contudo, requerem um certo grau de sincronismo (Clock-RSM), ou não tratam falhas de forma eficiente (Mencius) ou ainda não foram avaliados experimentalmente (CFABCAST). Este trabalho objetiva primariamente a implementação do algoritmo Collision-fast Atomic Broadcast (CFABCAST), bem como uma avaliação de desempenho em relação ao modelo clássico de replicação de máquinas de estado baseado no Paxos, e a outro trabalho denominado Multi Ring Paxos. Além disso, este trabalho tem como objetivos adicionais, melhorar a eficiência do protocolo em sistemas que permitam execução especulativa e torná-lo resiliente a falhas bizantinas. Por fim, conjecturamos ser impossível existir um protocolo Collision-fast que tolere falhas bizantinas.
Abstract: 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.
Palavras-chave: 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
Área(s) do CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Idioma: por
País: Brasil
Editora: Universidade Federal de Uberlândia
Programa: Programa de Pós-graduação em Ciência da Computação
Referência: SARAMAGO, Rodrigo Queiroz. Implementação e Avaliação do Protocolo de Difusão Atômica Rápida a Despeito de Colisões. 2016. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2018. DOI http://dx.doi.org/10.14393/ufu.di.2018.1147.
Identificador do documento: http://dx.doi.org/10.14393/ufu.di.2018.1147
URI: https://repositorio.ufu.br/handle/123456789/22447
Data de defesa: 8-Set-2016
Aparece nas coleções:DISSERTAÇÃO - Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
ImplementacaoAvaliacaoProtocolo.pdfDISSERTAÇÂO18.71 MBAdobe PDFThumbnail
Visualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.