Advanced Operating Systems Lectures

The schedule for future lectures is tentative and subject to change.

Week	Date	Topic	Slides	Print
1	19.02	Introduction; L4 background
2	26.02	Programming L4
3	04.03	Caches and TLBs
4	11.03	Page tables, Security, Capabilities
5	18.03	Kernel Construction and Architecture
7	01.04	No lecture; lab marking
8	08.04	Networking
9	15.04	Multiprocessing and Multi/manycore
10	22.04	Threads, IPC, Dispatch, Events
11	29.04	Guest lecture: Virtual Machines (Steve Hand)
12	06.05	More threads, IPC, Dispatch, Events
13	13.05	CPU Scheduling and Real time
14	20.05	VM applications: Rethinking Synchronization
15	27.05	Current OS research in the Systems Group: Barrelfish