[an error occurred while processing this directive]
Screen Version
School of Computer Science & Engineering
University of New South Wales

 Advanced Operating Systems 
 COMP9242 2010/S2 

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. [an error occurred while processing this directive]