Advanced Operating Systems
COMP9242 2005/S2
UNSW
CRICOS Provider
Number: 00098G
Printer-Friendly Version
Administration
-
Notices
-
Course Intro
-
Consultations
-
Survey Results
Work
-
Lectures
-
Selected Papers
-
Project Spec
-
Project FAQ
-
Exam
Forums
-
Forums
-
Can't Login?
Documentation
-
Project Resources
-
ASysT Lab
-
Using Sulima
-
L4 Debugging Guide
-
L4Ka::Pistachio FAQ
-
L4 source browser
-
SOS source browser
-
L4 reference manual
-
L4 user manual
-
Sulima ISA Simulator
-
R4x00 ISA Summary
-
MIPS R4700 Reference
-
MIPS R4000 User Manual
-
GT64111
Related Info
-
Aurema OS Prize
-
OS Hall of Fame
History
-
2004
-
2003
-
2002
-
2000
-
1999
-
1998
- 1997
Staff
-
Gernot Heiser
(LiC)
-
Kevin Elphinstone
- Guest Lecturers (TBA)
Stureps
-
Student Reps
Lectures
Week
Topic
Print
01
Microkernels and L4
(Introduction)
02
L4 Programming
(Introduction)
03
Caches
(Software Perspective)
04
Security
(Advanced Introduction)
05
Microkernels
(In a bit more depth)
06
Virtual Machines
(History and Current Research)
Virtual Machines
(Itanium and vNUMA)
07
Microkernel Construction
08
Microkernel Construction
09
SMP and Locking
10
Why Events are a Bad Idea
Why Threads are a Bad Idea
File System Workloads
11
Byzantine Generals Problem
Farsite
Backtracking Intrusions
Tiny OS
12
Local OS Research
(Cool opportunities for students)
13
Real-Time Systems
All lecture notes are available in two formats:
the "topic" is linked to PDF slides which I use in lectures (note that these are
unsuitable for printing
);
the PostScript or PDF symbol is linked to an 6-up or 8-up version suitable for printing.
Last modified: 23 Nov 2005.