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)

Page Faults and Pagers L4 maintains kernel page tables containing mappings explicitly established by user threads (via IPC). If a thread triggers a page fault, the kernel invokes the thread's pager by sending an IPC message to the pager on the faulter's behalf catching the pager's reply and continue the faulter The pager's reply is expected to contain a mapping for the missing page.