Trustworthy Systems

The SawMill framework for VM diversity


Mohit Aron, Yoonho Park, Trent Jaeger, Jochen Liedtke, Kevin Elphinstone and Luke Deller

Department of Computer Science
Rice University

IBM Watson Research Center

Systems Architecture Group
University of Karlsruhe

School of Computer Science and Engineering
The University of New South Wales
Sydney 2052


We present a framework that allows applications to build and customize VM services on the L4 microkernel. While the L4 microkernel's abstractions are quite powerful, using these abstractions effectively requires higher-level paradigms. We propose the dataspace paradigm which provides a modular VM framework. The modularity introduced by the dataspace paradigm facilitates implementation and permits dynamic configurability. Initial performance results from a prototype are promising.

BibTeX Entry

    address          = {Gold Coast, Australia},
    author           = {Mohit Aron and Yoonho Park and Trent Jaeger and Jochen Liedtke and Kevin Elphinstone and Luke Deller},
    booktitle        = {Proceedings of the 6th Asia-Pacific Computer Systems Architecture Conference},
    month            = jan,
    pages            = {3--10},
    paperurl         = {},
    publisher        = {IEEE Computer Society Press},
    title            = {The {SawMill} Framework for {VM} Diversity},
    year             = {2001}