Advanced Operating Systems
COMP9242 2002/S2
UNSW
Printer-Friendly Version
Administration
-
Notices
-
Course Intro
-
Consultations
# On-line Survey (closed)
-
Survey Results
Work
-
Lectures
-
Milestone 0
-
Project Admin
-
Project Spec
-
Project FAQ
-
Exam
Documentation
-
ASysT Lab
-
L4 source browser
-
Sulima ISA Simulator
-
R4x00 ISA Summary
-
MIPS R4700 Reference
-
MIPS R4000 User Manual
-
Network Driver
-
GT64111
Related Info
-
Aurema OS Prize
-
OS Hall of Fame
History
-
2000
-
1999
-
1998
Staff
-
Gernot Heiser
(LiC)
Lectures
Week
Topic
Print
Web
01-02
L4 Introduction and L4 API
03
Caches
Protection Mechanisms
04
Microkernels & Client-Server Architectures
05
Microkernel Performance
Liedtke,
On Mikrokernel Construction
, SOSP '95,
© ACM
Liedtke,
Towards Real Mikrokernels
, CACM '96,
© ACM
Härtig et al,
The Performance of Mikrokernel-Based Systems
, SOSP '97,
© ACM
06
Microkernel Implementation
(L4/MIPS)
07
Security
(Greg Rose)
08
Page Tables
(Chris Szmajda)
09
File Systems
(Peter Chubb)
10
SMP (and Real Time)
12
Mungi
(Part 1: Basics)
13
Mungi
(Part 2: Programming in Mungi)
13
Mungi
(Part 3: More on Mungi)
14
Hot Topics -- Cool Systems
All lecture notes are available in three formats:
the "topic" is linked to PDF slides which I use in lectures (note that these are
unsuitable for printing
);
the PostScript symbol is linked to an 8-up version suitable for printing;
the WWW symbol is linked to a minimally formatted HTML version.
Last modified: 07 Nov 2002.