Policy/mechanism separation in hydra

Proceedings of the 5th ACM Symposium on Operating Systems Principles, SOSP 1975

Volumn , Issue , 1975, Pages 132-140

  Levin, R ^a   Cohen, E ^a   Corwin, W ^a   Pollack, F ^a   Wulf, W ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

Mechanism; Operating system; Paging; Policy; Protection; Resource allocation; Scheduling

Indexed keywords

MECHANISMS; PUBLIC POLICY; SCHEDULING;

BASIC DESIGNS; DEGREE OF FLEXIBILITY; OPERATING SYSTEM; PAGING; PHYSICAL RESOURCES; POLICY DECISIONS; PROTECTION; RESOURCE ALLOCATION POLICY;

RESOURCE ALLOCATION;

EID: 84984064460     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/800213.806531     Document Type: Conference Paper

References (10)

1. Bel66 Belady, L. A., "A Study of Replacement Algorithms for Virtual Storage Computers", IBM Systems Journal 5, 2 (1966).
2. BS71 Bernstein, A. and Sharp, J., "A Policy-Driven Scheduler for a Time-Sharing System", Communications of the ACM 14, 2 (Feb. 1971).
3. CJ75 Cohen, E. and Jefferson, D., "Protection in the Hydra Operating System", Proceedings of the 5th Symposium on Operating System Principles, Austin, Texas, Nov. 1975.
4. Den68 Denning, P. J., "The Working Set Model for Program Behavior", Communications of the ACM 11, 5 (May 1968).
5. Den70 Denning, P. J., "Virtual Memory", Computing Surveys 2, 3 (Sept. 1970).
6. JoW74 Jones, A. K., and Wulf, W. A., "Towards the Design of Secure Systems", International Workshop on Protection in Operating Systems, IRIA, 1974.
7. Lam73 Lampson, B., "A Note on the Confinement Problem", Communications of the ACM 16, 10 (October 1973).
8. Par72b Parnas, D., "On the Criteria to be Used in Decomposing Systems into Modules", Communications of the ACM 15, 12 (December 1972).
9. Wul74a Wulf, W., et al, "HYDRA: The Kernel of a Multiprocessor Operating System", Communications of the ACM 17, 6 (1974).
10. WLP75 Wulf, W., Levin, R, Pierson, C., "An Overview of the HYDRA Operating System Development", Proceedings of the 5th Symposium on Operating System Principles, Austin, Texas, Nov. 1975.