Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufu.br/handle/123456789/22447
Tipo de documento: | Dissertação |
Tipo de acceso: | 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: | Saramago, Rodrigo Queiroz |
Primer orientador: | Camargos, Lásaro Jonas |
Primer miembro de la banca: | Alchieri, Eduardo Adilio Pelinson |
Segundo miembro de la banca: | Faina, Luís Fernando |
Tercer miembro de la banca: | Vieira, Gustavo Maciel Dias |
Resumen: | 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. |
Palabras clave: | 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) del 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 |
Cita: | 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 del documento: | http://dx.doi.org/10.14393/ufu.di.2018.1147 |
URI: | https://repositorio.ufu.br/handle/123456789/22447 |
Fecha de defensa: | 8-sep-2016 |
Aparece en las colecciones: | DISSERTAÇÃO - Ciência da Computação |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
ImplementacaoAvaliacaoProtocolo.pdf | DISSERTAÇÂO | 18.71 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.