Screen Version

School of Computer Science & Engineering
University of New South Wales
 Advanced Operating Systems 
 COMP9242 2002/S2 

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
  1. sending an IPC message to the pager on the faulter's behalf
  2. catching the pager's reply and continue the faulter
  The pager's reply is expected to contain a mapping for the missing page.