Mach (continued)

Paging
External paging interface
File systems are implemented as user space tasks
Kernel must gracefully handle rogue servers
Establishing Maps



(1) Client sends an open rpc to a server
(2) Server returns a handle (known to the kernel) for the file
(3) Client sends a vm_map rpc to the kernel
(4) Server sends a memory_object_init to the server
(5) When the server is ready, it replies with memory_object_init
(6) Mach sets up the client's address space and returns