[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: Sporadic (Non-Periodic) Processes Up: 10-smp Previous: Simplified Real-Time Process Model

Schedulability

  • Real-time OS must decide at process admission time whether all deadlines can be met.
  • General result for RMPA [LL73]: Can do if

    \begin{displaymath}\sum_{i=1}^N \frac{C_i}{T_i} < N \left(2^{1/N}-1\right).\end{displaymath}

  • This is a sufficient (but not necessary) condition.



Limit (%):
N 1 2 3 4 5 10 \(\infty\)
\(C_i/T_i\) 100.0 82.8 78.0 75.7 74.3 71.8 69.3



Gernot Heiser 2002-10-11