292
правки
Изменения
Нет описания правки
|definition=
Предикат $P$ является '''локальным''', если он зависит только от состояния одного конкретного процесса.
Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).
}}
Если у нас нестабильный предикат, но являющийся дизъюнкцией локальных предикатов, то надо просто попросить каждый процесс отследить свой локальный предикат на протяжении некоторого интервала и узнать, выполнялся ли там предикат хотя бы у одного.
