Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
'''Логическими часами Лампорта''' называется функция из множества событий распределенного вычисления распределенных систем (внутреннее событие, событие отправки сообщения и событие приема сообщения) в множество неотрицательных целых чисел.
Часы Лампорта присваивают каждому событию единственное число, монотонно увеличивая счётчик каждого процесса согласно следующим правилам: