Relógios em sistemas Distribuídos e Tempo Lógico

13 março 2009, 15:00 Luís Antunes Veiga

Tempo lógico.

Relógios lógicos (Lamport).

Relógios vectoriais.

Causalidade entre eventos em sistemas distribuídos.

Relação HB happens before.

Exemplo de utilização de relógios vectoriais para assegurar entrega causal de mensagens.