Building an Adaptive Operating System for Predictability and Efficiency
The multikernel: a new OS architecture for scalable multicore systems