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:
Critique of Microkernel Architectures
Critique of
Microkernel Architectures
Microkernel Performance
Ultrix vs. Mach MCPI
Interpretation
Assertions
Self interference
Assertions...
Other experience with
-kernel performance
So, what's wrong?
A Critique of the Critique
Re-analysis of Chen & Bershad's Data
Re-analysis of Chen & Bershad's Data...
Conclusion
Requirements for
-kernels:
Are high system costs essential?
-kernel Design Principles
Non-portability example: i486 vs Pentium:
What
must
a
-kernel provide?
-kernel does
not
have to provide:
L4 implementation techniques
Performance
Case in Point: L
Linux [Härtig
et al
. 97]
Signal delivery in L
Linux
L
Linux Performance
Microbenchmarks:
Cycle breakdown:
Macrobenchmarks:
lmbench
Macrobenchmarks: Kernel compile
Conclusions
Bibliography
About this document ...
Gernot Heiser 2002-08-28