Non-invasive Implementation

• Easier to argue correctness

  • Replaced earlier, low-level implementation

• Modified only two kernel routines

  • Changed observable behavior of one

• Added to the kernel:

  • 7000 lines of C
  • 4 system calls

Previous slide

Next slide

Back to first slide

View graphic version