Article

Free access

Policy/mechanism separation in Hydra

Authors:

W. WulfAuthors Info & Claims

SOSP '75: Proceedings of the fifth ACM symposium on Operating systems principles

Pages 132 - 140

https://doi.org/10.1145/800213.806531

Published: 01 November 1975 Publication History

PDF eReader

Abstract

The extent to which resource allocation policies are entrusted to user-level software determines in large part the degree of flexibility present in an operating system. In Hydra the determination to separate mechanism and policy is established as a basic design principle and is implemented by the construction of a kernel composed (almost) entirely of mechanisms. This paper presents three such mechanisms (scheduling, paging, protection) and examines how external policies which manipulate them may be constructed. It is shown that the policy decisions which remain embedded in the kernel exist for the sole purpose of arbitrating conflicting requests for physical resources, and then only to the extent of guaranteeing fairness.

References

[1]

Belady, L A., "A Study of Replacement Algorithms for Virtual Storage Computers", IBM Systems Journal 5, 2 (1966).

Digital Library

Google Scholar

[2]

Bernstein, A. and Sharp, J., "A Policy-Driven Scheduler for a Time-Sharing System", Communications of the ACM 14, 2 (Feb. 1971).

Digital Library

Google Scholar

[3]

Cohen, E. and Jefferson, D., "Protection in the Hydra Operating System", Proceedings of the 5th Symposium on Operating System Principles, Austin, Texas, Nov. 1975.

Digital Library

Google Scholar

[4]

Denning, P. J., "The Working Set Model for Program Behavior", Communications of the ACM 11, 5 (May 1968).

Digital Library

Google Scholar

[5]

Denning, P. J., "Virtual Memory", Computing Surveys 2, 3 (Sept. 1970).

Digital Library

Google Scholar

[6]

Jones, A. K., and Wulf, W. A., "Towards the Design of Secure Systems", International Workshop on Protection in Operating Systems, IRIA, 1974.

Google Scholar

[7]

Lampson, B., "A Note on the Confinement Problem", Communications of the ACM 16, 10 (October 1973).

Digital Library

Google Scholar

[8]

Parnas, D., "On the Criteria to be Used in Decomposing Systems into Modules", Communications of the ACM 15, 12 (December 1972).

Digital Library

Google Scholar

[9]

Wulf, W., et al., "HYDRA: The Kernel of a Multiprocessor Operating System", Communications of the ACM 17, 6 (1974).

Digital Library

Google Scholar

[10]

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.

Digital Library

Google Scholar

Cited By

View all

Talluri SHerbst NAbad CDe Matteis TIosup A(2024) ExDeFuture Generation Computer Systems10.1016/j.future.2023.11.013153:C(84-96)Online publication date: 16-May-2024
https://dl.acm.org/doi/10.1016/j.future.2023.11.013
Bhattacharyya AHofhammer FLi YGupta SSanchez AFalsafi BPayer M(2023)SecureCells: A Secure Compartmentalized Architecture2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179472(2921-2939)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179472
Sheng YHassan ASpear M(2023)Separating Mechanism from Policy in STM2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT)10.1109/PACT58117.2023.00031(279-296)Online publication date: 21-Oct-2023
https://doi.org/10.1109/PACT58117.2023.00031
Show More Cited By

Index Terms

Policy/mechanism separation in Hydra
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
2. Software and its engineering
  1. Software organization and properties
    1. Contextual software domains
      1. Operating systems
        Process management
        Scheduling

Recommendations

HYDRA: the kernel of a multiprocessor operating system

This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini-Processor. This philosophy is realized through the introduction of a generalized notion of “resource,” both physical and ...
Policy/mechanism separation in Hydra

The extent to which resource allocation policies are entrusted to user-level software determines in large part the degree of flexibility present in an operating system. In Hydra the determination to separate mechanism and policy is established as a ...
Policy based resource allocation in IaaS cloud

In present scenario, most of the Infrastructure as a Service (IaaS) clouds use simple resource allocation policies like immediate and best effort. Immediate allocation policy allocates the resources if available, otherwise the request is rejected. Best-...

Comments

Information & Contributors

Information

Published In

SOSP '75: Proceedings of the fifth ACM symposium on Operating systems principles

November 1975

222 pages

ISBN:9781450378635

DOI:10.1145/800213

ACM SIGOPS Operating Systems Review Volume 9, Issue 5
November 1975
222 pages
ISSN:0163-5980
DOI:10.1145/1067629
Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1975

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 131 of 716 submissions, 18%

Upcoming Conference

SOSP '24

Sponsor:
sigops

ACM SIGOPS 30th Symposium on Operating Systems Principles

November 4 - 6, 2024

Austin , TX , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

114
Total Citations
View Citations
1,950
Total Downloads

Downloads (Last 12 months)233
Downloads (Last 6 weeks)46

Reflects downloads up to 04 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Talluri SHerbst NAbad CDe Matteis TIosup A(2024) ExDeFuture Generation Computer Systems10.1016/j.future.2023.11.013153:C(84-96)Online publication date: 16-May-2024
https://dl.acm.org/doi/10.1016/j.future.2023.11.013
Bhattacharyya AHofhammer FLi YGupta SSanchez AFalsafi BPayer M(2023)SecureCells: A Secure Compartmentalized Architecture2023 IEEE Symposium on Security and Privacy (SP)10.1109/SP46215.2023.10179472(2921-2939)Online publication date: May-2023
https://doi.org/10.1109/SP46215.2023.10179472
Sheng YHassan ASpear M(2023)Separating Mechanism from Policy in STM2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT)10.1109/PACT58117.2023.00031(279-296)Online publication date: 21-Oct-2023
https://doi.org/10.1109/PACT58117.2023.00031
Larisch JAqeel WLum MGoldschlag YKannan LTorshizi KWang YChung TLevin DMaggs BMislove AParno BWilson CYin HStavrou ACremers CShi E(2022)HammurabiProceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security10.1145/3548606.3560594(1857-1870)Online publication date: 7-Nov-2022
https://dl.acm.org/doi/10.1145/3548606.3560594
Gu JLi HXia YChen HQin CHe Z(2022)Unified Enclave Abstraction and Secure Enclave Migration on Heterogeneous Security ArchitecturesJournal of Computer Science and Technology10.1007/s11390-021-1083-837:2(468-486)Online publication date: 31-Mar-2022
https://doi.org/10.1007/s11390-021-1083-8
Vasilakis NStaicu CNtousakis GKallas KKarel BDeHon APradel MKim YKim JVigna GShi E(2021)Preventing Dynamic Library Compromise on Node.js via RWX-Based Privilege ReductionProceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security10.1145/3460120.3484535(1821-1838)Online publication date: 12-Nov-2021
https://dl.acm.org/doi/10.1145/3460120.3484535
Li WGu JLiu NZang B(2021)Efficiently Recovering Stateful System Components of Multi-server Microkernels2021 IEEE 41st International Conference on Distributed Computing Systems (ICDCS)10.1109/ICDCS51616.2021.00054(494-505)Online publication date: Jul-2021
https://doi.org/10.1109/ICDCS51616.2021.00054
Isaac OOkokpujie KAkinwumi HJuwe JOtunuya HAlagbe O(2021)An Overview of Microkernel Based Operating SystemsIOP Conference Series: Materials Science and Engineering10.1088/1757-899X/1107/1/0120521107:1(012052)Online publication date: 1-Apr-2021
https://doi.org/10.1088/1757-899X/1107/1/012052
Gu JWu XLi WLiu NMi ZXia YChen HGavrilovska AZadok E(2020)Harmonizing performance and isolation in microkernels with efficient intra-kernel isolation and communicationProceedings of the 2020 USENIX Conference on Usenix Annual Technical Conference10.5555/3489146.3489173(401-417)Online publication date: 15-Jul-2020
https://dl.acm.org/doi/10.5555/3489146.3489173
Vasilakis NKarel BPalkhiwala YSonchack JDeHon ASmith JMcKinley KFisher K(2019)Ignis: scaling distribution-oblivious systems with light-touch distributionProceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3314221.3314586(1010-1026)Online publication date: 8-Jun-2019
https://dl.acm.org/doi/10.1145/3314221.3314586
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

HYDRA: the kernel of a multiprocessor operating system

Policy/mechanism separation in Hydra

Policy based resource allocation in IaaS cloud