- Protected procedure
In
computer science , the concept of protected procedure, first introduced as protected service routine in 1965, [Dennis 65] is necessary when two computations "A" and "B" use the same routine "S"; a protected procedure is such if makes not possible for a malfunction of one of the two computation to cause incorrect execution to the other.Dennis 66]One of the most important aspects of Dennis and Van Horn (hypothetical) system "supervisor" was the inclusion of a description of protected procedure. [Levy 84, pp.46-6]
In a
global environment system (where there's some shared variable), the protected procedure mechanism allows the enforcement of theprinciple of least privilege and the avoidance of side effects in resources management (seeDenning principles ).Footnotes
References
*Dennis, J. B., and Glasee, E. "The structure of on-line information processing systems". Information Systems Sciences: Proc. Second Cong., Spartan Books, Baltimore, 1965, pp. 1-11
*J. B. Dennis and
E. C. Van Horn . " [http://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf Programming Semantics for Multiprogrammed Computations] ". Communications of the ACM 9(3), March 1966.*cite book |author=Levy, Henry M. |title=Capability-based computer systems |publisher=Digital Press |location=Maynard, Mass |year=1984 |pages= |chapter=3 |isbn=0-932376-22-3 |oclc= |doi= |url=http://www.cs.washington.edu/homes/levy/capabook/index.html
Wikimedia Foundation. 2010.
