David R. Cheriton and Kenneth J. Duda
Computer Science Department
Stanford, CA 94025
This paper describes a caching model of operating system functionality as implemented in the _Cache Kernel,_ the supervisor-mode component of the V++ operating system. The Cache Kernel caches operating system objects such as threads and address spaces just as conventional hardware caches memory data. User-mode _application kernels_ handle the loading and writeback of these objects, implementing application-specific management policies and mechanisms. Experience with implementing the Cache Kernel and measurements of its performance on a multiprocessor suggest that the caching model can provide competitive performance with conventional monolithic operating systems, yet provides application-level control of system resources, better modularity, better scalability, smaller size and a basis for fault containment.
To Become a USENIX Member, please see our Membership Information.