HYDRA
Communications of the ACM · 1974 · 488 citations · 10 references
EngineeringOperating SystemsSystem ProgrammingSoftware SystemsHardware DesignNetworked Computer SystemsComputer ArchitectureComputer EngineeringSecure SystemsUnikernelsSecure ComputingComputer ScienceOperating System SecurityCompilersHardware SystemsSystem SoftwareHydra—the KernelVirtual Machine
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.
10
On the criteria to be used in decomposing systems into modules
David Lorge Parnas · Communications of the ACM · 1972
4.6K citations
The structure of the “THE”-multiprogramming system
Edsger W. Dijkstra · Communications of the ACM · 1968
1.1K citations
Programming semantics for multiprogrammed computations
Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1983
680 citations
Programming semantics for multiprogrammed computations
Jack B. Dennis, Earl C. Van Horn · Communications of the ACM · 1966
552 citations
The nucleus of a multiprogramming system
Per Brinch Hansen · Communications of the ACM · 1970
335 citations