Desenvolvimento de uma biblioteca para consenso distribuído

Abstract

Protocolos de consenso distribuído são blocos de construção fundamentais para o desenvolvimento de sistemas distribuídos confiáveis, por permitirem que processos separados cheguem a um acordo sobre a escolha de um valor proposto, assim auxiliando na elaboração de sistemas com alta disponibilidade e garantia de consistência forte ao assegurar que uma coleção de processos distribuídos trabalhem como um grupo coerente mesmo no caso de falha de alguns participantes. O Paxos pode ser considerado o principal algoritmo de consenso distribuído das últimas décadas e após ter sido proposto em 1998, diversas variações e otimizações foram pesquisadas e desenvolvidas baseadas no protocolo original. Este relatório descreve conceitos relacionados com a pesquisa, os passos realizados durante a bolsa de iniciação cientifica para aprofundar os conhecimentos sobre a Biblioteca Paxi, os experimentos realizados com ela e resultados observados. Finalizando com um apanhado geral sobre o assunto e trabalhos futuros.