'''Логическими часами Лампорта''' называется целочисленная функция из множества событий (прием/посылка сообщений).
* Каждый поток имеет целочисленную переменнуюЧасы Лампорта присваивают каждому событию единственное число, проинициализированную 0.монотонно увеличивая счётчик каждого процесса согласно следующим правилам: * Перед посылкой, поток увеличивает ее на единицу. счётчик увеличивается перед каждым внутренним событием процесса;* При посылке при отправке сообщения значение счётчика прикрепляется к нему отправляющий поток добавляет значение своей переменной, а сообщению;* при приеме получении сообщения поток присваивает своей переменной значение счётчика процесса-получателя выставляется в максимум из текущего и полученного значения и значения собственной переменной и увеличивает ее увеличивается на единицу1.
Значением вышеупомянутой целочисленной функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что логическое время события не уникально (уникально только в рамках своего потока).
