Disciplina Curricular
Tolerância a Faltas Distribuída TFD
Diploma de Estudos Avançados em Segurança de Informação - DEASegInf2007
Peso
6.0 (para cálculo da média)
Objectivos
Compreender os problemas fundamentais que se colocam no desenvolvimento de aplicações distribuídas e seguras tolerantes a faltas. Aprender um conjunto de abstracções chave para suportar o desenvolvimento de aplicações distribuídas tolerantes a faltas. Aprender a aplicar estas abstracções através da experiência prática.
Programa
A fiabilidade e disponibilidade são hoje atributos fundamentais a ter em conta na concepção, concretização e instalação de sistemas distribuídos. No entanto, é surpreendentemente difícil assegurar a cooperação robusta entre processos quando estes podem falhar ou exibir um comportamento Bizantino. Para permitir que o arquitecto de sistema domine esta complexidade, o curso introduz um conjunto de abstracções fundamentais para o suporte ao desenvolvimento de aplicações distribuídas confiáveis e descreve os algoritmos que as concretizam. Nomeadamente, abordam-se os seguintes temas: - Abstracções básicas: processos, elos, detectores de falhas. - Difusão fiável: difusão melhor-esforço, regular, uniforme, probabilista, causal e Bizantina. - Memória partilhada: registos regulares e registos atómicos. Registos Bizantinos. - Consenso distribuído e acordo Bizantino. - Variantes do consenso: difusão totalmente ordenada, difusão com terminação, confirmação atómica, filiação em grupo, sincronia na vista. - A moldura de comunicação em grupo Appia. Durante o curso, os alunos irão também desenvolver um projecto que lhes permitirá aplicar estas abstracções na prática.
Metodologia de avaliação
Participação nas aulas (30%), exame (70%). Projecto opcional.