Use este identificador para citar ou linkar para este item: https://repositorio.ufu.br/handle/123456789/36421
ORCID:  http://orcid.org/0000-0001-6654-6442
Tipo do documento: Dissertação
Tipo de acesso: Acesso Aberto
Título: Algoritmo multicast generalizado: formalização e validação
Título(s) alternativo(s): Generalized multicast algorithm: formalization and validation
Autor(es): Bolina, José Augusto
Primeiro orientador: Camargos, Lásaro Jonas
Primeiro coorientador: Pasquini, Rafael
Primeiro membro da banca: Pedone, Fernando
Segundo membro da banca: Coelho, Paulo Rodolfo da Silva Leite
Resumo: Algoritmos de sistemas distribuídos são peças essenciais para criação de aplicações tolerante a faltas. A corretude desses algoritmos é crucial. Nesse sentido, o presente trabalho formaliza e especifica três algoritmos para multi-difusão generalizada utilizando TLA+, corrigindo os problemas encontrados durante o processo. Em um lado mais prático, implementamos um protótipo de um dos algoritmos corrigidos. O presente trabalho detalha os algoritmos, os problemas encontrados e as respectivas soluções, e finalmente, o processo de especificação e implementação.
Abstract: Distributed systems algorithms are an essential building block to creating fault-tolerant applications. The correctness of such algorithms is crucial. The current work formalizes and specifies three generic multicast algorithms using TLA+ . We detail the formalization process, describing the problems and their corrections. On a more practical side, we implement a prototype of one of the specified algorithms. The current work aims to describe the process of (i) formalization and correction of three generic multicast algorithms and (ii) implementation of an algorithm directly from the specification.
Palavras-chave: Consenso
Tolerância a faltas
Difusão Genérica
Difusão Atômica
Consensus
Fault-Tolerance
Generic Multicast
Atomic Multicast
Área(s) do CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Assunto: Computação
Algorítmos computacionais
Sistemas de computação
Sistemas operacionais distribuídos (Computadores)
Idioma: eng
País: Brasil
Editora: Universidade Federal de Uberlândia
Programa: Programa de Pós-graduação em Ciência da Computação
Referência: BOLINA, José Augusto. Algoritmo multicast generalizado: formalização e validação. 2022. 150 f. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia, Uberlândia, 2022. DOI http://doi.org/10.14393/ufu.di.2022.596
Identificador do documento: http://doi.org/10.14393/ufu.di.2022.596
URI: https://repositorio.ufu.br/handle/123456789/36421
Data de defesa: 29-Set-2022
Aparece nas coleções:DISSERTAÇÃO - Ciência da Computação

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
AlgoritmoMulticastGeneralizado.pdfDissertação6.01 MBAdobe PDFThumbnail
Visualizar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons