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

 Advanced Operating Systems 
 COMP9242 2008/S2 


Week    Topic    Print
01 Microkernels and L4 (Introduction) PDF
02 L4 Programming (OKL4 API in detail) PS
03 Microkernels (In a bit more depth)
Papers: [Brinch Hansen, 1970], [Chen & Bershad, 1993] [Liedtke, 1995] [Härtig et al., 1997] [Fleisch et al., 1998] [Schach et al., 2002]
04 Caches (What every OS Designer Must Know)
Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003]
Book: [Schimmel 1994]
05 Thread Models Recap 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]
  Kernel Thread Construction Alternatives (continuation-based and stateless kernels) PDF
06 Security (An advanced introduction)
[Arbaugh et al. 1997], [DoD 1986] [Shapiro and Weber 2000]
07 Dynamic Memory I  
  Dynamic Memory II  
08 Microkernel Construction 1
(A look at some small kernel construction issues)
  Microkernel Construction 2 PS
09 Real Time Systems
10 Towards a Practical, Verified Kernel
Paper: [Elphinstone et al., 2007]
  Kernel Design for Isolation and Assurance of Physical Memory
Paper: [Elkaduwe et al., 2008]
11 Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006]
12 Multiprocessing Issues
[Anderson, 1990]
Local R&D Overview

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: 03 Nov 2008.