Логические часы Лампорта — различия между версиями
Ulyantsev (обсуждение | вклад) |
|||
| Строка 2: | Строка 2: | ||
'''Логическими часами Лампорта''' называется целочисленная функция из множества событий (прием/посылка сообщений). | '''Логическими часами Лампорта''' называется целочисленная функция из множества событий (прием/посылка сообщений). | ||
| − | + | Часы Лампорта присваивают каждому событию единственное число, монотонно увеличивая счётчик каждого процесса согласно следующим правилам: | |
| − | * | + | |
| − | * | + | * счётчик увеличивается перед каждым внутренним событием процесса; |
| + | * при отправке сообщения значение счётчика прикрепляется к сообщению; | ||
| + | * при получении сообщения значение счётчика процесса-получателя выставляется в максимум текущего и полученного значения и увеличивается на 1. | ||
Значением вышеупомянутой целочисленной функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что логическое время события не уникально (уникально только в рамках своего потока). | Значением вышеупомянутой целочисленной функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что логическое время события не уникально (уникально только в рамках своего потока). | ||
Версия 14:28, 23 февраля 2018
Логическими часами Лампорта называется целочисленная функция из множества событий (прием/посылка сообщений).
Часы Лампорта присваивают каждому событию единственное число, монотонно увеличивая счётчик каждого процесса согласно следующим правилам:
- счётчик увеличивается перед каждым внутренним событием процесса;
- при отправке сообщения значение счётчика прикрепляется к сообщению;
- при получении сообщения значение счётчика процесса-получателя выставляется в максимум текущего и полученного значения и увеличивается на 1.
Значением вышеупомянутой целочисленной функции на событии является значение переменной, принадлежащей тому же потоку, что и событие. Стоит заметить, что логическое время события не уникально (уникально только в рамках своего потока).
Оказывается, что если в распределенной системе ввести частичный порядок предшествования на событиях, то имеет место следующее утверждение:
- Если a предшествует b, то логическое время часов Лампорта события a меньше логического времени события b (обратное, вообще говоря, не верно).
