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.

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

Хотя наиболее полезные свойства распределенной системы могут быть классифицированы как живучесть или свойства безопасности, есть свойства, которые принадлежат ни один из этих двух классов. Рассмотрим инструкцию, «есть 90% вероятность, что землетрясение магнитудой больше 9.5 по шкале Рихтера будет хит Калифорнии до 2025 года». Это не является ни живучесть, ни безопасности свойство.

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

Несмотря на то, что большинство полезных свойств распределенной системы могут быть классифицированы либо как живости или свойство безопасности, есть свойства, которые принадлежат ни к одному из этих двух классов. Рассмотрим утверждение ", есть 90% вероятность того, что землетрясение магнитудой больше чем 9,5 баллов по шкале Рихтера ударит Калифорнии до 2025 года" Это не является ни живучести, ни свойство безопасности.

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

хотя большинство полезных свойств распределенной системы могут быть классифицированы как параметры или безопасность собственности, есть имущество, которое принадлежит ни в одном из этих двух классов.рассмотреть заявление, "есть 90% вероятности того, что в результате землетрясения магнитудой более 9,5 балла по шкале рихтера достигнет калифорнии до 2025 года". это ни параметры, ни безопасность имущества.