Por favor, use este identificador para citar o enlazar este ítem:
https://repositorio.ufu.br/handle/123456789/36421| ORCID: |  http://orcid.org/0000-0001-6654-6442 |
| Tipo de documento: | Dissertação |
| Tipo de acceso: | Acesso Aberto |
| Título: | Algoritmo multicast generalizado: formalização e validação |
| Título (s) alternativo (s): | Generalized multicast algorithm: formalization and validation |
| Autor: | Bolina, José Augusto |
| Primer orientador: | Camargos, Lásaro Jonas |
| Primer coorientador: | Pasquini, Rafael |
| Primer miembro de la banca: | Pedone, Fernando |
| Segundo miembro de la banca: | Coelho, Paulo Rodolfo da Silva Leite |
| Resumen: | 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. |
| Palabras clave: | Consenso Tolerância a faltas Difusão Genérica Difusão Atômica Consensus Fault-Tolerance Generic Multicast Atomic Multicast |
| Área (s) del CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Tema: | 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 |
| Cita: | 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 del documento: | http://doi.org/10.14393/ufu.di.2022.596 |
| URI: | https://repositorio.ufu.br/handle/123456789/36421 |
| Fecha de defensa: | 29-sep-2022 |
| Aparece en las colecciones: | DISSERTAÇÃO - Ciência da Computação |
Ficheros en este ítem:
| Fichero | Descripción | Tamaño | Formato | |
|---|---|---|---|---|
| AlgoritmoMulticastGeneralizado.pdf | Dissertação | 6.01 MB | Adobe PDF |  Visualizar/Abrir |
Este ítem está sujeto a una licencia Creative Commons Licencia Creative Commons
