DocumentCode
2295038
Title
AVM: application-level virtual memory
Author
Engler, Dawson R. ; Gupta, Sandeep K. ; Kaashoek, M. Frans
Author_Institution
Lab. for Comput. Sci., MIT, Cambridge, MA, USA
fYear
1995
fDate
4-5 May 1995
Firstpage
72
Lastpage
77
Abstract
Virtual memory (VM) is a notoriously complicated abstraction to implement, and is hard to change, specialize, or replace. Although a certain degree of flexibility is achieved by user-level pagers, the control they provide is limited: they leave much of the VM system fixed in the kernel, unreachable by the application. As applications become more diverse and the opportunity cost of bad memory policies grows, it is essential for applications to have more control over the VM abstraction. We motivate and describe a VM system that is implemented completely at the application level. To the best of our knowledge this system is the first complete example of application-level virtual memory (AVM). AVM allows applications to easily specialize, modify, or even replace the VM abstractions offered. For example, on architectures with software TLB management, applications can even select their own page-table structures. In addition, AVM simplifies the OS kernel, since the kernel only multiplexes and does not abstract physical memory. A prototype AVM system is implemented for Aegis, an experimental exokernel
Keywords
operating system kernels; paged storage; software engineering; AVM; Aegis experimental exokernel; OS kernel; VM abstraction; application-level virtual memory; architectures; bad memory policies; opportunity cost; page-table structure selection; prototype AVM system; software TLB management; virtual memory; Computer science; Contracts; Control systems; Costs; Kernel; Laboratories; Operating systems; Prototypes; Virtual manufacturing; Virtual prototyping;
fLanguage
English
Publisher
ieee
Conference_Titel
Hot Topics in Operating Systems, 1995. (HotOS-V), Proceedings., Fifth Workshop on
Conference_Location
Orcas Island, WA
Print_ISBN
0-8186-7081-9
Type
conf
DOI
10.1109/HOTOS.1995.513458
Filename
513458
Link To Document