Глобальные свойства системы — различия между версиями
| Строка 1: | Строка 1: | ||
[[Категория: Параллельное программирование]] | [[Категория: Параллельное программирование]] | ||
| − | '''Глобальные свойства системы''': | + | '''Глобальные свойства системы''' -- это предикаты, которые бывают двух видов: |
| − | * | + | * стабильные предикаты |
| − | * | + | * нестабильные предикаты |
| − | Примеры стабильных | + | Стабильные предикаты можно формализовать следующим образом: |
| + | Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и тогда тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда. | ||
| + | |||
| + | Примеры стабильных предикатов: deadlock, termination, loss of token. | ||
Версия 13:44, 12 марта 2018
Глобальные свойства системы -- это предикаты, которые бывают двух видов:
- стабильные предикаты
- нестабильные предикаты
Стабильные предикаты можно формализовать следующим образом: Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и тогда тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда.
Примеры стабильных предикатов: deadlock, termination, loss of token.
