TOLERÂNCIA A FALTAS DISTRIBUÍDA
Licenciatura e Mestrado em Informática,
2003/2004 - 1 Semestre
Sumários das aulas teóricas (previsão)
- Aula 1: Fundamentos. Tolerância a
faltas distribuída. Terminologia. Confiança no
funcionamento. Recuperação para a
frente. Recuperação para trás. Blocos de
recuperação. Diagnóstico.
- Aula 2: Máquina de estados
distribuída. Comunicação fiável. Ordem total e causal.
- Aula 3: Difusão fiável regular e
uniforme.
- Aula 4: Sistemas assíncronos. Acordo
uniforme em sistemas assíncronos.
- Aula 5: Sistemas assíncronos. Acordo
uniforme em sistemas assíncronos. Algoritmo de Chandra e Toueg.
- Aula 6: Ordem total usando acordo
distribuído. Confirmação atómica. Filiação em grupo. Sincronia
virtual. Programando usando a sincronia virtual.
- Aula 7: Acordo Bizantino.
- Aula 8: Algoritmos de sincronização de
relógios tolerantes a faltas.
- Aula 9: Estado coerente. Salvaguardas
periódicas. Histórico de mensagens. O modelo falha-recuperação.
- Aula 10: Transacções e recuperação.
- Aula 11: Registos regulares e registos
atómicos.
- Aula 12: Replicação de dados
optimista. Primário-secundário. Cópias disponíveis. Último
processo a falhar.
- Aula 13: Replicação de dados
pessimista. Quorums. Quorums dinâmicos.
- Aula 14: Aplicações. Clusters. Tolerância
a falas em sistemas CORBA.
Sumários das aulas teórico-práticas (previsão)
- Aula 1: Apresentação da
avaliação. Apresentação do projecto. Introdução ao sistema
Appia.
- Aula 2: Introdução ao Appia.
- Aula 3: Como fazer relatórios
- Aula 4: Utilização do Appia.
- Aula 5: Difusão melhor-esforço, fiável e uniforme.
- Aula 6: Ordem causal.
- Aula 7: Consenso e difusão com terminação
- Aula 8: Filiação em grupo. Sincronia virtual.
- Aula 9: Ordem total. Eleição e exclusão mútua.
- Aula 10: Modelo falha-recuperação.
- Aula 11: Modelo probabilista.
- Aula 12: Registos.
Luís Rodrigues