Распределенные логические часы

Логические часы используются для фиксации причинных зависимостей событий в распределенном вычислительном процессе.

Логические часы — это функция, которая принимает событие $e$ отображается во временную областьTTНекоторое значение в$T$$C\left(e\right)$ , а в случае$e$ временная метка.

若${е}_{}\to {е}_{}$, то $С\left({е}_{}\right)>С\left({е}_{}\right)$ , но не наоборот. Поэтому мы не можем судить о порядке, в котором произошли два события, исходя из размера метки времени.

Чтобы решить эту проблему, мы добавляем номер процесса к метке времени, обозначаемой как ${С}_{}\left(д\right)$ . Для двух процессов${п}_{}$и ${п}_{}$，若$я<j$ , называемый${п}_{}$Приоритет меньше, чем ${п}_{}$приоритет.

Обратите внимание, что приоритет процесса может быть указан произвольно, здесь для удобства понимания в качестве приоритета используется номер процесса.

这时, ${е}_{я}^{}\to {е}_{Дж}^{}\iff {С}_{}\left({е}_{я}^{}\right)<{С}_{}\left({е}_{Дж}^{}\right)илиС{}_{}\left({е}_{я}^{}\right)"="{С}_{}\left({е}_{Дж}^{}\right)ия\_<Дж$

Метод расчета логических часов:

• Начальное значение логических часов каждого процесса равно 0.
• если процесс $Когда\; в\; i$ происходит событие , значение его логических часов увеличивается на единицу, то есть${С}_{}"="{С}_{}+1$。
• Если процесс вы $я$ для обработки$Когда\; j$ отправляет сообщение, логическое значение часов процесса i сначала увеличивается на единицу, а затем${С}_{}$И сообщение отправляется в прошлое, процесс $j$ обновляет свои собственные логические часы как${С}_{}"="макс(С\_{}_{},{С}_{})+1$。