A safety property intuitively impli

A safety property intuitively implies that “bad things never happen.” Different systems have different notions of what can be termed as a bad thing. Consider the history shown in Figure 5.1 and let a safety property be specified by the following statement: “the value of a certain integer variable temperature should never exceed 100.” If this safety property has to hold for a system, then it must hold for every state of the system. Thus, if we find that in state G temperature = 107, then we immediately conclude that the safety property is violated—we need not wait for what will happen to temperature after state G. To demonstrate that a safety property is violated, it is sufficient to demonstrate that it does not hold during an initial prefix of a behavior. Many safety properties can be specified as an invariant over the global state of the system. What follows are some examples of safety properties in well-known synchronization problems.
Mutual exclusion: Consider a number of processes trying to periodically enter a critical section. Once a process successfully enters the critical section, it is expected to do some work, exit the critical section, and then try for a reentry later. The program for a typical process has the following structure:

Результаты (русский) 1:

Свойства безопасности интуитивно подразумевает, что «плохие вещи никогда не случится.» Различные системы имеют разные понятия того, что можно назвать как плохая вещь. Рассмотрим историю, показано на рисунке 5.1 и пусть безопасности свойство быть следующее заявление: «значение определенной переменной температуры целочисленного никогда не должна превышать 100». Если это свойство безопасности провести для системы, то он должен иметь для каждого состояния системы. Таким образом, если мы находим, что температура состояния G = 107, то мы сразу же вывод о нарушении безопасности свойство — нам не нужно ждать, что произойдет до температуры после государства г. Чтобы продемонстрировать, что свойство безопасности нарушается, достаточно, чтобы продемонстрировать, что она не проводила начальный префикс поведения. Многие свойства безопасности могут быть указаны как инвариант над глобальным состоянием системы. Ниже приведены некоторые примеры свойств безопасности в известных синхронизации проблем.Взаимное исключение: рассмотрим ряд процессов, чтобы периодически войти в критическую секцию. После того, как процесс успешно вводит критический раздел, ожидается, чтобы сделать некоторую работу, выход из критической секции, а затем повторите для спускаемого позже. Программа для типичного процесса имеет следующую структуру:

Результаты (русский) 2:

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

Результаты (русский) 3:

а безопасность собственности интуитивно предполагает, что "плохие вещи никогда не случится." различных систем имеют различные представления о том, что можно было бы сказать, что плохо.рассматривать историю как показано на рисунке 1 и пусть безопасность имущества уточняется следующее заявление: "значение некоторых целое переменная температура не должна превышать 100. - если это безопасность имущества провести для системы, то он должен провести для каждого состояния системы.таким образом, если мы выясним, что в штате G температура = 107, тогда мы немедленно заключить, что безопасность имущества, нарушается, мы не должны ждать, что произойдет после того, как государство г. температура продемонстрировать, что безопасность имущества, нарушается, достаточно, чтобы доказать, что он не проводит в ходе первоначального префикс поведение.многие характеристики безопасности может быть указан в качестве инвариант за состояние системы.ниже приводятся некоторые примеры характеристики безопасности в известных синхронизации проблем.Mutual Exclusion: рассмотреть ряд процессов, пытаясь периодически вступают в критические секции.после того, как процесс успешно проявляется критическая секция, как ожидается, поработать, выход критического раздел, а затем попробовать "позже.программа для обычного процесса имеет следующую структуру: