Векторні годинники та логічний час

Коротко: У розподілених системах годинники розходяться. Логічні годинники (Лемпорта) і векторні годинники впорядковують події за причиною та наслідком, а не за часом настінного годинника.

Докладніше: Годинник Лемпорта — лічильник, що збільшується за кожної події й кожного отриманого повідомлення. Він гарантує: якщо A відбулося до B, то час(A) < час(B). Зворотне неправильне. Векторні годинники зберігають лічильник на кожен вузол і виявляють справжню конкурентність.

Подробиці

• Відбулося-до (→): частковий порядок: той самий…

Див. також: CRDT: реплікувані типи даних без конфліктів, реплікація: лідер і послідовник