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

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

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

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

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

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


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

Косяков М.С. Введение в распределенные вычисления. – СПб: НИУ ИТМО, 2014. – 155 с- страницы 68-75