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

Proceedings of the 6th Australasian Computer Systems Architecture Conference (ACSAC 2001), Bond University, Gold Coast, Queensland, January 29 - February 2, 2001

Abstract:

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:

@InProceedings{aron01SawMillFramework,
  author = {Mohit Aron and Luke Deller and Kevin Elphinstone and Trent Jaeger and Jochen Liedtke and Yoonho Park},
  title = {The {SawMill} Framework for Virtual Memory Diversity},
  booktitle = {Proceedings of the 8th Asia-Pacific Computer Systems Architecture Conference},
  address = {Bond University, Gold Coast, QLD, Australia},
  month = jan # "~29--" # feb # "~2",
  year = 2001,
  url = {http://l4ka.org/publications/}
}