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

PRINTER Printer-Friendly Version
Administration                        
- Notices
- Course Intro
- Times
- Lecture location/time
- Statistics
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Exam
 
Support
- Forums
- Wiki
 
Resources
- Project Resources
- Slug Lab
- L4 Debugging Guide
- Developing on a Mac
- Developing on Linux
- SOS source browser
 
Documentation
- OKL4 reference manual
- Elfweaver user manual
- IXP42X hardware manual
- OKL Wiki
- NSLU2-Linux HomePage
- Intel IXP400 Software
 
Related Info
- IBM OS Prize
- OS Hall of Fame
 
History
- 2009
- 2008
- 2007
- 2006
- 2005
- 2004
- 2003
- 2002
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser
- Kevin Elphinstone (LiC)
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

Lectures

Week    Topic    Print
01 Microkernels and L4 (Introduction) PDF
02 L4 Programming (OKL4 API in detail) PDF
03 OS Execution Models PDF
  Why Threads are a Bad Idea (for most purposes) PDF
  Why Events are a Bad Idea (for high-concurrency servers)
Papers: [von Behren et al., 2003]
PDF
04 Caches (What every OS Designer Must Know)
Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003]
Book: [Schimmel 1994]
PDF
05 Security (An advanced introduction)
[Saltzer and Schroeder 1975], [Arbaugh et al. 1997], [DoD 1986] [Shapiro and Weber 2000]
PDF
06 Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006]
PDF
07 Device Drivers
[Swift et al. 2003] [Leslie et al. 2005]
PDF
Automatic Device Driver Synthesis with Termite
PDF
08 Performance Evaluation
[Fleming and Wallace, 1986]
PDF
09 Mac OS X IOAudio
PDF
10 Microkernel Design
(A walk through selected aspects of kernel design and seL4)
PDF
11 SMP and Locking
[Anderson, 1990]
PDF
12 OS Research at NICTA PDF

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 full-size PDF slides suitable for on-screen viewing;
  2. the PostScript or PDF symbol is linked to an 6-up or 4-up version suitable for printing.

Last modified: 15 Oct 2010.