[CSE]  Advanced Operating Systems 
 COMP9242 2004/S2 
UNSW

PRINTER Printer-Friendly Version
Administration               
- Notices
- Course Intro
- Consultations
- Survey Results
 
Work
- Lectures
- Selected Papers
- Project Spec
- Project FAQ
- Exam
 
Documentation
- Project Resources
- ASysT Lab
- Using Sulima
- L4 Debugging Guide
- L4Ka::Pistachio FAQ
- L4 source browser
- SOS source browser
- L4 reference manual
- Sulima ISA Simulator
R4x00 ISA Summary 
MIPS R4700 ReferenceMIPS R4000 User Manual 
- GT64111

 
Related Info
- Aurema OS Prize
- OS Hall of Fame
 
History
- 2003
- 2002
- 2000
- 1999
- 1998
 
Staff
- Gernot Heiser (LiC)
- Kevin Elphinstone
- Guest Lecturers (TBA)
 
Stureps
- Student Reps

 
Valid HTML 4.0!

Lectures

Week    Topic    Print
01 INTRODUCTION (Course and L4) PDF
02 L4 API (L4 Programming Introduction) PDF
03 Caches (An OS Perspective) PS
04 Computer Security (Broad Overview including OS mechanisms) PDF
05 Microkernels PS
A Critique of Microkernels PS
06 Microkernel Construction 1 (A guide to L4 internals) PS
07 Microkernel Construction 2 (A guide to L4 internals) PS
08 Real Time Systems
09 SMP & Locking PS
User-Level Device Drivers (ACSAC'04 Conference Talk) PS
11 File System Workloads PS
Anticipatory Disk Scheduling PS
Byzantine Generals Problem PS
FARSITE PS
12 Why Threads Are a Bad Idea PS
Why Events Are a Bad Idea PS
Back Tracking Intrusions PS
TinyOS PS
13 Single-Address-Space OS (Mungi) PS
14 Local OS Research and Projects PS

All lecture notes are available in two formats:
  1. the "topic" is linked to PDF slides which I use in lectures (note that these are unsuitable for printing);
  2. the PostScript or PDF symbol is linked to an 6-up or 8-up version suitable for printing.

Last modified: 04 Nov 2004.