R
R. Levin
Researcher at Carnegie Mellon University
Publications - 3
Citations - 778
R. Levin is an academic researcher from Carnegie Mellon University. The author has contributed to research in topics: Separation of mechanism and policy & Context (language use). The author has an hindex of 3, co-authored 3 publications receiving 768 citations.
Papers
More filters
Journal ArticleDOI
HYDRA: the kernel of a multiprocessor operating system
TL;DR: This paper describes the design philosophy of HYDRA—the kernel of an operating system for C.mmp, the Carnegie-Mellon Multi-Mini-Processor, through the introduction of a generalized notion of “resource,” both physical and virtual, called an “object.”
Journal ArticleDOI
Policy/mechanism separation in Hydra
TL;DR: This paper presents three such mechanisms (scheduling, paging, protection) and examines how external policies which manipulate them may be constructed and shows that the policy decisions which remain embedded in the kernel exist for the sole purpose of arbitrating conflicting requests for physical resources.
Journal ArticleDOI
Overview of the Hydra Operating System development
TL;DR: An overview of the hardware and philosophic context in which the Hydra design was done is discussed, and some data suggests the success of this methodological approach.