HYDRA: the kernel of a multiprocessor operating system

  title={HYDRA: the kernel of a multiprocessor operating system},
  author={W. Wulf and E. S. Cohen and W. Corwin and A. Jones and R. Levin and C. Pierson and F. Pollack},
  journal={Commun. ACM},
  • W. Wulf, E. S. Cohen, +4 authors F. Pollack
  • Published 1974
  • Computer Science
  • Commun. ACM
  • 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… CONTINUE READING

    Figures and Topics from this paper.

    Exokernel: an operating system architecture for application-level resource management
    • 973
    • PDF
    The protection of information in computer systems
    • 2,375
    • PDF
    seL4: formal verification of an OS kernel
    • 1,391
    • PDF
    Language-based information-flow security
    • 1,992
    • PDF
    Multiprocessor Organization—a Survey
    • 178
    • PDF
    A cost-effective, high-bandwidth storage architecture
    • 394
    • PDF
    Capability-based addressing
    • 356
    On micro-kernel construction
    • 686
    • PDF


    Publications referenced by this paper.
    Programming semantics for multiprogrammed computations
    • 558
    • Highly Influential
    • PDF
    The nucleus of a multiprogramming system
    • 325
    • Highly Influential
    • PDF