Processamento confiável no ambiente operacional Seljuk-Amoeba.
Ano de defesa: | 1998 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
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/8527 |
Resumo: | Construir aplicações distribuídas não e uma tarefa simples. Projetistas de tais sistemas tem seguido duas abordagens complementares para reduzir a complexidade de projeto, a saber: i) o uso de ferramentas de desenvolvimento apropriadas; e ii) a escolha da semântica de falha mais restritiva possível para os componentes que formam a camada de execução do sistema. O modelo Seljuk usa estas duas abordagens para especificar uma maneira estruturada de prover serviços para tolerância a faltas no contexto de ambientes operacionais distribuídos, facilitando assim a construção e execução de aplicações com requisites de confiança no funcionamento. Neste trabalho, seguindo o modelo Seljuk, e tomando o sistema operational distribuído Amoeba como substrato, nos apresentamos o projeto e a implementação do serviço de processamento confiável do Seljuk-Amoeba. Nossa proposta se baseia em estender a funcionalidade do serviço de processamento do Amoeba, criando um serviço de processamento confiável. O nosso objetivo e atingido através da introdução de um serviço de execução e pelo desenvolvimento de protocolos de gerencia de redundância no serviço de comunicação do Amoeba. O novo serviço de execução desempenha as funções tradicionais do serviço de execução do Amoeba e ainda prove mecanismos para a criação de unidades de processamento replicado. |