Análise e optimização de protocolos de Acordo Distribuído Aproximado

Abstract

Esta dissertação aborda o acordo distribuído aproximado, no qual é pretendido que um grupo de processos decida um valor dentro de um intervalo com uma amplitude limitada. Na primeira fase procede-se ao levantamento dos algoritmos existentes na literatura, onde se incluem algoritmos que propõem a resolução no modelo assíncrono, no qual são consideradas faltas bizantinas. Através de uma análise comparativa, são evidenciadas as principais diferenças entre os algoritmos. Posteriormente, após a seleção criteriosa de um dos algoritmos, e feita a sua análise detalhada sobre os fatores de escalabilidade em resultado da sua implementação. Com base nos resultados, são propostas alterações que promovem a performance do algoritmo face ao aumento do número de processos no sistema.

This dissertation addresses the approximate distributed agreement, in which it is intended that a group of processes decides a value within a range with a limited amplitude. In the first phase, a study of existing algorithms in the literature is carried out, including algorithms that propose a resolution in the asynchronous model, where byzantine faults are considered. Then, through a comparative analysis, the main differences between the algorithms are highlighted. In the next phase, after a careful selection of one of the algorithms, a detailed analysis of the scalability factors resulting from its implementation is carried out. Based on the results, changes are proposed to promote the performance of the algorithm given the increase in the number of processes in the system.