Algoritmo multicast generalizado: formalização e validação

Detalhes bibliográficos
Ano de defesa: 2022
Autor(a) principal: Bolina, José Augusto
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: eng
Instituição de defesa: Universidade Federal de Uberlândia
Brasil
Programa de Pós-graduação em Ciência da Computação
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Palavras-chave em Português:
Consenso
Tolerância a faltas
Difusão Genérica
Difusão Atômica
Consensus
Fault-Tolerance
Generic Multicast
Atomic Multicast
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Computação
Algorítmos computacionais
Sistemas de computação
Sistemas operacionais distribuídos (Computadores)
Link de acesso: https://repositorio.ufu.br/handle/123456789/36421
http://doi.org/10.14393/ufu.di.2022.596
Resumo: 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.

Registros relacionados