A new model of abstraction for operating system design

This historical basis of operating systems work has been the concept of black-box abstraction. But this traditional notion of abstraction fails to support emerging practice in the operating system community where, more and more, one seems to want to give clients access to previously internal aspects of the implementation. The authors present a new model of abstraction, dual-abstraction, and show how to think about existing work under that model. They also discuss some issues for future work that the new model makes evident