The SawMill Framework for Virtual Memory Diversity

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 powerng 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.

• Type: Conference
• Year: 2001
• Where: APCSAC
• Authors: Mohit Aron, Jochen Liedtke, Kevin Elphinstone, Yoonho Park, Trent Jaeger, Luke Deller
• Keywords: APCSAC 2001, Computer Architecture, Dataspace Paradigm, L4 Microkernel, Modular Vm Framework