Pp. 195-210 of the Proceedings

[Next] [Up] [Previous]
Next: Abstract

Scale and Performance in the Denali Isolation Kernel

Andrew Whitaker, Marianne Shaw, and Steven D. Gribble
University of Washington
{andrew,mar,gribble}@cs.washington.edu

• Introduction
  • Contributions
   
• The Case for Isolation Kernels
  • Isolation Kernel Design Principles
   
• The Denali Isolation Kernel
  • The Denali Virtual Architecture
    • ISA
    • Memory Architecture
    • I/O Devices and Interrupt Model
  • Isolation Kernel Implementation
    • CPU Virtualization
    • Memory Management
    • I/O Devices and Interrupt Model
    • Supervisor Virtual Machine
  • Ilwaco Guest OS
   
• Evaluation
  • Basic System Performance
    • VM Context Switching Overhead
    • Swap Disk Microbenchmarks
    • Packet Dispatch Latency
    • TCP and HTTP Throughput
  • Scale, Performance, and Simplicity and the Denali Virtual Architecture
    • Batched, Asynchronous Interrupts
    • Idle-with-timeout Instruction
    • Simplified Virtual Ethernet
    • Source Code Complexity
  • Denali at Scale
    • Scaling Bottlenecks
    • Web server performance
    • Quake II server performance
   
• Related Work
  • OS architectures
  • Enforcing isolation
   
• Conclusions
• Acknowledgments
• Bibliography
• About this document ...