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