Результаты (
русский) 2:
[копия]Скопировано!
Большинство полезных свойств системы могут быть классифицированы как живучести или безопасности
свойств.
5.2.1 свойства безопасности
Свойство безопасности интуитивно означает , что "плохие вещи никогда не произойдет». Различные системы имеют разные представления о том, что можно назвать как плохая вещь , Рассмотрим историю , показанную на рисунке 5.1 , и пусть свойство безопасности быть задан следующим утверждением: "значением некоторой целой переменной температура не должна превышать 100." Если это свойство безопасности должно выполняться для системы, то оно должно выполняться для каждое состояние системы. Таким образом, если мы находим , что в состоянии G температура = 107, то мы немедленно заключаем , что свойство безопасности нарушается, нам не нужно ждать, что будет происходить до температуры после того, как состояние G. Для того, чтобы продемонстрировать , что свойство безопасности нарушается, то достаточно чтобы продемонстрировать , что она не имеет места в течение начального префиксе поведения. Многие свойства безопасности могут быть определены как инвариант над глобальным состоянием системы. Ниже приведены некоторые примеры свойств безопасности в хорошо известных проблем синхронизации.
переводится, пожалуйста, подождите..
