Princeton University
Computer Science Department

Computer Science 318
Operating Systems

Kai Li
Andy Bavier

Fall 2013
Directory
General Information | Schedule | Projects | Policies

Schedule and Lecture Notes

Here is the tentative schedule of lectures for the course. Links will be updated throughout the term.

You are expected to complete the readings before the corresponding lecture.

Date Topic Instructor Reading
9/12 Introduction Li, Bavier MOS 1.1-1.3
9/17 Overview Bavier MOS 1.4-1.5
9/19 OS Structure Bavier MOS 1.6-1.7
9/24 Processes & Threads Bavier MOS 2.1, 2.2.1-2.2.3
9/26 Threads Implementation (Non-preemptive & Preemptive) Bavier MOS 2.2.4-2.2.9
10/1 Mutex Implementation Li MOS 2.3.3, 2.3.6
10/2 Quiz 1: OS structure, processes, and threads submit
10/3 Semaphores, Monitors, & Condition Variables Li MOS 2.3.5, 2.3.7, Birrell's paper
10/8 CPU Scheduling Bavier MOS 2.4
10/9 Quiz 2: Synchronizations submit
10/10 Deadlocks Bavier MOS 6
10/15 I/O Devices and Drivers Li MOS 5.1-5.3, 5.5-5.9
10/16 Quiz 3: Scheduling and deadlocks submit
10/17 Security and protection Felten MOS 9
10/22 Message Passing Li MOS 2.3.8, 8.2.1-8.2.4
10/24 Midterm exam, suggested solutions 2011 midterm 2012 midterm
11/5 Virtual Memory Address Translation Bavier MOS 3.1-3.3
11/7 Virtual Memory Paging and Replacement Bavier MOS 3.4
11/12 Virtual Memory Design Issues Bavier MOS 3.5-3.6
11/13 Quiz 4: I/O device and communication submit
11/14 Internetworking Freedman DARPA Internet Protocols paper
11/19 Virtual Machine Monitors Bavier Virtual Machine Monitors paper
11/20 Quiz 5: Virtual memory and virtual machine monitors submit
11/21 Storage Devices Li MOS 5.4
11/26 File Layout and Directories Li MOS 4.2,4.3.1-4.3.3, 4.5.2-4.5.3
12/3 Storage and File Hierarchy Li MOS 4.1, 9.3.1-9.3.3
12/5 File Caching and Reliability Li MOS 4.4.2-4.4.4, 4.3.5, 4.3.6
12/10 Journaling, NFS, and WAFL Li MOS 10.6.3-10.6.4, NetApp paper
12/11 Quiz 6: File systems submit
12/12 Deduplication file system and review Li Deduplication paper