[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
10 Multiprocessors 2, Drawbridge
[Porter et al., 2011]

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: 21 Oct 2014.