15-712 Syllabus


There are no official texts for the course. If you're not familiar with the background material, you may wish to look at:

You might take a peek at the two CMU undergrad systems courses for background information on operating systems (15-410) and networking (15-441).

Suggested Readings

You may also find the following readings useful:


Your final grade for the course will be based on the following weights:

The project in 15-712 is an open-ended research project, done in groups of three. The project requires a proposal, a project status report, and a final report (both written and presented).


Also available as an ical file that you can subscribe to.

Date Topics Notes Readings
Wed 09/06 Introduction
Wisdom papers Brooks75, Hamming86, Gabriel91–Section 2.1 only, Lampson83, Saltzer84, Ritchie74
Part 1: Concurrency, Threads, and Ordering
Fri 09/08 Implementing Remote Procedure Calls
SigOps HoF paper Birrell84
Mon 09/11 Using Threads in Interactive Systems: A Case Study
Wed 09/13 Time, Clocks, and the Ordering of Events in a Distributed System
SigOps HoF paper Lamport78
Part 2: Bugs, Bugs, Bugs
Fri 09/15 Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs
SOSP'97 best paper. Bugs as Deviant Behavior (SOSP'01) Savage97
Mon 09/18 Using Model Checking to Find Serious File System Errors
OSDI'04 best paper. Towards Optimization-Safe Systems (SOSP'13 best paper) Yang04
Part 3: File Systems and Disks
Wed 09/20 AFS
Leases. SigOps HoF papers Howard88
Fri 09/22 The Design and Implementation of a Log-Structured File System
SigOps HoF paper. Deadline to form project groups. Rosenblum92
Mon 09/25 A Case for Redundant Arrays of Inexpensive Disks (RAID)
SigOps HoF paper. Fast'07 best paper. Guest Lecturer Garth Gibson Patterson88, Schroeder07
Part 4: Big Data Systems
Wed 09/27 MapReduce and Spark
SigOps HoF paper. NSDI'12 best paper. Dryad Dean04, Zaharia12
Fri 09/29 Naiad: A Timely Dataflow System
SOSP'13 best paper Murray13
Mon 10/02 No lecture
Course staff will be available to discuss project ideas
Wed 10/04 Dynamo: Amazon's Highly Available Key-value Store
Fri 10/06 Paxos
Lamport's original Greek parable (SigOps HoF paper). Lamport's comments on original paper. Wikipedia Paxos article. Lamport01
Part 5: Kernels and Parallelism
Mon 10/09 From shared virtual memory to parameter servers (Li & Li)
SigOps HoF paper. OSDI'14 paper Li89, Li14
Wed 10/11 Spanner: Google's Globally-Distributed Database
OSDI'12 best paper. BigTable (OSDI'06 best paper) Corbett12
Fri 10/20 No class
Tue 10/24 Review
Thu 10/26 Midterm Exam
Sat 10/28 No class
Staff will be grading, you work on project.
Tue 10/31 Exokernel and Safe kernel extensions
SOSP'97 paper. SigOps HoF paper. Original Exokernel paper, Multikernel (SOSP'09) Kaashoek97, Necula96
Thu 11/02 No Class. OSDI and Project Season
Sat 11/04 No Class. OSDI and Project Season
Tue 11/07 The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors
SOSP13 best paper. Clements15
Part 6: Transactions and Databases
Thu 11/09 On Optimistic Methods for Concurrency Control
SigOps HoF paper. Speculative Execution in a Distributed File System, Efficient Locking for Concurrent Operations on B-Trees Kung81
Sat 11/11 Project Discussions With Staff
Tue 11/14 Concurrency Control and Recovery
Bernstein's concurrency notes - MVCC, Coordination Avoidance Franklin97
Part 7: Generalized Fault Tolerance and Security
Thu 11/16 No class OR 3 groups of project meetings
Sat 11/18 Project Meetings (all day)
Please schedule a 30 minute time slot for an Interim Project Report.
Tue 11/21 Implementing Fault-Tolerant Services Using the State Machine Approach: a Tutorial
SigOps HoF paper Schneider90
Thu 11/23 No Class, Gobble Gobble
Sat 11/25 No Class, Gobble Gobble
Tue 11/28 The Byzantine Generals Problem
Lamport's comments on the Byzantine Generals paper. Practical Byzantine Fault Tolerance (OSDI'99) Lamport82
Thu 11/30 Reflections on Trusting Trust, Why Cryptosystems Fail, Crisis and Aftermath
SigOps HoF paper. Write summary only for Anderson94. Thompson84, Anderson94, Spafford89
Sat 12/02 No class
Tue 12/05 Highlights from the SOSP'15 History Day talks
SOSP'15 History Day
Thu 12/07 No class
Work on project and study for midterm
Sat 12/09 Midterm 2
Tue 12/12 Project Presentations
Wed 12/13 Project Presentations
Final report due before midnight tonight

Last updated: 2017-09-07 21:04:30 -0400 [validate xhtml]