Векторные часы

Логическими векторными часами называется функция из множества событий (прием/посылка сообщений) в вектор из целых чисел.

• Каждый поток имеет целочисленный n-мерный вектор (n – количество потоков), проинициализированный нулями.
• Перед посылкой/принятием сообщения, поток инкрементит свою компоненту вектора.
• При посылке сообщения к сообщению отправляющий поток добавляет свой вектор, а при приеме сообщения поток присваивает своей переменной покомпонентный максимум из полученного значения и значения собственной переменной.

Значением вышеупомянутой функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что векторное время уникально для каждого события.

Оказывается, что если в распределенной системе ввести частичный порядок предшествования на событиях, то имеет место следующее утверждение:
a предшествует b, тогда и только тогда, когда логическое время векторных часов события a меньше логического времени события b (при этом вектор x меньше вектора y, если для каждой компоненты выполяется [math]x_i \le y_i[/math] и [math]\exists j: x_j \lt y_j[/math]).

Важным свойством векторных часов в распределенных системах с введенным частичным порядком предшествования оказывается то, что при сравнении векторов времени двух событий достаточно сравнивать только компоненты процессов, которым эти события принадлежат.