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

PRINTER Printer-Friendly Version

Lectures

Week    Topic    Print
01 Introduction (Microkernels and seL4) PDF
02 Caches (What every OS designer must know)
Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003]
Book: [Schimmel 1994]
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 Performance Evaluation
[Fleming and Wallace, 1986] [Gernot's Benchmarking Crimes]
PDF
05 Microkernel Design (with focus on seL4)
Papers: [Liedtke 1993], [Liedtke 1995], [Blackham et al. 2012], [Elphinstone &Heiser 2013]
PDF
06 Scalability and Linux Internals
Papers: [Schimmel 1994], [McKenney et al. 2002]
PDF
07 Security
[Watson et al., 2010], [Roesner et al., 2012], [Murray et al., 2013]
PDF
08 Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Ben-Yehuda et al., 2010]
PDF
09 Real-Time Systems
[Liu, 2000]
PDF
10 SMP and Locking
[Anderson, 1990], [Clements et al. 2013]
PDF
11 Multiprocessors 2, Drawbridge
[Porter et al., 2011]
PDF
12 Local Systems Research
[Klein et al., 2009]
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: 25 Oct 2013.