Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: Albini, Luiz Carlos Pessoa
Orientador(a): Duarte Junior, Elias Procópio, 1966-
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Não Informado pela instituiçã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:
Algorítmos de computador
Sistemas operacionais distribuidos (Computadores)
Processamento eletronico de dados - Processamento
Ciência da Computação
Link de acesso: https://hdl.handle.net/1884/24710
Resumo: Orientador: Elias P. Duarte Jr
id UFPR_3dca04fed0e55091e6cba96808d63e55
oai_identifier_str oai:acervodigital.ufpr.br:1884/24710
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str
spelling Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em InformáticaDuarte Junior, Elias Procópio, 1966-Albini, Luiz Carlos Pessoa2024-10-16T12:43:46Z2024-10-16T12:43:46Z2000https://hdl.handle.net/1884/24710Orientador: Elias P. Duarte JrDissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em InformáticaResumo: Neste trabalho é apresentado o algoritmo Hi-Comp (Hierarchical Comparison-based Adaptive Distributed System-Level Diagnosis algorithm). Esse algoritmo realiza o diagnóstico de sistemas representáveis por um grafo completo. O algoritmo Hi-Comp é o primeiro algoritmo de diagnóstico ao mesmo tempo hierárquico, distribuído e baseado em comparações. Graças à execução de testes através de comparações, o algoritmo não se limita ao diagnóstico de falhas crash. Para executar um teste, um processador envia uma tarefa para dois processadores do sistema que, após a executarem, devolvem seus respectivos resultados para o testador. O testador compara os dois resultados; se eles forem idênticos, o testador considera que os dois processadores em questão estão sem-falha; já se a comparação indicar uma divergência entre os dois resultados, o testador considera que pelo menos um dos dois processadores testados está falho, mas não sabe qual deles. Considerando um sistema com N processadores, prova-se que o algoritmo é N - 1-diagnosticável e possui latência de log2N rodadas de testes. Além disso, é apresentada a prova formal do número máximo de testes necessários por rodada de testes, que pode chegar a 0(N3 ) no pior caso. Resultados de simulação são também apresentados.Abstract: This work introduces a new system-level diagnosis algorithm: Hi-Comp (Hierarchical Comparison-based Adaptive Distributed System-Level Diagnosis algorithm). This algorithm allows diagnosis of systems that can be represented by a complete graph. Hi-Comp is the first diagnosis algorithm that is, at the same time, hierarchical, distributed and comparison-based. The algorithm is not limited to crash fault diagnosis, because its tests are based on comparisons. To perform a test, a processor sends a task to two processors of the system which, after executing the task, send their outputs to the tester. The tester compares the two outputs; if the comparison produces a match, the tester considers the two processors fault-free; on the other hand, if the comparison produces a mismatch, the tester considers that at least one of the two tested processors is faulty, but cannot determine which one. Considering a system of N nodes, it is proved that the algorithm is (N - 1)-diagnosable and that its latency is log2N testing rounds. Furthermore, a formal proof of the maximum number of tests required per testing round is presented, which can be 0(N3). Simulation results are also presented.102 f. ; 30cm.application/pdfDisponível em formato digitalAlgorítmos de computadorSistemas operacionais distribuidos (Computadores)Processamento eletronico de dados - ProcessamentoCiência da ComputaçãoUm algoritmo baseado em comparações para diagnóstico distribuído hierárquicoinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALD - ALBINI, LUIZ CARLOS PESSOA.pdfapplication/pdf1790956https://acervodigital.ufpr.br/bitstream/1884/24710/1/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf2f6a3a306d8325f0a04d83f18a14f108MD51open accessTEXTD - ALBINI, LUIZ CARLOS PESSOA.pdf.txtExtracted Texttext/plain129756https://acervodigital.ufpr.br/bitstream/1884/24710/2/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf.txtd02b5a5399fffef50e3196b085cbb42aMD52open accessTHUMBNAILD - ALBINI, LUIZ CARLOS PESSOA.pdf.jpgGenerated Thumbnailimage/jpeg1214https://acervodigital.ufpr.br/bitstream/1884/24710/3/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf.jpg43dccea558d7cca92d56f737c0afd0cdMD53open access1884/247102024-10-16 09:43:46.836open accessoai:acervodigital.ufpr.br:1884/24710Repositório InstitucionalPUBhttp://acervodigital.ufpr.br/oai/requestinformacaodigital@ufpr.bropendoar:3082024-10-16T12:43:46Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
title Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
spellingShingle Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
Albini, Luiz Carlos Pessoa
Algorítmos de computador
Sistemas operacionais distribuidos (Computadores)
Processamento eletronico de dados - Processamento
Ciência da Computação
title_short Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
title_full Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
title_fullStr Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
title_full_unstemmed Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
title_sort Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico
author Albini, Luiz Carlos Pessoa
author_facet Albini, Luiz Carlos Pessoa
author_role author
dc.contributor.other.pt_BR.fl_str_mv Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.advisor1.fl_str_mv Duarte Junior, Elias Procópio, 1966-
dc.contributor.author.fl_str_mv Albini, Luiz Carlos Pessoa
contributor_str_mv Duarte Junior, Elias Procópio, 1966-
dc.subject.por.fl_str_mv Algorítmos de computador
Sistemas operacionais distribuidos (Computadores)
Processamento eletronico de dados - Processamento
Ciência da Computação
topic Algorítmos de computador
Sistemas operacionais distribuidos (Computadores)
Processamento eletronico de dados - Processamento
Ciência da Computação
description Orientador: Elias P. Duarte Jr
publishDate 2000
dc.date.issued.fl_str_mv 2000
dc.date.accessioned.fl_str_mv 2024-10-16T12:43:46Z
dc.date.available.fl_str_mv 2024-10-16T12:43:46Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://hdl.handle.net/1884/24710
url https://hdl.handle.net/1884/24710
dc.language.iso.fl_str_mv por
language por
dc.relation.pt_BR.fl_str_mv Disponível em formato digital
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 102 f. ; 30cm.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFPR
instname:Universidade Federal do Paraná (UFPR)
instacron:UFPR
instname_str Universidade Federal do Paraná (UFPR)
instacron_str UFPR
institution UFPR
reponame_str Repositório Institucional da UFPR
collection Repositório Institucional da UFPR
bitstream.url.fl_str_mv https://acervodigital.ufpr.br/bitstream/1884/24710/1/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf
https://acervodigital.ufpr.br/bitstream/1884/24710/2/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/24710/3/D%20-%20ALBINI%2c%20LUIZ%20CARLOS%20PESSOA.pdf.jpg
bitstream.checksum.fl_str_mv 2f6a3a306d8325f0a04d83f18a14f108
d02b5a5399fffef50e3196b085cbb42a
43dccea558d7cca92d56f737c0afd0cd
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)
repository.mail.fl_str_mv informacaodigital@ufpr.br
_version_ 1847526214299811840

Registros relacionados