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

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Exam
 
Forums
- Forums
 
Resources
Project Resources
Slug Lab
L4 Debugging Guide
Developing on a Mac
Developing on Linux
SOS source browser

 
Documentation
OKL4 reference manual
Elfweaver user manual
IXP42X hardware manual 
OKL Wiki
NSLU2-Linux HomePage
Intel IXP400 Software

 
Related Info
IBM OS Prize
OS Hall of Fame
 
History
2007
2006
2005
2004
2003
2002
2000
1999
1998
- 1997
 
Staff
- Gernot Heiser
- Kevin Elphinstone (LiC)
- Guest Lecturers (TBA)
 
Stureps
- Student Reps
<'TD>

 
Valid HTML 4.0!

Lectures

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]
PS
04 Caches (What every OS Designer Must Know)
Papers: [Clark, Emer 1985], [Uhlig et al. 1994], [Wiggins 2003]
Book: [Schimmel 1994]
PDF
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]
PDF
  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]
PS
07 Dynamic Memory I  
  Dynamic Memory II  
08 Microkernel Construction 1
(A look at some small kernel construction issues)
PS
  Microkernel Construction 2 PS
09 Real Time Systems
PS
10 Towards a Practical, Verified Kernel
Paper: [Elphinstone et al., 2007]
PS
  Kernel Design for Isolation and Assurance of Physical Memory
Paper: [Elkaduwe et al., 2008]
PS
11 Virtual Machines
[Barham et al., 2003], [Waldspurger, 2002], [Adams and Agesen, 2006]
PS
12 Multiprocessing Issues
[Anderson, 1990]
PS
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.