TOLERÂNCIA A FALTAS DISTRIBUÍDA
Licenciatura e Pós-Graduação em Informática,
2004/2005
- 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. Serviços de suporte à replicação.
- Aula 3: Difusão fiável regular e
uniforme. Sincronia na vista.
- Aula 4: Ordenação de mensagens. Ordem
causal e ordem total.
- Aula 5: Acordo e acordo uniforme usando
um detector de falhas perfeito.
- Aula 6: Ordem total usando acordo
distribuído. Confirmação atómica. Difusão com terminação.
- Aula 7: Registos regulares e registos
atómicos.
- Aula 8: Sistemas assíncronois e
detectores de falhas imperfeitos. Consenso em sistemas
assínconos. Paxos..
- Aula 9: Acordo Bizantino. Algoritmos de
sincronização de relógios tolerantes a faltas.
- Aula 10: Transacções e replicação de
bases de dados.
- Aula 11: Replicação de dados
pessimista. Quorums. Quorums dinâmicos.
- Aula 12: Estado coerente. Salvaguardas
periódicas. Histórico de mensagens.
- Aula 13: 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: Introdução ao Appia. Utilização do Appia.
- Aula 4: Apresentação e discusão do artigo 1.
- Aula 5: Difusão epidémica.
- Aula 6: Apresentação e discusão do artigo 2.
- Aula 7: Consenso.
- Aula 8: Apresentação e discusão do artigo 3.
- Aula 9: Consenso (continuação).
- Aula 10: Acordo usando uma solução
probabilista.
- Aula 11: Apresentação e discusão do artigo 4.
- Aula 12: Modelo falha e recuperação.
Luís Rodrigues