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)

 

Example: Send Call

	int l4_mips_ipc_send (		l4_threadid_t dest,	UID of dest. thread
			const void *snd_msg,	msg descriptor
			l4_ipc_reg_msg_t *snd_reg,	initial part of message
			l4_timeout_t timeout,	timeout spec
			l4_msgdope_t *result)	result code

Message is divided into two parts:

• initial part (snd_reg, 64 bytes on R4k) is passed in registers
• remainder (possibly empty) is passed as a by-value string

Operation will not block longer than indicated by timeout
(can be or ).