[CSE]

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)

Next: Timeouts... Up: 01-l4 Previous: IPC Result Condition Code

IPC Timeout Specifications

An IPC operation specifies 4 timeout values:

$m_r, e_r$ :: receive timeout is $m_r 4^{15-e_r}\,\mu s$
$m_s, e_s$ :: send timeout is $m_s 4^{15-e_s}\,\mu s$
$p_r$ :: receive page fault timeout is $4^{15-p_r}\,\mu s$
$p_s$ :: send page fault timeout is $4^{15-p_s}\,\mu s$

Zero values of $e$ or $p$ mean $\infty$ , i.e., no timeout
Zero values of $m$ (with $e>0$ mean 0, i.e., never block)
Max values of $p$ ( $p=15$ ) mean 0, i.e., fail on page fault

.

Gernot Heiser 2002-08-07