Локально стабильный предикат — различия между версиями
(Новая страница: «Категория: Параллельное программирование Если локально-стабильный предикат истинен, т…») |
Rgolchin (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | + | Стабильный предикат называется '''локально стабильным''', если все процессы, участвующие в предикате не меняют свое состояние после того, как предикат удовлетворен. | |
| + | == Примеры == | ||
| + | * Предикат "процессы <tex>P</tex> и <tex>Q</tex> в дедлоке" локально стабилен; | ||
| + | * Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние процесса может меняться. | ||
Версия 22:53, 16 мая 2018
Стабильный предикат называется локально стабильным, если все процессы, участвующие в предикате не меняют свое состояние после того, как предикат удовлетворен.
Примеры
- Предикат "процессы и в дедлоке" локально стабилен;
- Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние процесса может меняться.
