Lectures

A preliminary version of lecture notes may be posted before each class. An updated version will be posted right after each class. Suggested readings are provided for two alternative textbooks. Of course, you only need to read one of them.
Note: Schedules are subject to changes, please check back frequently.

Date Lecture notes Readings
Jan 17, Wednesday Introduction Tanenbaum 1.1-1.3
SGG chapter 1
Jan 22, Monday Operating system organization Tanenbaum 1.4-1.7
SGG chapter 2-3
Jan 24, Wednesday (Moved to
4:50-6:05pm Jan 23, Tuesday
)
Processes and threads Tanenbaum 2.1-2.2
SGG chapter 4, 5
Jan 29, Monday CPU Scheduling Tanenbaum 2.5, 8.1
SGG chapter 6
Jan 31, Wednesday Synchronization principles Tanenbaum 2.3
SGG 7.1-7.4
Feb 5, Monday High-level synchronization Tanenbaum 2.4
SGG 7.5-7.10
Feb 7, Wednesday More on synchronization and deadlocks Tanenbaum chapter 3
SGG chapter 8
Feb 12, Monday Introduction to Nachos/Xen assignments Introduction to Nachos
Introduction to Xen
Feb 14, Wednesday (Moved to
4:50-6:05pm Feb 13, Tuesday
)
Basic memory management Tanenbaum 4.1-4.3
SGG 9.1-9.4
Feb 19, Monday Memory paging Tanenbaum 4.3,4.8
SGG 9.4-9.6
Feb 21, Wednesday Virtual memory Tanenbaum 4.4-4.7
SGG chapter 10
Feb 26, Monday More on virtual memory Tanenbaum 4.4-4.7
SGG 10
Feb 28, Wednesday I/O systems Tanenbaum 5.1-5.3
SGG chapter 13
Mar 5, Monday Storage devices Tanenbaum 5.4-5.9
SGG chapter 14
Mar 7, Wednesday Midterm
Mar 12, Monday Spring break
Mar 14, Wednesday Spring break
Mar 19, Monday File system I Tanenbaum 6.1-6.2
SGG chapter 11
Mar 21, Wednesday File system II Tanenbaum 6.3-6.4
SGG chapter 12
Mar 26, Monday File system III Tanenbaum 6.3-6.4
SGG chapter 12
Mar 28, Wednesday Security Tanenbaum 9.1-9.5
SGG chapter 19
Apr 2, Monday Protection Tanenbaum 9.6-9.7
SGG chapter 18
Apr 4, Wednesday Multiprocessor OS Tanenbaum 8.1
Apr 9, Monday Concurrent online servers
Apr 11, Wednesday More on server system support
Apr 16, Monday The Linux kernel Tanenbaum chapter 10
SGG chapter 20
Apr 18, Wednesday The Windows 2000 Tanenbaum chapter 11
SGG chapters 21
Apr 23, Monday Micro-kernel OS Tanenbaum 1.7
SGG appendix B
Apr 25, Wednesday Singularity (Guest lecture by Mike Spear)
April 30, Monday Virtual machines
May 2, Wednesday Course review