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

Правило 1: определяет, как процесс изменяет показания своих логических локальных часов при наступлении в нем любого события.
Правило 2: определяет, как процесс изменяет показания своих логических глобальных часов для отражения своего представления о ходе выполнения других процессов. Точнее говоря, это правило определяет, какая информация о текущем логическом времени процесса включается в каждое отправляемое им сообщение, и как процесс, получающий такое сообщение, использует эту информацию для обновления своего локального представления о глобальном времени.
Нетрудно видеть, что для гарантии непротиворечивости логических часов указанные Правила 1 и 2 должны соответственно удовлетворять Условиям 1 и 2, перечисленным выше.
Различные механизмы логических часов отличаются друг от друга как структурой данных, описывающей логическое время, так и методом его продвижения. Однако все они в той или иной форме реализуют
указанные Правила 1 и 2 для выполнения условия непротиворечивости и, иногда, обеспечивают некоторые дополнительные возможности.

2. Скалярное время Лэмпорта

Для линейного упорядочивания событий распределенного вычисления Л. Лэмпорт предложил использовать часовую функцию, отображающую множество событий распределенного вычисления в множество неотрицательных целых чисел. В этом случае логическое локальное время процесса P_i и его представление о логическом глобальном времени выражаются одной скалярной величиной, обозначаемой как L_i. Отметку времени произвольного события e_i будем обозначать через L(e_i).
Правила 1 и 2 продвижения логического времени определяются следующим образом.
Правило 1: перед выполнением любого события процесс P_i
увеличивает показания своих часов L_i:
L_i = L_i + d, где d > 0.
В общем случае d может принимать любое значение, каждый раз разное для каждого последующего события. Однако чаще всего значение d полагают всегда равным единице. Логические часы L_i инициализируется нулем.
Очевидно, что такое правило продвижения логического времени удовлетворяет Условию 1 непротиворечивости логических часов. Однако при получении сообщения кроме Условия 1 необходимо еще удовлетворить Условию 2. Поэтому перед выполнением события получения сообщения процесс вынужден произвести немного другие действия согласно следующему правилу.