Логические часы
Для синхронизации логических часов Lamport определил отношение "произошло до". Выражение 1. Если оба события произошли в одном процессе. 2. Если событие a есть операция SEND в одном процессе, а событие b - прием этого сообщения другим процессом. Отношение Если два события x и y случились в различных процессах, которые не обмениваются сообщениями, то отношения Введем логическое время С таким образом, что если Алгоритм: 1. Часы 2. Если событие a есть посылка сообщения m процессом Для целей упорядочения всех событий удобно потребовать, чтобы их времена никогда не совпадали. Это можно сделать, добавляя в качестве дробной части к времени уникальный номер процесса (40.1, 40.2). Однако логических часов недостаточно для многих применений (системы управления в реальном времени).
|
читается как " a произошло до b " и означает, что все процессы согласны, что сначала произошло событие " a ", а затем " b ". Это отношение может в двух случаях быть очевидным:
является транзитивным.
и 
являются неверными, а эти события называют одновременными.
.
увеличивают свое значение с каждым событием в процессе 
: 
(
, обычно равно 1).
. В момент получения этого сообщения процессом 
его время корректируется следующим образом: 
.
