Procedura chroniona

W informatyce koncepcja procedury chronionej , po raz pierwszy wprowadzona jako procedura usługi chronionej w 1965 r., jest konieczna, gdy dwa obliczenia A i B używają tej samej procedury S ; procedura chroniona jest taka, jeśli uniemożliwia awarię jednego z dwóch obliczeń, aby spowodować nieprawidłowe wykonanie drugiego.

Jednym z najważniejszych aspektów Dennisa i Van Horna (hipotetycznego) systemu „supervisor” było zamieszczenie opisu chronionej procedury.

W globalnym systemie środowiskowym (gdzie istnieje pewna wspólna zmienna) mechanizm procedury chronionej pozwala na egzekwowanie zasady najmniejszych uprawnień i unikanie skutków ubocznych w zarządzaniu zasobami (patrz Zasady Denninga ).

przypisy

• Dennis, JB i Glasee, E. Struktura systemów przetwarzania informacji on-line . Nauki o systemach informacyjnych: Proc. Second Cong., Spartan Books, Baltimore, 1965, s. 1–11
• JB Dennisa i EC Van Horna. Semantyka programowania dla obliczeń wieloprogramowych . Komunikaty ACM 9(3), marzec 1966.
•   Levy, Henry M. (1984). „3”. Systemy komputerowe oparte na możliwościach . Maynard, Msza: prasa cyfrowa. ISBN 0-932376-22-3 .