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

 Advanced Operating Systems 
 COMP9242 2018/S2 

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 Anna Real-Time Systems
Book: [Liu, 2000]
Papers: [Lyons_MAH_18]
Video
	recording PDF
05 Gernot Virtual Machines
Papers: [Barham et al., 2003], [Waldspurger, 2002], [Dall & Nieh, 2014]
Video recording PDF
06 Gernot Performance Evaluation (measuring and analysing)
Paper: [Fleming & Wallace, 1986]
Other: [Gernot's Benchmarking Crimes]
Video
	recording PDF
07 Gernot Microkernel Design & Implementation (with focus on seL4)
Papers: [Liedtke, 1993], [Liedtke, 1995], [Blackham et al., 2012], [Heiser & Elphinstone, 2016]
Video
	recording PDF
08 Kevin SMP and Locking
Papers: [Anderson, 1990], [Clements et al. 2013]
Video recording PDF
09 Gernot OS Security
Miller, 2003
]
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 N/A Buffer
13 Gernot Exam preparation and Local Systems Research
Papers: [Klein et al., 2014], [Amani et al., 2016], [Shen & Elphinstone, 2015] [Klein et al., 2018],
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: 01 Nov 2018.