Scale and performance in the Denali isolation kernel (2002)

by Andrew Whitaker, Marianne Shaw, Steven D. Gribble