O Algoritmo de Lamport: Relógios Lógicos e Timestamps

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;