A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf
.
Policy/mechanism separation in Hydra
1975
Proceedings of the fifth symposium on Operating systems principles - SOSP '75
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
doi:10.1145/800213.806531
dblp:conf/sosp/LevinCCPW75
fatcat:tzouficfd5g6zau6zdvuhzhm6e