Screen Version
School of Computer Science & Engineering
University of New South Wales
Advanced Operating Systems
COMP9242 2002/S2
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