Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.

Detalhes bibliográficos
Autor(a) principal: BRITO, Andrey Elísio Monteiro.
Data de Publicação: 2004
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da UFCG
Texto Completo: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009
Resumo: A maioria das infra-estruturas disponíveis para implantação de aplicações distribuídas são caracterizadas pela ausência de limites superiores conhecidos nos atrasos de transmissão de mensagens e de escalonamento de processos, i.e. elas são sistemas assíncronos. Esses sistemas são tidos como o melhor ambiente para o desenvolvimento de aplicações devido à portabilidade e escalabilidade decorrente da falta de considerações temporais fortes sobre o sistema. Entretanto, alguns dos mais fundamentais problemas dos sistemas distribuídos não podem ser resolvidos nesses sistemas quando estes estão sujeitos a falhas. Os sistemas síncronos, por outro lado, permitem soluções triviais para os problemas básicos dos sistemas distribuídos tolerantes a falhas. Isso acontece porque eles garantem um atraso máximo conhecido no escalonamento de processos e nos atrasos na transmissão de mensagens. Entretanto, a maior parte dos sistemas práticos não são síncronos, e isso motivou a criação de modelos intermediários entre esse dois tipos, chamados de modelos parcialmente síncronos. Um dos mais populares modelos parcialmente síncronos é o modelo assíncrono equipado com detectores de falhas não confiáveis. Neste modelo cada processo possui acesso a um módulo que pode fornecer informações sobre quais processos falharam. Entre os detectores de falhas propostos, o detector de falhas com semântica perfeita é o mais forte e o único que não comete erros (por exemplo, suspeitando de processos que não falharam). Infelizmente, detectores de falhas perfeitos só podem ser implementados em sistemas síncronos. Como algumas aplicações exigem detectores de falhas perfeito, estes detectores têm recebido uma crescente atenção na literatura. Para implementá-los, subsistemas síncronos de capacidade bastante limitada têm sido desenvolvidos sob o sistema parcialmente síncrono onde as aplicações executam. Este trabalho detalha a implementação de um subsistema síncrono em um ambiente assíncrono formado por uma rede de PCs conectados por uma rede local e executando um sistema operacional de prateleira. Finalmente, embora a implementação de detectores de falhas perfeitos, por si só justifique a implementação de um subsistema síncrono, nós acreditamos que abstrações mais fortes que os detectores de falhas perfeitos podem ser desenvolvidas. Apresentamos uma destas abstrações, o Compilador de Estados Globais, que possibilita soluções mais rápidas para o problema do consenso, onde vários processos tentam entrar em acordo sobre um valor proposto.
id UFCG_2dcf107df8fc4f863d4591265d1e1fe9
oai_identifier_str oai:localhost:riufcg/11009
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str 4851
spelling Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.A hybrid architecture for supporting fault tolerant distributed protocols.Sistemas DistribuídosTolerância a FalhasSistemas SíncronosProtocolos de ConsensoSistemas EmbarcadosDistributed SystemsFault ToleranceSynchronous SystemsConsensus ProtocolsEmbedded SystemsCiência da ComputaçãoA maioria das infra-estruturas disponíveis para implantação de aplicações distribuídas são caracterizadas pela ausência de limites superiores conhecidos nos atrasos de transmissão de mensagens e de escalonamento de processos, i.e. elas são sistemas assíncronos. Esses sistemas são tidos como o melhor ambiente para o desenvolvimento de aplicações devido à portabilidade e escalabilidade decorrente da falta de considerações temporais fortes sobre o sistema. Entretanto, alguns dos mais fundamentais problemas dos sistemas distribuídos não podem ser resolvidos nesses sistemas quando estes estão sujeitos a falhas. Os sistemas síncronos, por outro lado, permitem soluções triviais para os problemas básicos dos sistemas distribuídos tolerantes a falhas. Isso acontece porque eles garantem um atraso máximo conhecido no escalonamento de processos e nos atrasos na transmissão de mensagens. Entretanto, a maior parte dos sistemas práticos não são síncronos, e isso motivou a criação de modelos intermediários entre esse dois tipos, chamados de modelos parcialmente síncronos. Um dos mais populares modelos parcialmente síncronos é o modelo assíncrono equipado com detectores de falhas não confiáveis. Neste modelo cada processo possui acesso a um módulo que pode fornecer informações sobre quais processos falharam. Entre os detectores de falhas propostos, o detector de falhas com semântica perfeita é o mais forte e o único que não comete erros (por exemplo, suspeitando de processos que não falharam). Infelizmente, detectores de falhas perfeitos só podem ser implementados em sistemas síncronos. Como algumas aplicações exigem detectores de falhas perfeito, estes detectores têm recebido uma crescente atenção na literatura. Para implementá-los, subsistemas síncronos de capacidade bastante limitada têm sido desenvolvidos sob o sistema parcialmente síncrono onde as aplicações executam. Este trabalho detalha a implementação de um subsistema síncrono em um ambiente assíncrono formado por uma rede de PCs conectados por uma rede local e executando um sistema operacional de prateleira. Finalmente, embora a implementação de detectores de falhas perfeitos, por si só justifique a implementação de um subsistema síncrono, nós acreditamos que abstrações mais fortes que os detectores de falhas perfeitos podem ser desenvolvidas. Apresentamos uma destas abstrações, o Compilador de Estados Globais, que possibilita soluções mais rápidas para o problema do consenso, onde vários processos tentam entrar em acordo sobre um valor proposto.Most of the infra-structures for deploying distributed applications are characterized by the absence of known upper bounds in the communication and process scheduling delays, i.e. they are asynchronous systems. Asynchronous systems are considered to be the best environment to develop applications for its portability and scalability, consequence of the lack of strong timing assumptions about the system. Unfortunately, most of the basic problems of distributed systems cannot be solved in such a system when they are subjected to failures. On the other hand, the synchronous systems allow trivial solutions to the basic problems of distributed systems. This is consequence of the existence of known upper bounds in communication and scheduling delays. However, most of the practical systems are not synchronous, and this fact motivates the conception of intermediate models between these two systems, named partially synchronous models. One of the most popular partially synchronous model is the asynchronous model equipped with an unreliable failure detector. This model consists in an asynchronous model, in which each process has access to a module that gives information about which processes have failed. Among the proposed failure detectors, the perfect failure detector is the strongest and is the only one which does not make mistakes (for example, by suspecting processes that did not fail). Unfortunately, perfect failure detectors can only be implemented in synchronous systems. However, as some applications require perfect failure detectors, the interest in them has recently raised. A recent approach taken by the designers of such systems is to implement synchronous subsystems with very limited capacity underneath the partially synchronous system where the applications execute. This work details the implementation of a synchronous subsystem in an environment composed of standards PCs connected through a local area network and running an off-the-shelf operating system. Finally, although the implementation of perfect failure detectors by itself justify the development of such synchronous subsystem, we believe that stronger abstractions than the perfect failure detectors can be developed. We introduce one of these abstractions, the Global State Digest Provider, which allows faster solutions to the consensus problem, where processes try to agree in a proposed value.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGBRASILEIRO, Francisco Vilar.Brasileiro, F.V.http://lattes.cnpq.br/5957855817378897MELCHER, Elmar Uwe Kurt.LIMA, George Marconi de Araújo.BRITO, Andrey Elísio Monteiro.2004-02-202020-01-16T17:59:27Z2020-01-162020-01-16T17:59:27Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009BRITO, A. E. M. Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas. 2004. 102 f. Dissertação (Mestrado em Informática) – Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Paraíba, Brasil, 2004. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009porinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCG2022-03-22T13:00:11Zoai:localhost:riufcg/11009Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512022-03-22T13:00:11Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.none.fl_str_mv Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
A hybrid architecture for supporting fault tolerant distributed protocols.
title Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
spellingShingle Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
BRITO, Andrey Elísio Monteiro.
Sistemas Distribuídos
Tolerância a Falhas
Sistemas Síncronos
Protocolos de Consenso
Sistemas Embarcados
Distributed Systems
Fault Tolerance
Synchronous Systems
Consensus Protocols
Embedded Systems
Ciência da Computação
title_short Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
title_full Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
title_fullStr Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
title_full_unstemmed Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
title_sort Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas.
author BRITO, Andrey Elísio Monteiro.
author_facet BRITO, Andrey Elísio Monteiro.
author_role author
dc.contributor.none.fl_str_mv BRASILEIRO, Francisco Vilar.
Brasileiro, F.V.
http://lattes.cnpq.br/5957855817378897
MELCHER, Elmar Uwe Kurt.
LIMA, George Marconi de Araújo.
dc.contributor.author.fl_str_mv BRITO, Andrey Elísio Monteiro.
dc.subject.por.fl_str_mv Sistemas Distribuídos
Tolerância a Falhas
Sistemas Síncronos
Protocolos de Consenso
Sistemas Embarcados
Distributed Systems
Fault Tolerance
Synchronous Systems
Consensus Protocols
Embedded Systems
Ciência da Computação
topic Sistemas Distribuídos
Tolerância a Falhas
Sistemas Síncronos
Protocolos de Consenso
Sistemas Embarcados
Distributed Systems
Fault Tolerance
Synchronous Systems
Consensus Protocols
Embedded Systems
Ciência da Computação
description A maioria das infra-estruturas disponíveis para implantação de aplicações distribuídas são caracterizadas pela ausência de limites superiores conhecidos nos atrasos de transmissão de mensagens e de escalonamento de processos, i.e. elas são sistemas assíncronos. Esses sistemas são tidos como o melhor ambiente para o desenvolvimento de aplicações devido à portabilidade e escalabilidade decorrente da falta de considerações temporais fortes sobre o sistema. Entretanto, alguns dos mais fundamentais problemas dos sistemas distribuídos não podem ser resolvidos nesses sistemas quando estes estão sujeitos a falhas. Os sistemas síncronos, por outro lado, permitem soluções triviais para os problemas básicos dos sistemas distribuídos tolerantes a falhas. Isso acontece porque eles garantem um atraso máximo conhecido no escalonamento de processos e nos atrasos na transmissão de mensagens. Entretanto, a maior parte dos sistemas práticos não são síncronos, e isso motivou a criação de modelos intermediários entre esse dois tipos, chamados de modelos parcialmente síncronos. Um dos mais populares modelos parcialmente síncronos é o modelo assíncrono equipado com detectores de falhas não confiáveis. Neste modelo cada processo possui acesso a um módulo que pode fornecer informações sobre quais processos falharam. Entre os detectores de falhas propostos, o detector de falhas com semântica perfeita é o mais forte e o único que não comete erros (por exemplo, suspeitando de processos que não falharam). Infelizmente, detectores de falhas perfeitos só podem ser implementados em sistemas síncronos. Como algumas aplicações exigem detectores de falhas perfeito, estes detectores têm recebido uma crescente atenção na literatura. Para implementá-los, subsistemas síncronos de capacidade bastante limitada têm sido desenvolvidos sob o sistema parcialmente síncrono onde as aplicações executam. Este trabalho detalha a implementação de um subsistema síncrono em um ambiente assíncrono formado por uma rede de PCs conectados por uma rede local e executando um sistema operacional de prateleira. Finalmente, embora a implementação de detectores de falhas perfeitos, por si só justifique a implementação de um subsistema síncrono, nós acreditamos que abstrações mais fortes que os detectores de falhas perfeitos podem ser desenvolvidas. Apresentamos uma destas abstrações, o Compilador de Estados Globais, que possibilita soluções mais rápidas para o problema do consenso, onde vários processos tentam entrar em acordo sobre um valor proposto.
publishDate 2004
dc.date.none.fl_str_mv 2004-02-20
2020-01-16T17:59:27Z
2020-01-16
2020-01-16T17:59:27Z
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 http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009
BRITO, A. E. M. Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas. 2004. 102 f. Dissertação (Mestrado em Informática) – Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Paraíba, Brasil, 2004. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009
identifier_str_mv BRITO, A. E. M. Uma arquitetura híbrida para o suporte de protocolos distribuídos tolerantes a falhas. 2004. 102 f. Dissertação (Mestrado em Informática) – Centro de Ciências e Tecnologia, Universidade Federal de Campina Grande, Paraíba, Brasil, 2004. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/11009
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
publisher.none.fl_str_mv Universidade Federal de Campina Grande
Brasil
Centro de Engenharia Elétrica e Informática - CEEI
PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO
UFCG
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1809744429332824064