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)

 

Fpage Mapping

• In general send and receive fpages will be of different size:
  • page fault receive fpage covers full address space,
  • there may be several send fpage, but only one receive fpage,
  • fpage may need to be mapped at different addresses in sender and receiver (e.g., on page fault).
• Need ability to specify where an fpage gets mapped
• Each send fpage is accompanied with a hotspot address (send base)
  • Determines mapping address if receive fpage is big enough.

Send fpage information

w1

:

write-permission bit, unset ==> fpage will be mapped read-only

:

grant bit, set ==> fpage will be granted

.