# Protected procedure

> Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Protected_procedure
> Markdown URL: https://mediated.wiki/source/Protected_procedure.md
> Source: https://en.wikipedia.org/wiki/Protected_procedure
> Source revision: 950306930
> License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/)

In [computer science](/source/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](/source/Subroutine) *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]

In a [global environment](/source/Global_environment) system (where there's some shared variable), the protected procedure mechanism allows the enforcement of the [principle of least privilege](/source/Principle_of_least_privilege) and the avoidance of [side effects](/source/Side_effect_(computer_science)) in resources management (see [Denning principles](/source/Denning_principles)).

## Footnotes

1. **[^](#cite_ref-1)** Dennis 65

1. ^ [***a***](#cite_ref-Dennis66_2-0) [***b***](#cite_ref-Dennis66_2-1) Dennis 66

1. **[^](#cite_ref-3)** Levy 84, pp.46-6

## References

- [Dennis, J. B.](/source/J._B._Dennis), 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](https://en.wikipedia.org/w/index.php?title=E._C._Van_Horn&action=edit&redlink=1). *[Programming Semantics for Multiprogrammed Computations](http://www.princeton.edu/~rblee/ELE572Papers/Fall04Readings/ProgramSemantics_DennisvanHorn.pdf)*. Communications of the ACM 9(3), March 1966.

- Levy, Henry M. (1984). "3". [*Capability-based computer systems*](http://www.cs.washington.edu/homes/levy/capabook/index.html). Maynard, Mass: Digital Press. [ISBN](/source/ISBN_(identifier)) [0-932376-22-3](https://en.wikipedia.org/wiki/Special:BookSources/0-932376-22-3).

This computer science article is a stub. You can help Wikipedia by adding missing information.

- [v](https://en.wikipedia.org/wiki/Template:Comp-sci-stub)
- [t](/source/Template_talk%3AComp-sci-stub)
- [e](https://en.wikipedia.org/wiki/Special:EditPage/Template:Comp-sci-stub)

---
Adapted from the Wikipedia article [Protected procedure](https://en.wikipedia.org/wiki/Protected_procedure) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Protected_procedure?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.