Artigos para Leitura
Distributed Snapshots: Determining
Global States of a Distributed System
(with Mani Chandy) ACM
Transactions on Computer Systems 3, 1 (February, 1985), 63-75.
Lamport, L. (1978). "Time,
clocks, and the ordering of events in a distributed system". Communications of the ACM 21 (7): 558–565.
paxos
made simple by Leslie Lamport 2001 (para aula do dia 19/4)
Notas de Aula
C:\Documents and Settings\macedo\Desktop\MinhaWeb\aula FSD 2012 onceitos basicos e modelos.pdf
C:\Documents and Settings\macedo\Desktop\MinhaWeb\aula FSD 2012 relogios logicos.pdf
Projeto (três semanas a partir do dia 12/4)
Programar o algoritmo de terminação distribuída usando Anel (Dijkstra, Feijen, and Van Gasteren)
A demonstração tem que envolver mais de uma máquina em rede. Usem a criatividade para representar a passagem do token e transmissões de mensagem que invalidam uma rodada de terminação