Advanced Operating Systems   COMP9242 2002/S2

UNSW

Printer-Friendly Version Administration                - Notices - Course Intro - Consultations # On-line Survey (closed) - Survey Results   Work - Lectures - Milestone 0 - Project Admin - Project Spec - Project FAQ - Exam   Documentation - ASysT Lab - L4 source browser - Sulima ISA Simulator - R4x00 ISA Summary  - MIPS R4700 Reference - MIPS R4000 User Manual  - Network Driver - GT64111   Related Info - Aurema OS Prize - OS Hall of Fame   History - 2000 - 1999 - 1998   Staff - Gernot Heiser (LiC)

Address Spaces Address spaces are recursively constructed from mappings into other address spaces: A ``magic'' initial address space maps physical memory one-on-one; each address space (pager) can map portions of its own address space into another (cooperating) address space. This is done with the help of three mapping primitives Map: map a page from sender's to receiver's AS caller retains page Grant: map a page from sender's to receiver's AS page is removed from caller Flush: undoes a Map (removes page from receiver's address space)