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)

 

Message header format

Data structure l4/types.h:l4_msghdr_t

w2

w0

receive fpage: describes how to map any incoming fpages

w1

message size dope: specifies the total buffer space available
words: size of buffer in words (total for fpages and in-line data)
strings: number of string dopes

w2

message send dope: buffer space used on sending i.e., buffer size used (words) and string dopes used (strings) must be less than or equal specifications of message size dope

Note: specified buffer/message size is in addition to registers

.