Uma exploração do papel da sincronia no desempenho de Paxos

• Processo: 13/21651-0
• Modalidade de apoio: Bolsas no Exterior - Estágio de Pesquisa - Doutorado Direto
• Data de Início da vigência: 01 de maio de 2014
• Data de Término da vigência: 30 de abril de 2015
• Área de conhecimento: Ciências Exatas e da Terra - Ciência da Computação - Sistemas de Computação
• Pesquisador responsável: Luiz Eduardo Buzato
• Beneficiário: Daniel Cason
• Supervisor: Fernando Pedone
• Instituição Sede: Instituto de Computação (IC). Universidade Estadual de Campinas (UNICAMP). Campinas , SP, Brasil
• Instituição Anfitriã: Università della Svizzera italiana, Suíça
• Vinculado à bolsa: 11/23705-4 - Difusão totalmente ordenada de mensagens: uma exploração do papel da sincronia no desempenho de Paxos, BP.DD
• Assunto(s): Sistemas distribuídos Tolerância a falhas Replicação de dados
• Palavra(s)-Chave do Pesquisador: Consenso Distribuído | Difusão Totalmente Ordenada de Mensagens | Replicação de Dados | Sistemas Distribuídos | Tolerância a Falhas | Tolerância a Falhas em Sistemas Distribuídos

Resumo

Difusão Totalmente Ordenada e Consenso constituem o núcleo de soluções práticas para a implementação de aplicações distribuídas com alta disponibilidade baseadas em replicação ativa. Em particular, em sistemas assíncronos de computação em que processos podem falhar, estes dois problemas são equivalentes: emprega-se instâncias de consenso para determinar a sequência ordenada de mensagens que deverá ser entregue por todos os processos. Paxos é um algoritmo de consenso destinado ao modelo assíncrono de computação com falhas-e-recuperação, aumentado com mecanismos de detecção de falhas. Ao se empregá-lo para gerar uma ordenação total das mensagens difundidas, se garante que o estado de nenhuma réplica irá divergir do das demais, mesmo na presença de falhas e de comportamento assíncrono de processos e canais. Neste projeto estamos interessados em explorar o comportamento de Paxos no contexto alternativo do modelo assíncrono temporizado de computação, aumentado por um mecanismo simples, baseado na difusão de pulsos, para a sincronizar a execução dos processos. O nosso objetivo é verificar se é possível desenvolver uma variação de Paxos para este ambiente computacional, que se aproveite da sincronia por ele apresentada para obter maior desempenho na ordenação de mensagens, sem com isto violar as garantias de segurança do algoritmo original. (AU)