Векторные часы и логическое время

Коротко: В распределённых системах часы расходятся. Логические часы (Лэмпорта) и векторные часы упорядочивают события по причине и следствию, а не по времени настенных часов.

Подробнее: Часы Лэмпорта — счётчик, увеличиваемый при каждом событии и каждом полученном сообщении. Он гарантирует: если A произошло до B, то время(A) < время(B). Обратное неверно. Векторные часы хранят счётчик на каждый узел и обнаруживают истинную конкурентность.