Proposed Properties

Page Allocation
Tasks negotiate contracts for guaranteed physical pages
Total number of guaranteed pages will never exceed the number of frames
Tasks may ask for extra pages
VMM provides simple interfaces
Memory interface for allocating memory
Container interface for moving memory between processes
Can be implemented by other servers for proxy purposes

Management
L4 is a cache of active mappings
The memory server provides handles to physical pages
Tasks must maintain all of their mappings
Normally part of a library
Easily overridden