Please use this identifier to cite or link to this item:
https://repositorio.ufu.br/handle/123456789/36421| ORCID: |  http://orcid.org/0000-0001-6654-6442 |
| Document type: | Dissertação |
| Access type: | Acesso Aberto |
| Title: | Algoritmo multicast generalizado: formalização e validação |
| Alternate title (s): | Generalized multicast algorithm: formalization and validation |
| Author: | Bolina, José Augusto |
| First Advisor: | Camargos, Lásaro Jonas |
| First coorientator: | Pasquini, Rafael |
| First member of the Committee: | Pedone, Fernando |
| Second member of the Committee: | Coelho, Paulo Rodolfo da Silva Leite |
| Summary: | 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. |
| Keywords: | Consenso Tolerância a faltas Difusão Genérica Difusão Atômica Consensus Fault-Tolerance Generic Multicast Atomic Multicast |
| Area (s) of CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Subject: | Computação Algorítmos computacionais Sistemas de computação Sistemas operacionais distribuídos (Computadores) |
| Language: | eng |
| Country: | Brasil |
| Publisher: | Universidade Federal de Uberlândia |
| Program: | Programa de Pós-graduação em Ciência da Computação |
| Quote: | 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 |
| Document identifier: | http://doi.org/10.14393/ufu.di.2022.596 |
| URI: | https://repositorio.ufu.br/handle/123456789/36421 |
| Date of defense: | 29-Sep-2022 |
| Appears in Collections: | DISSERTAÇÃO - Ciência da Computação |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| AlgoritmoMulticastGeneralizado.pdf | Dissertação | 6.01 MB | Adobe PDF |  View/Open |
This item is licensed under a Creative Commons License
