[CSE]  Advanced Operating Systems 
 COMP9242 2005/S2 
UNSW
CRICOS Provider
Number: 00098G

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Project FAQ
- Exam
 
Forums
- Forums
- Can't Login?
 
Documentation
- Project Resources
- ASysT Lab
- Using Sulima
- L4 Debugging Guide
- L4Ka::Pistachio FAQ
- L4 source browser
- SOS source browser
- L4 reference manual
- L4 user manual
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- GT64111

 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2004
- 2003
- 2002
- 2000
- 1999
- 1998
- 1997
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

Lectures

Week    Topic    Print
01 Microkernels and L4 (Introduction)
02 L4 Programming (Introduction) PS
03 Caches (Software Perspective) PS
04 Security (Advanced Introduction) PS
05 Microkernels (In a bit more depth) PS
06 Virtual Machines (History and Current Research) PS
Virtual Machines (Itanium and vNUMA) PS
07 Microkernel Construction PS
08 Microkernel Construction PS
09 SMP and Locking PS
10 Why Events are a Bad Idea PS
Why Threads are a Bad Idea PS
File System Workloads PS
11 Byzantine Generals Problem PS
Farsite PS
Backtracking Intrusions PS
Tiny OS PS
12 Local OS Research (Cool opportunities for students) PS
13 Real-Time Systems PDF

All lecture notes are available in two formats:
  1. the "topic" is linked to PDF slides which I use in lectures (note that these are unsuitable for printing);
  2. the PostScript or PDF symbol is linked to an 6-up or 8-up version suitable for printing.

Last modified: 23 Nov 2005.