Глобальные свойства системы — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
Строка 5: Строка 5:
  
 
Стабильные предикаты можно формализовать следующим образом:
 
Стабильные предикаты можно формализовать следующим образом:
Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и тогда тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда.
+
 
 +
Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и только тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда.
  
 
Примеры стабильных предикатов: deadlock, termination, loss of token.
 
Примеры стабильных предикатов: deadlock, termination, loss of token.

Версия 13:45, 12 марта 2018

Глобальные свойства системы -- это предикаты, которые бывают двух видов:

  • стабильные предикаты
  • нестабильные предикаты

Стабильные предикаты можно формализовать следующим образом:

Пусть G и H согласованные срезы, будем говорить, что G <= H, если H достижимо из G. Тогда B стабильный предикат тогда и только тогда, когда ∀ G, H: G <= H : B(G) ⇒ B(H), т.е В стабильный предикат, если однажды дав true, то остается true навсегда.

Примеры стабильных предикатов: deadlock, termination, loss of token.