WikiDer > Свойство безопасности

Safety property

В распределенных вычислений, свойства безопасности неформально требовать, чтобы «никогда не случалось ничего плохого» в распределенная система или же распределенный алгоритм.[1][2] В система базы данных, обещание никогда не возвращать данные с пустыми полями является примером гарантии безопасности.[3] Другой пример - это тупик свобода - никогда не должно происходить так, чтобы все процессы или распределенная система не могли продолжать работу, потому что они ждут действий от другого процесса.[4]

Свойства безопасности - это виды свойства линейного времени учился в области проверка модели, вместе с свойства живучести.[4] В отличие от свойств живучести, свойства безопасности могут быть нарушены конечным исполнением распределенной системы. Все свойства можно выразить как пересечение безопасности и живость характеристики.[3]

Рекомендации

  1. ^ Родригес, Кристиан Качен; Рашид Геррауи; Луис (2010). Введение в надежное и безопасное распределенное программирование (2-е изд.). Берлин: Springer Berlin. С. 22–24. ISBN 978-3-642-15259-7.
  2. ^ Лэмпорт, Л. (1977). «Доказательство правильности многопроцессорных программ». IEEE Transactions по разработке программного обеспечения (2): 125–143. CiteSeerX 10.1.1.137.9454. Дои:10.1109 / TSE.1977.229904.
  3. ^ а б Alpern, B .; Шнайдер, Ф. Б. (1987). «Признавая безопасность и живучесть». Распределенных вычислений. 2 (3): 117. CiteSeerX 10.1.1.20.5470. Дои:10.1007 / BF01782772.
  4. ^ а б Байер, Кристель; Катоэн, Йост-Питер (2008). Принципы проверки модели. MIT Press. п. 104. ISBN 9780262026499.