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

Условие 1: если e_i и e_i' – два разных события одного и того же процесса P_i, и событие e_i наступает в P_i раньше события e_i', то Θ(e_i) < Θ(e_i'). Условие 2: если e_i и e_j' – взаимосвязанные события отправки и получения одного и того же сообщения, передаваемого из процесса P_i в
процесс P_j, то Θ(e_i) < Θ(e_j').
В случае, когда Θ и T удовлетворяют условию
e_i, e_j'  : e_i → e_j'  Θ(e_i) < Θ(e_j'),
логические часы называют строго непротиворечивыми (англ. strongly consistent).
Реализация механизма логических часов подразумевает

1. 
   определение структуры данных, поддерживаемой локально каждым процессом для представления логического времени из множества Т и хранения текущих показаний своих часов, и (2) описание метода продвижения логического времени, гарантирующего выполнение условия непротиворечивости.
   

В логических часах каждого процесса P_i часто выделяют две составляющие.

• 
  Логические локальные часы для измерения собственного хода выполнения процесса. То есть логические локальные часы используются процессом P_i для записи информации о ходе своего собственного выполнения.
  
• 
  Логические глобальные часы для описания локального представления процесса P_i о глобальном времени. То есть логические глобальные часы используются процессом P_i для записи информации о ходе выполнения других процессов. Логические глобальные часы позволяют процессу назначать непротиворечивые отметки времени для собственных событий.
  

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