Author(s):
Silva, Bruno Victor da
Date: 2020
Origin: Oasisbr
Subject(s): CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO; Sistemas distribuídos; Protocolo de consenso; Paxos; Otimização; Replicação de máquina de estado; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO; Sistemas distribuídos; Sistemas distribuídos; Protocolo de consenso; Protocolo de consenso; Paxos; Paxos; Otimização; Otimização; Replicação de máquina de estado; Replicação de máquina de estado
Description
Trabalho de Conclusão de Curso (Graduação)
Chegar a um consenso é um problema fundamental para a consistência de sistemas distribuídos. Na replicação de máquina de estados, cada replica precisa executar a mesma sequência de operações. Nesse contexto, consenso é utilizado para garantir que cada réplica decida a mesma sequência de operações. Além de um bom desempenho, um algoritmo de consenso deve ser capaz de proporcionar segurança e tolerar algumas falhas que podem acontecer durante sua execução para evitar a interrupção no funcionamento do sistema. Este trabalho é desenvolvido sobre o algoritmo Paxos, um dos primeiros algoritmos criados para resolver este problema. Inicialmente é feito o estudo de uma biblioteca que implementa o algoritmo, denominada Libpaxos. A biblioteca é então otimizada de acordo com as melhorias apresentadas na literatura relacionada. Por fim, experimentos para análise de performance, confirmam os benefícios das melhorias introduzidas.