The SawMill framework for virtual memory diversity

We present a framework that allows applications to build and customize VM services on the LA microkernel. While the LA 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.

[1]  Meng Chang Chen,et al.  HiPEC: high performance external virtual memory caching , 1994, OSDI '94.

[2]  Andrew W. Appel,et al.  Virtual memory primitives for user programs , 1991, ASPLOS IV.

[3]  Jochen Liedtke,et al.  OS-controlled cache predictability for real-time systems , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[4]  David S. H. Rosenthal,et al.  Evolving the Vnode interface , 1990, USENIX Summer.

[5]  Yoonho Park,et al.  User-Level Physical Memory Management for Mach , 1991, USENIX MACH Symposium.

[6]  David R. Cheriton,et al.  Application-controlled physical memory using external page-cache management , 1992, ASPLOS V.

[7]  Larry L. Peterson,et al.  A dynamic network architecture , 1992, TOCS.

[8]  David V. Anderson,et al.  Tool for the developement of application-speciTc virtual memory , 1993, OOPSLA 1993.

[9]  Brian N. Bershad,et al.  Extensibility safety and performance in the SPIN operating system , 1995, SOSP.

[10]  Jochen Liedtke,et al.  On micro-kernel construction , 1995, SOSP.

[11]  John S. Heidemann,et al.  Implementation of the Ficus Replicated File System , 1990, USENIX Summer.

[12]  David L. Black,et al.  The duality of memory and communication in the implementation of a multiprocessor operating system , 1987, SOSP '87.

[13]  Dylan McNamee,et al.  Extending the Mach External Pager Interface to Accomodate User-Level Page Replacement Policies , 1990, USENIX MACH Symposium.

[14]  Dawson R. Engler,et al.  Exokernel: an operating system architecture for application-level resource management , 1995, SOSP.

[15]  Trent Jaeger,et al.  The SawMill multiserver approach , 2000, EW 9.

[16]  Willy Zwaenepoel,et al.  Extensible kernels are leading OS research astray , 1997, Proceedings. The Sixth Workshop on Hot Topics in Operating Systems (Cat. No.97TB100133).

[17]  Amin Vahdat,et al.  Tools for the development of application-specific virtual memory management , 1993, OOPSLA '93.

[18]  Peter Druschel,et al.  Extensible Systems are Leading OS Research Astray. , 1997 .

[19]  Jochen Liedtke,et al.  Improving IPC by kernel design , 1994, SOSP '93.

[20]  Trent Jaeger,et al.  How to schedule unlimited memory pinning of untrusted processes or provisional ideas about service-neutrality , 1999, Proceedings of the Seventh Workshop on Hot Topics in Operating Systems.

[21]  Jochen Liedtke,et al.  The performance of μ-kernel-based systems , 1997, SOSP.

[22]  John Rosenberg,et al.  Operating system support for persistent and recoverable computations , 1996, CACM.

[23]  Vadim Abrossimov,et al.  Virtual Memory Management in Chorus , 1989, Process in Distributed Operating Systems and Distributed Systems Management.

[24]  Robert Grimm,et al.  Application performance and flexibility on exokernel systems , 1997, SOSP.

[25]  Sandeep K. Gupta,et al.  AVM: application-level virtual memory , 1995, Proceedings 5th Workshop on Hot Topics in Operating Systems (HotOS-V).

[26]  Jochen Liedtke,et al.  Dataspaces in L3 , 1985 .