[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) Video recording PDF
02 Kevin OS Execution Models Video recording PDF
    Why Threads are a Bad Idea (for most purposes)   PDF
    Why Events are a Bad Idea (for high-concurrency servers)
Paper: [von Behren et al., 2003]
  PDF
03 Gernot Caches (What every OS designer must know)
Papers: [Clark & Emer 1985], [Uhlig et al., 1994], [Wiggins, 2003]
Book: [Schimmel, 1994]
Video recording PDF
04 Gernot Virtual Machines
Papers: [Barham et al., 2004], [Waldspurger, 2002], [Dall & Nieh, 2014]
Video recording PDF
05 Kevin SMP and Locking
Papers: [Anderson, 1990], [Clements et al. 2013]
Video recording PDF
06 Gernot Real-Time Systems
Book: [Liu, 2000]
Video
	recording PDF
07 Gernot Performance Evaluation (measuring and analysing)
Paper: [Fleming & Wallace, 1986]
Other: [Gernot's Benchmarking Crimes]
Video
	recording PDF
08 Gernot OS Security
Papers: [Miller, 2003], [Watson et al., 2008]
Video
	recording PDF
09 Gernot Microkernel Design & Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
10 Peter Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
11 Ihor Multiprocessors, Drawbridge
Paper: [Porter et al., 2011]
12 No lecture
13 Gernot Exam preparation and Local Systems Research
Papers: [Klein et al., 2014], [Amani et al., 2016], [Shen & Elphinstone, 2015]

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 Sep 2017.