[CSE]  Advanced Operating Systems 
COMP9242 2014/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]
Lecture recording
PDF
04 Performance Evaluation
[Fleming and Wallace, 1986] [Gernot's Benchmarking Crimes]
PDF
05 SMP and Locking
[Anderson, 1990], [Clements et al. 2013]
Lecture recording
PDF
06 Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
Lecture recording
PDF
07 Microkernel Design (with focus on seL4)
Papers: [Liedtke 1993], [Liedtke 1995], [Blackham et al. 2012], [Elphinstone &Heiser 2013]
PDF
08 Linux
Papers: [McKenney 2004], [McKenney et al 2009], [Ritchie & Thompson 1974]
PDF
09 Real-Time Systems
[Liu, 2000]
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: 26 Sep 2014.