Screen Version
School of Computer Science & Engineering
University of New South Wales

 Advanced Operating Systems 
 COMP9242 2014/S2 

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]
11 Security

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: 16 Dec 2014.