[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]
Video
	recording PDF
10 Peter Linux Internals
Papers: [McKenney, 2004], [McKenney et al 2009], [Ritchie & Thompson, 1974]
Video
	recording PDF
11 Ihor Multiprocessors
Paper: [Porter et al., 2011]
Video recording PDF
12 Gernot Exam preparation and Local Systems Research
Papers: [Klein et al., 2014], [Amani et al., 2016], [Shen & Elphinstone, 2015]
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 Oct 2017.