Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.

Detalhes bibliográficos
Ano de defesa: 2000
Autor(a) principal: SAMPAIO, Lívia Maria Rodrigues.
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: por
Instituição de defesa: 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
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:
Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480
Resumo: Disponibilizar mecanismos para tolerância a faltas na forma de serviços, pode diminuir a complexidade no desenvolvimento de aplicações distribuídas com requisitos de confiança no funcionamento. Isto porque, seus projetistas poderão utilizar os serviços sem preocupar-se com qualquer detalhe de implementação referente aos mesmos. Neste trabalho foram propostos serviços de processamento tolerantes a faltas de hardware e software, os quais estão inseridos no contexto de sistemas distribuídos de prateleira. Estes sistemas caracterizam-se por não apresentarem limites conhecidos para os atrasos associados à transmissão de mensagens e escalonamento de tarefas, portanto, são sistemas assíncronos. Complementando a discussão sobre os serviços de processamento, foi feito um estudo acerca do nível de confiança no funcionamento que pode ser obtido através dos mesmos e abordadas algumas estratégias de implementação, além da definição do protocolo de ordenação responsável pela gerência da redundância no grupo de processadores replicados a partir do qual os serviços propostos são providos. Aplicações com requisitos de confiança no funcionamento são, em maior ou menor grau, críticas, dessa forma, exigem que a implementação dos serviços sobre os quais se apoiam seja devidamente validada. A fim de facilitar esta tarefa, vários modelos de sistema foram propostos na literatura, cada um apresentando vantagens e desvantagens. No caso dos serviços de processamento em questão, utilizou-se uma abordagem híbrida para facilitar o processo de validação. Esta abordagem combina as facilidades dos modelos de sistema assíncrono temporizado e assíncrono com detectores de falhas não confiáveis, já conhecidos, eliminando seus respectivos inconvenientes. A idéia é construir um modelo de sistema assíncrono temporizado estendido com serviços para detecção de falhas e difusão confiável de mensagens, permitindo a especificação de soluções práticas e simples. Os protocolos que implementam tais serviços foram definidos e validados, assegurando as características do modelo estendido requerido.
id UCB-2_57fa35e4e48e60adbeb199fc5de37f45
oai_identifier_str oai:localhost:riufcg/2480
network_acronym_str UCB-2
network_name_str Repositório Institucional da UCB
repository_id_str
spelling Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.Fault-tolerant processing services for distributed asynchronous systems.Tolerância a faltas - sistemasSistema assíncrono temporizadoMecanismos para tolerância a faltasHardware - tolerância a faltasSoftwares - tolerância a faltasSistemas distribuídos assíncronosFaltas dos processadores - computaçãoRedundância dos processadoresModelo assíncrono temporizadoDependabilityConfiança no funcionamento - computaçãoTimed asynchronous systemDistributed Asynchronous SystemsTimed asynchronous modelFault tolerance - systemsDisponibilizar mecanismos para tolerância a faltas na forma de serviços, pode diminuir a complexidade no desenvolvimento de aplicações distribuídas com requisitos de confiança no funcionamento. Isto porque, seus projetistas poderão utilizar os serviços sem preocupar-se com qualquer detalhe de implementação referente aos mesmos. Neste trabalho foram propostos serviços de processamento tolerantes a faltas de hardware e software, os quais estão inseridos no contexto de sistemas distribuídos de prateleira. Estes sistemas caracterizam-se por não apresentarem limites conhecidos para os atrasos associados à transmissão de mensagens e escalonamento de tarefas, portanto, são sistemas assíncronos. Complementando a discussão sobre os serviços de processamento, foi feito um estudo acerca do nível de confiança no funcionamento que pode ser obtido através dos mesmos e abordadas algumas estratégias de implementação, além da definição do protocolo de ordenação responsável pela gerência da redundância no grupo de processadores replicados a partir do qual os serviços propostos são providos. Aplicações com requisitos de confiança no funcionamento são, em maior ou menor grau, críticas, dessa forma, exigem que a implementação dos serviços sobre os quais se apoiam seja devidamente validada. A fim de facilitar esta tarefa, vários modelos de sistema foram propostos na literatura, cada um apresentando vantagens e desvantagens. No caso dos serviços de processamento em questão, utilizou-se uma abordagem híbrida para facilitar o processo de validação. Esta abordagem combina as facilidades dos modelos de sistema assíncrono temporizado e assíncrono com detectores de falhas não confiáveis, já conhecidos, eliminando seus respectivos inconvenientes. A idéia é construir um modelo de sistema assíncrono temporizado estendido com serviços para detecção de falhas e difusão confiável de mensagens, permitindo a especificação de soluções práticas e simples. Os protocolos que implementam tais serviços foram definidos e validados, assegurando as características do modelo estendido requerido.Providing fault tolerance mechanisms through services can decrease the complexity in developing dependable distributed applications. This is because the application programmer will be able to use the services without needing to know how these services were implemented . In this work we propose hardware and software fault-tolerant processing services for off-the-shelf distributed systems. In these systems there no upper bound for the message passing and communication delays, so, they are asynchronous systems. Further, we study the dependability degree that can be achieved using these services and present some implementation strategies. Finally, we defined a protocol for message ordering which is required for managing redundancy into the group of replicated processors over which the processing services are built. Dependable applications are, in a lesser or greater extent, critical. This fact yields the necessity of validating the implementation of all the services being used by these applications. In order to facilitate this task, a number of system models has been proposed in the literature, each one having its own advantages and disadvantages. In the case of the processing services being proposed in this work, we followed a hybrid approach that gathers the facilities of well know system models, the asynchronous system model with unreliable failure detectors and the timed asynchronous system model, eliminating their respective inconveniences. The objective is to obtain an extended timed asynchronous system model that allows the specification of simple and practical solutions. Such a model incorporates two extra services: an unreliable failure detection service and a reliable broadcast service. The protocols that implement these services are defined and validated, assuring the characteristics of the referred extended model.Universidade Federal de Campina GrandeBrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGFIGUEIREDO, Jorge Cesar Abrantes de.http://lattes.cnpq.br/1424808046858622FRAGA, Joni da Silva.http://lattes.cnpq.br/8679800047341353SAMPAIO, Lívia Maria Rodrigues.2000-102019-01-09T10:28:15Z2019-01-092019-01-09T10:28:15Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesishttp://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480SAMPAIO, Lívia Maria Rodrigues. Serviços de processamento tolerantes e faltas para sistemas distribuídos assíncronos. 91f. 2000. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 2000. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480porinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UCBinstname:Universidade Católica de Brasília (UCB)instacron:UCB2022-03-17T13:10:32Zoai:localhost:riufcg/2480Repositório InstitucionalPRIhttps://repositorio.ucb.br/oai/requestsara.ribeiro@ucb.bropendoar:2022-03-17T13:10:32Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)false
dc.title.none.fl_str_mv Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
Fault-tolerant processing services for distributed asynchronous systems.
title Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
spellingShingle Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
SAMPAIO, Lívia Maria Rodrigues.
Tolerância a faltas - sistemas
Sistema assíncrono temporizado
Mecanismos para tolerância a faltas
Hardware - tolerância a faltas
Softwares - tolerância a faltas
Sistemas distribuídos assíncronos
Faltas dos processadores - computação
Redundância dos processadores
Modelo assíncrono temporizado
Dependability
Confiança no funcionamento - computação
Timed asynchronous system
Distributed Asynchronous Systems
Timed asynchronous model
Fault tolerance - systems
title_short Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
title_full Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
title_fullStr Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
title_full_unstemmed Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
title_sort Serviços de processamento tolerantes a faltas para sistemas distribuídos assíncronos.
author SAMPAIO, Lívia Maria Rodrigues.
author_facet SAMPAIO, Lívia Maria Rodrigues.
author_role author
dc.contributor.none.fl_str_mv FIGUEIREDO, Jorge Cesar Abrantes de.
http://lattes.cnpq.br/1424808046858622
FRAGA, Joni da Silva.
http://lattes.cnpq.br/8679800047341353
dc.contributor.author.fl_str_mv SAMPAIO, Lívia Maria Rodrigues.
dc.subject.por.fl_str_mv Tolerância a faltas - sistemas
Sistema assíncrono temporizado
Mecanismos para tolerância a faltas
Hardware - tolerância a faltas
Softwares - tolerância a faltas
Sistemas distribuídos assíncronos
Faltas dos processadores - computação
Redundância dos processadores
Modelo assíncrono temporizado
Dependability
Confiança no funcionamento - computação
Timed asynchronous system
Distributed Asynchronous Systems
Timed asynchronous model
Fault tolerance - systems
topic Tolerância a faltas - sistemas
Sistema assíncrono temporizado
Mecanismos para tolerância a faltas
Hardware - tolerância a faltas
Softwares - tolerância a faltas
Sistemas distribuídos assíncronos
Faltas dos processadores - computação
Redundância dos processadores
Modelo assíncrono temporizado
Dependability
Confiança no funcionamento - computação
Timed asynchronous system
Distributed Asynchronous Systems
Timed asynchronous model
Fault tolerance - systems
description Disponibilizar mecanismos para tolerância a faltas na forma de serviços, pode diminuir a complexidade no desenvolvimento de aplicações distribuídas com requisitos de confiança no funcionamento. Isto porque, seus projetistas poderão utilizar os serviços sem preocupar-se com qualquer detalhe de implementação referente aos mesmos. Neste trabalho foram propostos serviços de processamento tolerantes a faltas de hardware e software, os quais estão inseridos no contexto de sistemas distribuídos de prateleira. Estes sistemas caracterizam-se por não apresentarem limites conhecidos para os atrasos associados à transmissão de mensagens e escalonamento de tarefas, portanto, são sistemas assíncronos. Complementando a discussão sobre os serviços de processamento, foi feito um estudo acerca do nível de confiança no funcionamento que pode ser obtido através dos mesmos e abordadas algumas estratégias de implementação, além da definição do protocolo de ordenação responsável pela gerência da redundância no grupo de processadores replicados a partir do qual os serviços propostos são providos. Aplicações com requisitos de confiança no funcionamento são, em maior ou menor grau, críticas, dessa forma, exigem que a implementação dos serviços sobre os quais se apoiam seja devidamente validada. A fim de facilitar esta tarefa, vários modelos de sistema foram propostos na literatura, cada um apresentando vantagens e desvantagens. No caso dos serviços de processamento em questão, utilizou-se uma abordagem híbrida para facilitar o processo de validação. Esta abordagem combina as facilidades dos modelos de sistema assíncrono temporizado e assíncrono com detectores de falhas não confiáveis, já conhecidos, eliminando seus respectivos inconvenientes. A idéia é construir um modelo de sistema assíncrono temporizado estendido com serviços para detecção de falhas e difusão confiável de mensagens, permitindo a especificação de soluções práticas e simples. Os protocolos que implementam tais serviços foram definidos e validados, assegurando as características do modelo estendido requerido.
publishDate 2000
dc.date.none.fl_str_mv 2000-10
2019-01-09T10:28:15Z
2019-01-09
2019-01-09T10:28:15Z
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/2480
SAMPAIO, Lívia Maria Rodrigues. Serviços de processamento tolerantes e faltas para sistemas distribuídos assíncronos. 91f. 2000. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 2000. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480
url http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480
identifier_str_mv SAMPAIO, Lívia Maria Rodrigues. Serviços de processamento tolerantes e faltas para sistemas distribuídos assíncronos. 91f. 2000. (Dissertação de Mestrado em Informática), Pós-Graduação em Informática, Centro de Ciências e Tecnologia, Universidade Federal da Paraíba, Campus II, Campina Grande - PB, 2000. Disponível em: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2480
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:Repositório Institucional da UCB
instname:Universidade Católica de Brasília (UCB)
instacron:UCB
instname_str Universidade Católica de Brasília (UCB)
instacron_str UCB
institution UCB
reponame_str Repositório Institucional da UCB
collection Repositório Institucional da UCB
repository.name.fl_str_mv Repositório Institucional da UCB - Universidade Católica de Brasília (UCB)
repository.mail.fl_str_mv sara.ribeiro@ucb.br
_version_ 1834013144629903360