B-link-trees for DB/OS Co-Design
The multikernel: a new OS architecture for scalable multicore systems