Локально стабильный предикат — различия между версиями
Rgolchin (обсуждение | вклад) |
Yeputons (обсуждение | вклад) |
||
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | Стабильный предикат называется '''локально стабильным''', если все процессы, участвующие в предикате не меняют свое состояние после того, как предикат удовлетворен. | + | {{Определение |
| + | |definition= | ||
| + | [[Глобальные свойства системы|Стабильный предикат]] называется '''локально стабильным''', если все процессы, участвующие в предикате, не меняют свое ''состояние'' после того, как предикат удовлетворен. | ||
| + | }} | ||
== Примеры == | == Примеры == | ||
| − | * Предикат "процессы <tex>P</tex> и <tex>Q</tex> | + | * Предикат "процессы <tex>P</tex> и <tex>Q</tex> ждут друг друга" локально стабилен, потому что они ничего не делают; |
| − | * Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние процесса может меняться. | + | * Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не ''локально'' стабилен, потому что из-за получения / отправки токена состояние процесса может меняться. |
Версия 09:05, 3 июня 2019
| Определение: |
| Стабильный предикат называется локально стабильным, если все процессы, участвующие в предикате, не меняют свое состояние после того, как предикат удовлетворен. |
Примеры
- Предикат "процессы и ждут друг друга" локально стабилен, потому что они ничего не делают;
- Предикат "в системе не более одного токена" стабилен в системе, в которой не появляются новые токены, но не локально стабилен, потому что из-за получения / отправки токена состояние процесса может меняться.
