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 |