1632
правки
Изменения
м
Если {{Определение|definition=[[Глобальные свойства системы|Стабильный предикат]] называется '''локально стабильным''', если все процессы, участвующие в предикате, не меняют свое ''состояние'' после того, как предикат удовлетворен.}}== Примеры ==* Предикат "процессы <tex>P</tex> и <tex>Q</tex> ждут друг друга" локально стабилен, потому что они ничего не делают;* Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не ''локально'' стабилен, потому что из-за получения / отправки токена состояние процесса может меняться. == Поиск ==Находим [[Барьерная синхронизация (3 алгоритма)|барьерно-стабильный синхронизированный интервал]] $[F, G]$.Если предикат истиненвыполняется просто в $F$, в $G$ или в обоих, то существуют процессыэто ещё ничего не значит — эти срезы могут не быть согласованными.Однако если предикат выполнялся в $F$, и состояния всех процессов, участвующих в предикате, состояние которых меняться не будетпоменялись между $F$ и $G$, то мы знаем, что предикат выполнялся на всех срезах между $F$ и $G$, включая обязательно существующий там согласованный.Это более сильное требование, чем просто "предикат выполнялся в F и в G".
rollbackEdits.php mass rollback
[[Категория: Параллельное программирование]]
