Protected procedure
In computer science, the concept of protected procedure, first introduced as protected service routine in 1965,[1] 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.[2]
One of the most important aspects of Dennis and Van Horn (hypothetical) system "supervisor"[2] was the inclusion of a description of protected procedure.[3]
Bibliography
- 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. Programming Semantics for Multiprogrammed Computations. Communications of the ACM 9(3), March 1966.
- Levy, Henry M. (1984). "3". Capability-based computer systems. Maynard, Mass: Digital Press. ISBN 0-932376-22-3.