
Atenção:
O eduCAPES é um repositório de objetos educacionais, não sendo responsável por materiais de terceiros submetidos na plataforma. O usuário assume ampla e total responsabilidade quanto à originalidade, à titularidade e ao conteúdo, citações de obras consultadas, referências e outros elementos que fazem parte do material que deseja submeter. Recomendamos que se reporte diretamente ao(s) autor(es), indicando qual parte do material foi considerada imprópria (cite página e parágrafo) e justificando sua denúncia.
Caso seja o autor original de algum material publicado indevidamente ou sem autorização, será necessário que se identifique informando nome completo, CPF e data de nascimento. Caso possua uma decisão judicial para retirada do material, solicitamos que informe o link de acesso ao documento, bem como quaisquer dados necessários ao acesso, no campo abaixo.
Todas as denúncias são sigilosas e sua identidade será preservada. Os campos nome e e-mail são de preenchimento opcional. Porém, ao deixar de informar seu e-mail, um possível retorno será inviabilizado e/ou sua denúncia poderá ser desconsiderada no caso de necessitar de informações complementares.
| Metadados | Descrição | Idioma |
|---|---|---|
| Autor(es): dc.contributor | Duarte Junior, Elias Procópio, 1966- | - |
| Autor(es): dc.contributor | Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática | - |
| Autor(es): dc.creator | Albini, Luiz Carlos Pessoa | - |
| Data de aceite: dc.date.accessioned | 2025-09-01T12:12:54Z | - |
| Data de disponibilização: dc.date.available | 2025-09-01T12:12:54Z | - |
| Data de envio: dc.date.issued | 2024-10-16 | - |
| Data de envio: dc.date.issued | 2024-10-16 | - |
| Data de envio: dc.date.issued | 2000 | - |
| Fonte completa do material: dc.identifier | https://hdl.handle.net/1884/24710 | - |
| Fonte: dc.identifier.uri | http://educapes.capes.gov.br/handle/1884/24710 | - |
| Descrição: dc.description | Orientador: Elias P. Duarte Jr | - |
| Descrição: dc.description | Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática | - |
| Descrição: dc.description | Resumo: 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. | - |
| Descrição: dc.description | 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. | - |
| Formato: dc.format | 102 f. ; 30cm. | - |
| Formato: dc.format | application/pdf | - |
| Formato: dc.format | application/pdf | - |
| Relação: dc.relation | Disponível em formato digital | - |
| Palavras-chave: dc.subject | Algorítmos de computador | - |
| Palavras-chave: dc.subject | Sistemas operacionais distribuidos (Computadores) | - |
| Palavras-chave: dc.subject | Processamento eletronico de dados - Processamento | - |
| Palavras-chave: dc.subject | Ciência da Computação | - |
| Título: dc.title | Um algoritmo baseado em comparações para diagnóstico distribuído hierárquico | - |
| Tipo de arquivo: dc.type | livro digital | - |
| Aparece nas coleções: | Repositório Institucional - Rede Paraná Acervo | |
O Portal eduCAPES é oferecido ao usuário, condicionado à aceitação dos termos, condições e avisos contidos aqui e sem modificações. A CAPES poderá modificar o conteúdo ou formato deste site ou acabar com a sua operação ou suas ferramentas a seu critério único e sem aviso prévio. Ao acessar este portal, você, usuário pessoa física ou jurídica, se declara compreender e aceitar as condições aqui estabelecidas, da seguinte forma: