Защищенная процедура - 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.
Эта статья по информатике незавершена . Вы можете помочь Википедии, расширив ее . |