Часы Лэмпорта

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Часы Лампорта — алгоритм определения порядка событий в распределённой системе (Логические часы), разработанный Лэсли Лэмпортом в 1978 году, является прообразом векторных часов.

Так как синхронизировать все узлы полностью невозможно, на множестве событий вводится отношение частичного порядка. Часы Лэмпорта присваивают каждому событию единственное число, монотонно увеличивая счётчик каждого процесса согласно следующим правилам:

  • счётчик увеличивается перед каждым внутренним событием процесса;
  • при отправке сообщения значение счётчика прикрепляется к сообщению;
  • при получении сообщения значение счётчика процесса-получателя выставляется в максимум текущего и полученного значения и увеличивается на 1.

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]