Check out the new USENIX Web site.

Home About USENIX Events Membership Publications Students
9th Workshop on Hot Topics in Operating Systems (HotOS IX) — Abstract

Hardware Works, Software Doesn't: Enforcing Modularity with Mondriaan Memory Protection

Emmett Witchel and Krste Asanovic, MIT Laboratory for Computer Science,


Two big problems with operating systems written in unsafe languages are that they crash too often and that adding features becomes much more difficult over time. One cause of both of these problems is the lack of enforceable memory protection between module boundaries. Clear module boundaries make dependencies explicit, resulting in more reliable and maintainable code. Mondriaan Memory Protection (MMP) is a hardware/software design for fine-grained memory protection that can enforce module boundaries for systems written in unsafe languages. We present the design of an MMP-based modular operating system kernel and show howMMPcan be used to provide module isolation while maintaining performance.
  • View the full text of this paper in HTML and PDF, or the talk slides in PDF.
    The Proceedings are published as a collective work, © 2003 by the USENIX Association. All Rights Reserved. Rights to individual papers remain with the author or the author's employer. Permission is granted for the noncommercial reproduction of the complete work for educational or research purposes. USENIX acknowledges all trademarks within this paper.

  • If you need the latest Adobe Acrobat Reader, you can download it from Adobe's site.
To become a USENIX Member, please see our Membership Information.

?Need help? Use our Contacts page.

Last changed: 24 July 2003 aw
Technical Program
9th Workshop on Hot Topics in Operating Systems (HotOS IX) Home