Uma solução autonômica para k-exclusão mútua em sistemas distribuídos

Detalhes bibliográficos
Autor(a) principal: Rodrigues, Luiz Antonio
Data de Publicação: 2014
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFPR
Texto Completo: http://hdl.handle.net/1884/36459
Resumo: Orientador : Prof. Dr. Elias P. Duarte Jr.
id UFPR_d959b4fdba079b23941f8e5644652b4e
oai_identifier_str oai:acervodigital.ufpr.br:1884/36459
network_acronym_str UFPR
network_name_str Repositório Institucional da UFPR
repository_id_str 308
spelling Rodrigues, Luiz AntonioDuarte Junior, Elias ProcopioUniversidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática2014-10-24T15:38:43Z2014-10-24T15:38:43Z2014http://hdl.handle.net/1884/36459Orientador : Prof. Dr. Elias P. Duarte Jr.Tese (doutorado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 12/08/2014Inclui referênciasResumo: Uma das grandes vantagens dos sistemas distribuídos é o compartilhamento de recursos. No entanto, diversos processos podem solicitar o acesso a um recurso compartilhado de forma concorrente e, em certos casos, é necessário garantir que um único processo obtenha permissão de acesso ao recurso em cada instante de tempo. Para tanto, são utilizados os algoritmos de exclusão mútua. Nas soluções que utilizam pedidos de permissão, cada processo deve solicitar aos demais a permissão para utilizar o recurso, A permissão deve ser obtida de todos os processos ou de um subconjunto deles, como definido pelas soluções com quóruns. Uma extensão do problema da exclusão mútua é a k-exclusão mútua. Nesta categoria, ao invés de um, existem k cópias idênticas do recurso compartilhado. O objetivo é garantir que, no máximo, k processos obtenham acesso aos recursos de cada vez. As soluções de k-exclusão mútua existentes são basicamente adaptadas dos algoritmos de 1-exclusão mútua. Entretanto, a maior parte destas soluções não aborda a questão da ocorrência de falhas no sistema. Nesta tese é proposta uma solução autonômica de k-exclusão mútua distribuída que opera corretamente para até n — 1 processos falhos, sendo n o total de processos no sistema. O algoritmo de k-exclusão mútua é baseado em algoritmos hierárquicos de difusão (broadcast), também propostos nesta tese, O objetivo de desenvolver estes algoritmos é otimizar a propagação das mensagens de requisição de recursos do algoritmo de exclusão mútua. Dois algoritmos de difusão foram propostos, um para difusão de melhor-esforço e outro para difusão confiável. Estes algoritmos são baseados em uma outra solução também proposta neste trabalho: um algoritmo autonômico e hierárquico para a construção e manutenção de árvores geradoras (spanning trees). As árvores são construídas de forma totalmente distribuída e adaptativa sobre uma topologia de hipercubo virtual, denominada Vcube. A estratégia proposta é eficiente e escalável, além de tolerar até n — 1 falhas de processo. As soluções propostas são também autonômicas no sentido que se adaptam automaticamente frente à ocorrência de falhas, reorganizando os elementos corretos do sistema. Uma segunda abordagem foi proposta para o problema da exclusão mútua, um algoritmo de quóruns, também construído sobre a topologia VCube, A carga e o tamanho dos quóruns são balanceados, mesmo após a ocorrência de falhas. Todos os algoritmos propostos são descritos, especificados e foram implementados através de simulação. São apresentadas provas de correção e resultados experimentais para todas as propostas.Abstract: One of the key purposes of distributed systems is to allow resources to be shared. Howe­ver, several processes can request access to a shared resource concurrently and in some eases it is necessary to ensure that only a single process has permission to access the resource per instant of time. Mutual exclusion algorithms are used for this purpose. In permission-based solutions, each process must request permission to others before acces­sing the resource. The permission must be obtained for all processes or a subset of them, as is the ease when quorum-based solutions are employed. An extension of the mutual exclusion problem is k-mutual exclusion. In this case, instead of one, there are k identical copies of the shared resource. The main issue is to ensure that at most k processes get k adaptations of algorithms for mutual exclusion of a single resource. However, most of these solutions do not address the question of the oeeurrenee of faults in the system. In this thesis an autonomic solution for distributed k-mutual exclusion is proposed that works correctly even if up to n — 1 processes are faulty, assuming that the svstem consists of n k algorithms also proposed in this thesis. The purpose for developing these algorithms is to optimize the propagation of request messages used by the mutual exclusion algorithm. Two hierarchical broadcast algorithms were proposed, one for best-effort broadcast and another for reliable broadcast. These broadcast algorithms are based on yet another building block that was proposed in this thesis: an autonomic hierarchical algorithm for building and maintaining spanning trees. The spanning trees are constructed in a fully distributed and adaptive way on a virtual hypercube-like topology, called VCube, The n — 1 processes. The proposed solutions are also autonomic in the sense that they adapt them­selves automatically after the oeeurrenee of faults by reorganizing the correct processes remaining in the system, A second approach was also proposed for the mutual exclusion problem, a quorum-based algorithm, also built on the VCube topology. The load and size of the quorums are kept balanced, even after faults. All proposed algorithms are described, specified and have been implemented by simulation. Proofs of correctness and experimental results for all proposals are presented.106f. : il., tabs., grafs., color.application/pdfDisponível em formato digitalTesesSistemas de reconhecimento de padrõesCiência da computaçãoUma solução autonômica para k-exclusão mútua em sistemas distribuídosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisporreponame:Repositório Institucional da UFPRinstname:Universidade Federal do Paraná (UFPR)instacron:UFPRinfo:eu-repo/semantics/openAccessORIGINALR - T - LUIZ ANTONIO RODRIGUES.pdfapplication/pdf1529837https://acervodigital.ufpr.br/bitstream/1884/36459/1/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf4d5000e966ff5b49e6a16a9a37c7b510MD51open accessTEXTR - T - LUIZ ANTONIO RODRIGUES.pdf.txtR - T - LUIZ ANTONIO RODRIGUES.pdf.txtExtracted Texttext/plain495857https://acervodigital.ufpr.br/bitstream/1884/36459/2/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf.txt182f4d26a9d26a813c821d9fc07747d1MD52open accessTHUMBNAILR - T - LUIZ ANTONIO RODRIGUES.pdf.jpgR - T - LUIZ ANTONIO RODRIGUES.pdf.jpgGenerated Thumbnailimage/jpeg1175https://acervodigital.ufpr.br/bitstream/1884/36459/3/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf.jpg0d05c163db42499c368ebb1e7a791c27MD53open access1884/364592016-04-07 04:44:28.538open accessoai:acervodigital.ufpr.br:1884/36459Repositório de PublicaçõesPUBhttp://acervodigital.ufpr.br/oai/requestopendoar:3082016-04-07T07:44:28Repositório Institucional da UFPR - Universidade Federal do Paraná (UFPR)false
dc.title.pt_BR.fl_str_mv Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
title Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
spellingShingle Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
Rodrigues, Luiz Antonio
Teses
Sistemas de reconhecimento de padrões
Ciência da computação
title_short Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
title_full Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
title_fullStr Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
title_full_unstemmed Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
title_sort Uma solução autonômica para k-exclusão mútua em sistemas distribuídos
author Rodrigues, Luiz Antonio
author_facet Rodrigues, Luiz Antonio
author_role author
dc.contributor.other.pt_BR.fl_str_mv Duarte Junior, Elias Procopio
Universidade Federal do Paraná. Setor de Ciências Exatas. Programa de Pós-Graduação em Informática
dc.contributor.author.fl_str_mv Rodrigues, Luiz Antonio
dc.subject.por.fl_str_mv Teses
Sistemas de reconhecimento de padrões
Ciência da computação
topic Teses
Sistemas de reconhecimento de padrões
Ciência da computação
description Orientador : Prof. Dr. Elias P. Duarte Jr.
publishDate 2014
dc.date.accessioned.fl_str_mv 2014-10-24T15:38:43Z
dc.date.available.fl_str_mv 2014-10-24T15:38:43Z
dc.date.issued.fl_str_mv 2014
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/1884/36459
url http://hdl.handle.net/1884/36459
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 106f. : il., tabs., grafs., color.
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/36459/1/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf
https://acervodigital.ufpr.br/bitstream/1884/36459/2/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf.txt
https://acervodigital.ufpr.br/bitstream/1884/36459/3/R%20-%20T%20-%20LUIZ%20ANTONIO%20RODRIGUES.pdf.jpg
bitstream.checksum.fl_str_mv 4d5000e966ff5b49e6a16a9a37c7b510
182f4d26a9d26a813c821d9fc07747d1
0d05c163db42499c368ebb1e7a791c27
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
_version_ 1801860790213410816