Although most useful properties of

Although most useful properties of a distributed system can be classified either as liveness or a safety property, there are properties that belong to neither of these two classes. Consider the statement, “there is a 90% probability that an earthquake of magnitude greater than 9.5 on the Richter scale will hit California before the year 2025.” This is neither a liveness nor a safety property.
An implicit assumption made in this chapter is that all well-behaved programs eventually terminate. This may not always be the case—particularly for open or dynamic systems. An open system (also called a reactive system) responds to changes in the environment. Many real-time systems like the telephone network or the air- traffic control network are open systems. A system that assumes the environment to be fixed is a closed system.
Correctness also depends on assumptions made about the underlying model. Such assumptions include program semantics, the choice of the scheduler, or the grain of atomicity. A given property may hold if we assume strong fairness, but may not hold if we assume weak fairness. Another property may be true only if we choose a coarse - grain atomicity but may cease to hold with fine-grain atomicity.

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

Хотя наиболее полезные свойства распределенной системы могут быть классифицированы как живучесть или свойства безопасности, есть свойства, которые принадлежат ни один из этих двух классов. Рассмотрим инструкцию, «есть 90% вероятность, что землетрясение магнитудой больше 9.5 по шкале Рихтера будет хит Калифорнии до 2025 года». Это не является ни живучесть, ни безопасности свойство.Неявное предположение, сделанные в этой главе является, что все хорошо себя программы в конечном счете прекращается. Это не всегда может быть дело — особенно для открытых или динамических систем. Открытая система (также называется реактивной системы) реагирует на изменения в окружающей среде. Многие системы реального времени, как телефонная сеть или сеть управления воздушным движением являются открытыми системами. Система, которая предполагает среду крепиться является закрытой системой.Корректность также зависит от предположений в отношении базовой модели. Такие предположения включают семантику программы, выбор планировщика или зерно атомарности. Данное свойство может содержать если мы себя сильную справедливость, но может не проводить, если мы предполагаем, слабая справедливость. Другое свойство может быть правдой, только если мы грубой - зерно атомарность но может перестать проводить с мелкозернистой атомарности.

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

Несмотря на то, что большинство полезных свойств распределенной системы могут быть классифицированы либо как живости или свойство безопасности, есть свойства , которые принадлежат ни к одному из этих двух классов. Рассмотрим утверждение " , есть 90% вероятность того , что землетрясение магнитудой более 9,5 баллов по шкале Рихтера ударит Калифорнии до 2025 года" Это ни живучести , ни свойство безопасности.
Неявное предположение , сделанное в этой главе что все хорошо вели себя программы в конечном счете завершаться. Это не всегда может быть случай, особенно для открытых или динамических систем. Открытая система (также называемая реакционно - система) реагирует на изменения в окружающей среде. Многие системы в режиме реального времени , как в телефонной сети или сети управления воздушно - трафика являются открытыми системами. Система , которая принимает на себя окружающую среду , чтобы быть фиксированной является замкнутой системой.
Корректность также зависит от предположений относительно базовой модели. Такие предположения включают семантику программы, выбор планировщика или зерно атомарностью. Данное свойство может иметь место, если мы предполагаем сильную справедливость, но не может иметь место, если мы предполагаем слабую справедливость. Еще одно свойство может быть правдой только тогда , когда мы выбираем грубый - зерно атомарность , но может перестать проводить с мелкозернистой атомарностью.