Overview

This term is devoted to operating systems principles, including the following topics: Monolithic and micro-kernels, virtual machines. Naming, memory management, segmentation, paging, and virtual memory. Filesystems and I/O. Threads, processes, scheduling, locks, semaphores, and mutual exclusion. Security policies, access-control, certificate-passing, and language-based security.

Syllabus

Week	Lecture dates	Main topics to be covered	Notes
1	September 30 October 2 October 4	Introduction [handouts] Architecture I [handouts] Architecture II [handouts]	LN1a
2	October 7 October 9 October 11	Processes [handouts] Semaphores I [handouts] Semaphores II [handouts]	LN2a
3	October 14 October 16 October 18	Monitors [handouts] Deadlock [handouts] Process implementation [handouts]	LN3a
4	October 21 October 23 October 25	Resource implementation [handouts] Scheduling [handouts] Memory management [handouts]	LN4a
5	October 28 October 30 November 1	Segmentation, paging [handouts] VM policies [handouts] Shared object [handouts]
6	November 4 November 6 November 8	Filesystems [handouts] Filesystem layout [handouts] Filesystem layout [handouts]	LN5a
7	November 11 November 13 November 15	Security [handouts] Access control, capabilities [handouts] Security [handouts]	LN6a
8	November 18 November 20 November 22	Modern OS, Lab5 [handouts] Mach, Amoeba [handouts]  Exokernel [handouts]	LN7a
9	November 25 November 27	VINO [handouts]
10	December 2 December 4 December 6	SPIN (no handouts) Mojave [handouts]	LN8a
11	December 9 December 11 December 13