TOLERÂNCIA A FALTAS DISTRIBUÍDA
Licenciatura e Pós-Graduação em Informática,
2005/2006 - 1 Semestre

Sumários das aulas teóricas (previsão)

• Aula 1: Apresentação da cadeira.
• Aula 2: Abstracções básicas: processos, comunicação, hipóteses temporais, abstraindo o tempo, modelos de sistemas distribuídos.
• Aula 3: Difusão melhor esforço. Difusão fiável regular e uniforme no modelo falha por paragem e falha silenciosa.
• Aula 4: Ordenação de mensagens. Ordem causal.
• Aula 5: Registos e sua semântica. Modelos de coerência de memória. Registos regulares no modelo falha por paragem e falha silenciosa.
• Aula 6: Registos atómicos no modelo falha por paragem e falha silenciosa.
• Aula 7: O problema do acordo distribuído. Acordo regular e uniforme no modelo de falha por paragem.
• Aula 8: O problema do acordo distribuído no modelo de falha silenciosa. Algoritmo do coordenador rotativo.
• Aula 9:
• Aula 8: O problema do acordo distribuído no modelo de falha silenciosa. Algoritmo de Paxos.
• Aula 10: Ordenação total de mensagens.
• Aula 11: Filiação em grupo. Confirmação atómica distribuída não bloqueante. Difusão com terminação.
• Aula 12: Sincronia virtual.
• Aula 13: Da teoria à prática. Aplicações. Clusters. Tolerância a falas em sistemas CORBA.

Sumários das aulas teórico-práticas (previsão)

• Aula 1: A máquina de estados replicada. Definição de máquina de estados. Como replicar uma máquia de estados. Serviços de suporte. Sincronia na vista.
• Aula 2: Apresentação do projecto. O que fazer e como fazer. Outras regras de funcionamento.
• Aula 3: Como fazer relatórios. Estrutura de um relatório técnico. Como escrever o texto.
• Aula 4: O núcleo do sistema Appia. Objectivos e funcionalidades das plataformas de suporte à composição e execução de protocolos.
• Aula 5: A pilha de protocolos de comunicação em grupo no sistema Appia. Serviços prestados. Breve descrição das diversas camadas e suas funcionalidades.
• Aula 6: Protocolos epidémicos. Principios dos protocolos de propagação epidémica. Vantagens e desvantagens. Exemplos.
• Aula 7: O modelo falha recuperação. Diferença para o modelo falha por paragem.
• Aula 8: Salvaguardas distribuídas. Corte coerente. Algoritmos coordenados para obtenção de conjuntosa coerentes de salvaguardas.
• Aula 9: Transformações com registos. Como obter um registo atómico utilizando registos regulares.
• Aula 10: Acordo usando uma solução probabilista.
• Aula 11: Falhas Bizantivas. O problema do acordo Bizantino. Aplicações práticas.
• Aula 12: Repliação de bases de dados. Utilização dos conceitos leccionados na cadeira em sistemas comerciais.