Введение в распределенные

Правило 1: перед выполнением любого события процесс P_i
увеличивает показания своих локальных часов V_i[i]:
V_i[i] = V_i[i] + d, где d > 0.
Как и для случая скалярного времени, каждый раз d может принимать любые значения. Однако обычно d всегда полагают равным единице.
Перед выполнением события получения сообщения процесс вынужден произвести немного другие действия согласно следующему правилу.
Правило 2: в каждое передаваемое сообщение добавляется значение векторного времени V_i процесса-отправителя P_i на момент отправки этого сообщения. Когда процесс P_j получает сообщение с отметкой времени V_msg, он выполняет следующие шаги:

1. 
   обновляет свое логическое глобальное время по правилу:
   

V_j[k] = max(V_j[k], V_msg[k]), 1 ≤ k ≤ N;

2. 
   исполняет Правило 1;
   
3. 
   доставляет сообщение и приступает к его обработке.
   

Компоненты векторного времени V_i[k] инициализируется нулем, 1 ≤ k ≤ N.
Нетрудно видеть, что представленные Правила 1 и 2 вместе с введенным отношением строгого порядка < на множестве векторных отметок времени удовлетворяют Условиям 1 и 2 непротиворечивости логических часов, т.е. такие векторные часы являются непротиворечивыми:
e_i, e_j'  : e_i → e_j'  V(e_i) < V(e_j').
Пример работы алгоритма векторных часов для d = 1 приведен на рис. 3.6. Рядом с каждым событием представлена его отметка времени. На стрелках указаны отметки времени, передаваемые с сообщениями.

Рис. 3.6. Пример работы алгоритма векторных часов.

1.