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
Australia
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.
@inproceedings{Aron_PJLED_01, 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 = {https://trustworthy.systems/publications/papers/Aron_PJLED_01.pdf}, publisher = {IEEE Computer Society Press}, title = {The {SawMill} Framework for {VM} Diversity}, year = {2001} }