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

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Exam
 
Resources
Wiki
2006 Patchlist
Project Resources
Slug Lab
L4 Debugging Guide
Developing on a Mac
Developing on Linux
SOS source browser

 
Documentation
L4Ka::Pistachio FAQ
L4 reference manual
L4 user manual
IXP42X hardware manual 
NSLU2-Linux HomePage
Intel IXP400 Software

 
Related Info
Aurema OS Prize
OS Hall of Fame
 
History
2005
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) PS
02 L4 Programming (Introduction) PS
03 Caches (What every OS Designer Must Know)
Papers: [Uhlig et al., 1994]
PS
04 Microkernels (In a bit more depth)
Papers: [Brinch Hansen, 70], [Liedtke, 95]
PS
05 Virtual Machines
Papers: [Härtig et al., 97], [Barham et al., 03]
PS
Itanium and vNUMA (Virtualisation Case Study) PDF
06 Microkernel Construction (Part 1) PS
07 Microkernel Construction (Part 2) PS
08 Hardware / Power Management
Papers: [Weiser et al, 94], [Weissel and Bellosa, 02], [Zeng et al, 02]
PDF
09 SMP/SMT
Why Threads Are A Bad Idea
Mac OS X's IOKit Threading
Papers : [Mellor-Crummey 91] [Volp 02] [Behren et al, 03]
PDF
PDF
10 Comparison of OS Designs
11 Security (An Advanced Introduction) PS
12 Real Time (Systems Issues, Part 1)
Papers: [Burns et al., 95] [ Sha et al., 90] [Heidmann]
PS
13 Real Time (Systems Issues, Part 2)

Byzanthine Generals Problem
Papers: [Brandt et al., 05] [ Lamport et al. 82]
PS\
PS
14 Local Systems R&D (and opportunities for students) PS

The schedule for future lectures is tentative and subject to change!

References in square brackets are recommended readings from the papers list.

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: 02 Nov 2006.