Relógios Lógicos e Timestamps

UFMG - Pós-graduação em Ciência da Computação - Programação Paralela

Relógios lógicos[Lamport, 1978] são inteiros monotonamente crescentes conservados pelos sítios;
usados para etiquetar mensagens e para estabelecer prioridades;
o valor da etiqueta de uma mensagem - seu timestamp - é o valor corrente do relógio lógico no momento do envio;
a prioridade de uma requisição é o valor corrente do relógio lógico no momento da operação;
empates são costumeiramente resolvidos pelo número único do sítio;
podem ser incrementados a qualquer momento;
devem ser atualizados para permanecerem maiores que a etiqueta de qualquer mensagem recebida;
devem ser incrementados entre certos eventos;