Защищенная процедура - Protected procedure

В информатике концепция защищенной процедуры , впервые представленная как процедура защищенного обслуживания в 1965 году, необходима, когда два вычисления A и B используют одну и ту же процедуру S ; Защищенная процедура является таковой, если сбой в работе одного из двух вычислений не может привести к неправильному выполнению другого.

Одним из наиболее важных аспектов (гипотетической) системы «супервизор» Денниса и Ван Хорна было включение описания защищенной процедуры.

В системе глобальной среды (где есть некоторая общая переменная) механизм защищенных процедур позволяет применять принцип наименьших привилегий и избегать побочных эффектов при управлении ресурсами (см. Принципы Деннинга ).

Сноски

Ссылки

  • Деннис, JB , и Glasee, E. Структура систем обработки информации в режиме онлайн . Информационные системы наук: Учеб. Second Cong., Spartan Books, Baltimore, 1965, стр. 1–11.
  • Дж. Б. Деннис и Е. К. Ван Хорн . Семантика программирования для многопрограммных вычислений . Сообщения ACM 9 (3), март 1966 г.
  • Леви, Генри М. (1984). «3». Компьютерные системы на основе возможностей . Мейнард, Массачусетс: Цифровая пресса. ISBN 0-932376-22-3.