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 | Tamanho | Formato | |
---|---|---|---|---|
AlgoritmoMulticastGeneralizado.pdf | Dissertação | 6.01 MB | Adobe PDF | Visualizar/Abrir |
Este item está licenciada sob uma Licença Creative Commons