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

Материал из Википедии — свободной энциклопедии
(перенаправлено с «Временные метки Лампорта»)
Перейти к: навигация, поиск

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

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

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

Ссылки[править | править исходный текст]