[CSE]  Advanced Operating Systems 
 COMP9242 2002/S2 
UNSW

PRINTER 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 ReferenceMIPS R4000 User Manual 
- Network Driver
- GT64111
 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser (LiC)

 
Valid HTML 4.0!
next up previous
Next: Fpage Mapping Examples Up: 01-l4 Previous: Fpage Mapping

Fpage Mapping Rules

In order to disambiguate fpage mapping, the following rules apply:
  • Hotspot address is taken modulo receive fpage size.
    • Uniquely determines a page in the receiver's address space which will receive a mapping.
  • Hotspot address is also taken modulo send fpage size.
    • Uniquely determines a page in the send fpage which will be mapped.

In other words, the smaller fpage is mapped to/from the larger one so that:

  • it is aligned according to its size, and
  • it contains the hot spot.

.


Gernot Heiser 2002-08-07