TOLERÂNCIA A FALTAS DISTRIBUÍDA

Licenciatura e Mestrado em Informática,
2002/2003 - 2 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 causal. Ordem Total. Filiação em grupo. Sincronia virtual. Programando usando a sincronia virtual.
• Aula 3: Sistemas assíncronos. Acordo uniforme em sistemas assíncronos. Algoritmo de Chandra e Toueg.
• Aula 4: Ordem total usando acordo distribuído. Confirmação atómica.
• Aula 5: Difusão uniforme em sistemas síncronos. Acordo Bizantino.
• Aula 6: Algoritmos de sincronização de relógios tolerantes a faltas.
• Aula 7: Estado coerente. Salvaguardas periódicas. Histórico de mensagens. O modelo falha-recuperação.
• Aula 8: Transacções e recuperação.
• Aula 9: Registos regulares e registos atómicos.
• Aula 10: Replicação de dados optimista. Primário-secundário. Cópias disponíveis. Último processo a falhar.
• Aula 11: Replicação de dados pessimista. Quorums.
• Aula 12: 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: Como fazer relatórios.
• Aula 3: Difusão melhor-esforço, fiável e uniforme.
• Aula 4: Ordem causal.
• Aula 5: Consenso e difusão com terminação
• Aula 6: Filiação em grupo. Sincronia virtual.
• Aula 7: Ordem total. Eleição e exclusão mútua.
• Aula 8: Debate dos trabalhos.
• Aula 9: Debate dos trabalhos.
• Aula 10: Registos.
• Aula 11: Modelo falha-recuperação. Modelo probabilista.