Coordenadores:Raimundo José de Araújo MacêdoUniversidade Federal da Bahia – UFBa
Michel HurfinINRIA – Rennes – Campus Universitaire de Beaulieu
|
Resumos do Workshop |
Mecanismos de tolerância a falhas são fundamentais para que aplicações em sistemas distribuídos, principalmente àquelas de segurança crítica – controle de tráfego aéreo, saúde pública, gerenciamento ambiental, etc. -, garantam operações seguras e previsíveis mesmo na ocorrência de falhas, evitando-se catástrofes ou prejuízos importantes.
Os mecanismos de replicação ativa, usualmente utilizados para assegurar tolerância a falhas nos sistemas distribuídos, são baseados no conceito de comunicação em grupo. O objetivo do projeto ARGO é conceber e desenvolver serviços de comunicação em grupo (difusão ordenada, gerenciamento de formação de grupos, sincronização nas mudanças da composição dos grupos, etc.), a partir de uma abordagem inovadora que permita limitar e controlar as disfunções típicas dos sistemas assíncronos (sem limites de tempo conhecidos para transferência de mensagens e velocidade relativa dos processos).
A originalidade de nossa abordagem reside no fato de todos os serviços de comunicação em grupo serem considerados como extensões de um problema de concordância mais elementar: o consenso distribuído. Ou seja, cada serviço em algum momento dependerá de uma decisão unânime (o consenso).
Este projeto visa obter como resultado principal a implementação de um protótipo capaz de garantir requisitos de confiabilidade num sistema distribuído assíncrono. Adicionalmente, adotaremos técnicas que levem requisitos temporais em consideração, permitindo, portanto, garantias de qualidade de serviço (QoS).
Nosso objetivo é associar propriedades QoS orientadas para o tempo ao nosso serviço de comunicação baseado em grupo. A incorporação de tais requisitos não é simplesmente uma questão de performance. De fato, aspectos temporais e de prognóstico são os requisitos não-funcionais fundamentais a serem alcançados. Pretende-se atacar, no mínimo, a questão geral de garantias probabilísticas dos aspectos temporais, cobrindo assim um aspecto fundamental ainda não explorado no escopo dos sistemas distribuídos assíncronos.
O Projeto ARGO teve início no mês de dezembro do ano 2000 e conta com o apoio financeiro do CNPq, no âmbito do Programa ProTeM-CC, em cooperação com o Institut de Recherche en Informatique et en Automatique – INRIA.
O projeto está previsto para 2 (dois) anos.
As tarefas referentes à parte brasileira de desenvolvimento do projeto serão realizadas por membros do LaSiD.