Affiliation:
1. Carnegie-Mellon Univ., Pittsburgh, PA
Abstract
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 virtual, called an “object.” Mechanisms are presented for dealing with objects, including the creation of new types, specification of new operations applicable to a given type, sharing, and protection of any reference to a given object against improper application of any of the operations defined with respect to that type of object. The mechanisms provide a coherent basis for extension of the system in two directions: the introduction of new facilities, and the creation of highly secure systems.
Publisher
Association for Computing Machinery (ACM)
Cited by
206 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Separating Mechanism from Policy in STM;2023 32nd International Conference on Parallel Architectures and Compilation Techniques (PACT);2023-10-21
2. Image Modification Modeled as a Storytelling Process;Linking Theory and Practice of Digital Libraries;2023
3. Hardware Information Flow Tracking;ACM Computing Surveys;2022-05-31
4. When Idling is Ideal;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26
5. Micro-CLK;Proceedings of the 12th ACM SIGOPS Asia-Pacific Workshop on Systems;2021-08-24