Our Approach

• Always use the interface defined in the kernel
• Abuse CPP -- functions become macros
  • return code is a per-thread variable
• Model processes as two proctypes --user level and kernel level
  • System is thus an SMP model
  • Maximal interleaving of processes
• Two approaches to abstractions in the kernel...