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.
Luís Rodrigues