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

PRINTER Printer-Friendly Version

Lectures

Week Lecturer    Topic    View Print
01 Gernot Introduction (Microkernels and seL4) MP4   MP4   MP4 PDF
02 Kevin OS Execution Models MP4 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
03 Gernot Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
MP4 PDF
04 Kevin SMP and Locking
[Anderson, 1990], [Clements et al. 2013]
MP4 PDF
05 Gernot Performance Evaluation
[Fleming & Wallace, 1986] [Gernot's Benchmarking Crimes]
MP4 PDF
06 Gernot Caches (What every OS designer must know)
Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003]
Book: [Schimmel, 1994]
MP4 PDF
07 Peter Linux
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
PDF
08 Gernot Real-Time Systems
[Liu, 2000]
MP4 PDF
09 Gernot Microkernel Design & Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
MP4 PDF
10 Gernot OS Security
[Miller, 2003], [Watson et al., 2010]
MP4 PDF
11 Ihor Multiprocessors, Drawbridge
[Porter et al., 2011]
12 Gernot Exam preparation and Local Systems Research
[Klein et al., 2014], [Amani et al., 2016], [Shen & Elphinstone, 2015]
MP4 MP4 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: 20 Jul 2017.