Защищенная процедура
В информатике концепция защищенной процедуры , впервые представленная как защищенная процедура обслуживания в 1965 году, [1] необходим, когда два вычисления A и B используют одну и ту же процедуру S ; Защищенной процедурой считается такая процедура, которая не позволяет сбою одного из двух вычислений привести к неправильному выполнению другого. [2]
Один из важнейших аспектов (гипотетической) системы Денниса и Ван Хорна «супервайзер». [2] заключалось в включении описания защищенной процедуры. [3]
В системе глобальной среды (где есть некоторая общая переменная) механизм защищенных процедур позволяет реализовать принцип наименьших привилегий и избежать побочных эффектов при управлении ресурсами (см. Принципы Деннинга ).
Сноски
[ редактировать ]- ^ Деннис 65
- ^ Jump up to: а б Деннис 66
- ^ Леви 84, стр.46-6.
Ссылки
[ редактировать ]- Деннис Дж. Б. и Глэси Э. Структура систем оперативной обработки информации . Информационные системы наук: Учеб. Второй Конгресс, Spartan Books, Балтимор, 1965, стр. 1–11.
- Джей Би Деннис и EC Ван Хорн . Семантика программирования для многопрограммных вычислений . Сообщения ACM 9 (3), март 1966 г.
- Леви, Генри М. (1984). «3». Компьютерные системы, основанные на возможностях . Мейнард, Массачусетс: Digital Press. ISBN 0-932376-22-3 .
 | Эта по информатике статья незавершена . Вы можете помочь Википедии, расширив ее . |