Desenvolvimento e teste de algoritmos distribuídos

• Processo: 94/03667-3
• Modalidade de apoio: Bolsas no Exterior - Pesquisa
• Data de Início da vigência: 01 de dezembro de 1994
• Data de Término da vigência: 30 de novembro de 1995
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Ricardo de Oliveira Anido
• Beneficiário: Ricardo de Oliveira Anido
• Pesquisador Anfitrião: Ana Cavalli
• Instituição Sede: Instituto de Matemática, Estatística e Computação Científica (IMECC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Instituição Anfitriã: Institut National des Télécommunications (INT), França
• Assunto(s): Sistemas distribuídos Replicação de dados Falhas computacionais Algoritmos
• Palavra(s)-Chave do Pesquisador: Algoritmos Distribuidos | Replicacao De Dados | Testes | Tolerancia A Falhas

Resumo

Durante este ano sabático pretendo agregar o meu interesse principal de pesquisa, que consiste no desenvolvimento de novos algoritmos para problemas em computação distribuída, com o interesse principal do grupo de pesquisa que estarei visitando, que é desenvolver metodologia para teste de implementações de protocolos. O Institut National de Telecommunications (INT) recebe um grande subsídio para pesquisa da France Telecom. Isto faz com que o INT tenha um grande interesse em pesquisa aplicada, ao mesmo tempo que abre muitas possibilidades de pesquisa pela necessidade de resolver alguns problemas práticos de interesse imediato da France Telecom. Durante o período sabático pretendo dar ênfase a três aspectos de sistemas distribuídos: replicação, difusão confiável de dados e protocolos para validação de transações distribuídas. Estes três tópicos são interdependentes, na medida em que uma solução para um deles pode pressupor uma dada solução para um outro. Por exemplo, pode-se desenvolver algoritmos para manutenção de réplicas de objetos baseados no fato de que existe disponível uma solução para o problema da difusão confiável. Difusão confiável por sua vez, pode necessitar de algoritmos para validação de transação. (AU)