Proposed Properties (continued)

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

Paging
Tasks send pages to the corresponding server
File system server
VMM if it should be swapped
Must respect the server's policy

Eviction Policy
Memory server only asks for extra pages
Task must select which pages it wants to evict
No fall back (e.g. a default pager)