[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 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)

 
Valid HTML 4.0!
next up previous
Next: Register message format Up: 01-l4 Previous: Example: Receive Call

L4 IPC Messages

L4 IPC operations take two kinds of message parameters:

  1. snd_reg or rcv_reg: in-register (``short'') part of message
    (first 8 words on MIPS R4k)
  2. snd_msg or rcv_msg: in-memory (``long'') part of message




Messages consist of 3 kinds of data:

  1. by-value in-line data (directly in registers or message buffer)
  2. by-value ``string'' (out-of-line) data (message buffer contains pointer to data)
  3. by-reference ``fpages'' (describing mappings)

.

Gernot Heiser 2002-08-07