Background: SMPng Approach

• Introduce new synchronization primitives

  • Modeled on well-understood SMP approaches
  • Avoid race-prone “implicit” synchronization assumptions

• Adopt a more threaded kernel architecture in order to offer opportunities for parallelism

• Take a first “decent” cut; then refine

• Develop tools to evaluate correctness and effectiveness of approach