Что такое Lamport clock?

Логические часы Лампорта — простейший способ определить порядок событий в распределённой системе. Каждый процесс имеет счётчик. При локальном событии — инкремент. При отправке сообщения — прикладываем свой счётчик. При получении — берём max(свой, полученный) + 1. Если L(a) < L(b), событие a могло быть до b. Но не наоборот — одинаковые значения не значит одновременность. Для этого нужны vector clocks.