292
правки
Изменения
Нет описания правки
[[Категория: Параллельное программирование]]
'''Глобальные свойства системы''' -- — это предикатыот согласованных срезов системы (состояния процессов плюс сообщения в пути), которые бывают двух видов:* стабильные предикаты ;* нестабильные предикаты.
{{Определение|definition=Предикат $P$ является '''нестабильным''', если он не является стабильным.}}Нестабильные предикаты это, соответственносложно искать, предикатыпотому что может быть множество разных согласованных срезов, которые не удовлетворяют условию стабильного предикатавкладываются друг в друга.Поэтому просто снять несколько согласованных срезов не поможет: мы можем не попасть в нужный.{{Определение|definition=Предикат $P$ является '''локальным''', если он зависит только от состояния одного конкретного процесса.Например, если у процесса есть состояние (переменная) x, то локальным предикатом может быть (x < 0).}}Если у нас нестабильный предикат, но являющийся дизъюнкцией локальных предикатов, то надо просто попросить каждый процесс отследить свой локальный предикат на протяжении некоторого интервала и узнать, выполнялся ли там предикат хотя бы у одного.