A Caching Model of
Operating System Kernel Functionality

David R. Cheriton and Kenneth J. Duda
Computer Science Department
Stanford University
Stanford, CA 94025
{cheriton,kjd}@cs.stanford.edu

• Abstract
• Introduction
• The Cache Kernel Interface
  • Address Space Objects
  • Interprocess Communication
  • Thread Objects
  • Kernel Objects
• Other Application Kernels
• Internal Design Issues
  • Mapping Data Structures
  • Object Replacement
  • Resource Allocation
• Evaluation
  • Code Size
  • Caching Performance
  • Trap, Communication and Page Fault Times
• Related Work
• Concluding Remarks
• Acknowledgements
• References
• About this document ...