Difusão Síncrona Totalmente Ordenada de Mensagens em Sistemas Assíncronos Temporizados

O mecanismo de difusão totalmente ordenada (DTO) de mensagens em sistemas distribuídos assíncronos é fundamental para a construção de aplicações distribuídas tolerantes a falhas. Essencialmente, o mecanismo garante que mensagens enviadas para um conjunto de processos são entregues por todos os processos na mesma ordem total. O problema de difusão totalmente ordenada pode ser reduzido ao problema de consenso distribuído, um outro problema fundamental em algoritmos distribuídos. Mecanismos que implementam soluções para ambos os problemas apresentam diferentes desempenhos e níveis de tolerância a falhas, em função do modelo de computação considerado em seu desenvolvimento. Neste projeto apresentamos um protocolo de difusão síncrona totalmente ordenada de mensagens (DSTO), desenvolvido modularmente e com ênfase em desempenho. O protocolo é direcionado ao ambiente computacional de aglomerados dedicados ao processamento distribuído, cujo comportamento temporal é descrito pelo modelo assíncrono temporizado de computação. A partir de tais premissas, desenvolvemos uma camada de comunicação, que permite que se organize a execução distribuída como uma sequência de etapas síncronas de computação. O protocolo opera sobre esta camada de comunicação e tem seu progresso associado ao comportamento síncrono do sistema, mas garante que a propriedade de ordenação das mensagens seja mantida, mesmo quando processos e canais de comunicação operam assincronamente.

2011