Sumários
Replicação ativa
22 novembro 2019, 14:00 • Miguel Filipe Leitão Pardal
Replicação com consistência forte.
Replicação ativa: write-all-available, quorum consensus.
Quorum consensus com write-back.
Replicação fracamente consistente
20 novembro 2019, 10:00 • Miguel Filipe Leitão Pardal
Modelo de sistema.
Operações sobre o sistema replicado.
Exemplos de aplicações.
Resolução da anomalia de leituras inconsistentes pelo mesmo cliente.
Resolução da anomalia de violação de causalidade entre operações.
Replicação
15 novembro 2019, 14:00 • Miguel Filipe Leitão Pardal
Replicação.
Teorema CAP.
Protocolo Gossip: interrogações, atualizações e partilha baseada em vetor temporal.