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

В Информатика, Концепция чего-либо защищенная процедура, впервые представленный как защищенная процедура обслуживания в 1965 г.,[1] необходимо, когда два вычисления А и B использовать то же самое рутина S; Защищенная процедура является таковой, если сбой одного из двух вычислений не может вызвать неправильное выполнение другого.[2]

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

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

Сноски

  1. ^ Деннис 65
  2. ^ а б Деннис 66
  3. ^ Леви 84, стр.46-6

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

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