Projeto ARGO

 

Tolerância a Falhas em Sistemas Distribuídos Assíncronos

(Tolérance aux Défaillances dans les Systèmes Répartis Asynchrones)

 

Coordenadores:

Raimundo José de Araújo Macêdo

Universidade Federal da Bahia – UFBa

 

Michel Hurfin

INRIA – Rennes – Campus Universitaire de Beaulieu

 

 

Resumos do Workshop

Resumo

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.

 

Informações Gerais

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.

 

Membros do LaSiD vinculados ao projeto:

Raimundo José de Araújo Macêdo (Coordenador)

Flávio Assis Silva

Aline Santos Andrade

Nivea de Carvalho Ferreira

Deise da Silva Côrtes

Críston Pereira de Souza

 

 

Objetivos e Motivações

Acompanhamento do Projeto

Referências Bibliográficas