Detecção de propriedades estaveis em sistemas distribuidos

Detalhes bibliográficos
Autor(a) principal: Craveiro, Gisele da Silva
Data de Publicação: 1998
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
Texto Completo: https://hdl.handle.net/20.500.12733/1585991
Resumo: Orientador: Ricardo de Oliveira Anido
id UNICAMP-30_8367088fae0acb068255339087872a8a
oai_identifier_str oai::129847
network_acronym_str UNICAMP-30
network_name_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository_id_str
spelling Detecção de propriedades estaveis em sistemas distribuidosSistemas operacionais distribuídos (Computadores)Algoritmos de computadorOrientador: Ricardo de Oliveira AnidoDissertação (mestrado) - Universidade Estadual de Campinas, Instituto de ComputaçãoResumo: Elaborar uma solução para um problema distribuído que atenda aos critérios de segurança e progresso está muito longe de ser uma tarefa trivial. Nem mesmo algoritmos publicados escaparam de contestação posterior, mostrando que são incorretos. Com o objetivo de encontrar uma modelagem mais adequada, alguns pesquisadores tomam a direção das derivações. Verificando comportamentos similares e características comuns, pretende-se desenvolver um método que facilite o projeto de algoritmos distribuídos para resolver problemas que apresentem algumas similaridades. Uma característica muito importante comum a certos problemas é a propriedade da estabilidade, isto é, se o problema ocorre, ele persistirá até que seja detectado e tratado. Assim acontece com deadlocks e quando uma computação distribuída alcança o término de sua atividade. Esta dissertação concentra-se nos seguintes pontos. Do estudo das áreas de deadlock e terminação distribuídos resulta a apresentação da modelagem de cada problema, uma visão em largura das abordagens propostas para a detecção do deadlock distribuído e para a detecção da terminação distribuída e a discussão mais detalhada de alguns algoritmos propostos para esses dois problemas. Às contribuições citadas soma-se a proposição de um método que derive soluções para o problema da terminação distribuída a partir de algoritmos para a detecção do deadlock, preservando as propriedades de segurança e progresso da solução baseAbstract: Devising a solution to a distributed problem, satisfying the requirements of progress and safety is clearly not an easy task. Several published algorithms have been shown incorrect, despite having been "proven" correct at time of publication. An interesting approach to devise a new solution to a problem is to use a known solution to a different problem that has similar requirements and characteristics. In this dissertation we present a methodology to derive solutions to the problem of detecting the termination of a distributed computation based on solutions to the deadlock problem. A common characteristic of these problems is that both are persistent: once attained the condition of deadlock or termination, the condition will hold thereafter, until some external action is taken. Besides presenting the derivation methodology, this dissertation presents a broad study of the more interesting solutions to the deadlock and termination problems found in the literatureMestradoMestre em Ciência da Computação[s.n.]Anido, Ricardo de Oliveira, 1956-Universidade Estadual de Campinas. Instituto de ComputaçãoPrograma de Pós-Graduação em Ciência da ComputaçãoUNIVERSIDADE ESTADUAL DE CAMPINASCraveiro, Gisele da Silva1998info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdf115f. : il.https://hdl.handle.net/20.500.12733/1585991CRAVEIRO, Gisele da Silva. Detecção de propriedades estaveis em sistemas distribuidos. 1998. 115f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585991. Acesso em: 8 mai. 2024.https://repositorio.unicamp.br/acervo/detalhe/129847porreponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)instname:Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMPinfo:eu-repo/semantics/openAccess2014-04-18T11:21:04Zoai::129847Biblioteca Digital de Teses e DissertaçõesPUBhttp://repositorio.unicamp.br/oai/tese/oai.aspsbubd@unicamp.bropendoar:2014-04-18T11:21:04Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)false
dc.title.none.fl_str_mv Detecção de propriedades estaveis em sistemas distribuidos
title Detecção de propriedades estaveis em sistemas distribuidos
spellingShingle Detecção de propriedades estaveis em sistemas distribuidos
Craveiro, Gisele da Silva
Sistemas operacionais distribuídos (Computadores)
Algoritmos de computador
title_short Detecção de propriedades estaveis em sistemas distribuidos
title_full Detecção de propriedades estaveis em sistemas distribuidos
title_fullStr Detecção de propriedades estaveis em sistemas distribuidos
title_full_unstemmed Detecção de propriedades estaveis em sistemas distribuidos
title_sort Detecção de propriedades estaveis em sistemas distribuidos
author Craveiro, Gisele da Silva
author_facet Craveiro, Gisele da Silva
author_role author
dc.contributor.none.fl_str_mv Anido, Ricardo de Oliveira, 1956-
Universidade Estadual de Campinas. Instituto de Computação
Programa de Pós-Graduação em Ciência da Computação
UNIVERSIDADE ESTADUAL DE CAMPINAS
dc.contributor.author.fl_str_mv Craveiro, Gisele da Silva
dc.subject.por.fl_str_mv Sistemas operacionais distribuídos (Computadores)
Algoritmos de computador
topic Sistemas operacionais distribuídos (Computadores)
Algoritmos de computador
description Orientador: Ricardo de Oliveira Anido
publishDate 1998
dc.date.none.fl_str_mv 1998
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/20.500.12733/1585991
CRAVEIRO, Gisele da Silva. Detecção de propriedades estaveis em sistemas distribuidos. 1998. 115f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585991. Acesso em: 8 mai. 2024.
url https://hdl.handle.net/20.500.12733/1585991
identifier_str_mv CRAVEIRO, Gisele da Silva. Detecção de propriedades estaveis em sistemas distribuidos. 1998. 115f. Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação, Campinas, SP. Disponível em: https://hdl.handle.net/20.500.12733/1585991. Acesso em: 8 mai. 2024.
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://repositorio.unicamp.br/acervo/detalhe/129847
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
115f. : il.
dc.publisher.none.fl_str_mv [s.n.]
publisher.none.fl_str_mv [s.n.]
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
instname:Universidade Estadual de Campinas (UNICAMP)
instacron:UNICAMP
instname_str Universidade Estadual de Campinas (UNICAMP)
instacron_str UNICAMP
institution UNICAMP
reponame_str Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
collection Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) - Universidade Estadual de Campinas (UNICAMP)
repository.mail.fl_str_mv sbubd@unicamp.br
_version_ 1798511557703892992

Registros relacionados