15-712 Syllabus

• 15-712 Home
• Syllabus
• Exams
• Announcements
• Summaries
• Project

Textbooks

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

• Remzi Arpaci-Dusseau's OS lecture notes are a great, free, online resource for background ugrad OS concepts.
• Operating Systems: Principles and Practice, by Thomas Anderson and Michael Dahlin.
• Computer Networks: A Systems Approach, third edition, by Larry Peterson and Bruce Davie. It is available in the CMU Bookstore. Covers background networking material that we assume students will be generally familiar with.
• Advanced Programming in the Unix Environment by W. Richard Stevens, Addison-Wesley, 1993.
• Unix Network Programming: Networking APIs: Sockets and XTI (Volume 1) by W. Richard Stevens.
• The Art of Computer Systems Performance Analysis, by Raj Jain.
• Distributed Algorithms, by Nancy Lynch

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:

• The Mythical Man-Month: Essays on Software Engineering, by Fred Brooks
• Scale and performance in a distributed file system, Howard, Kazar, Menees, Nichols, Satyanarayanan, Sidebotham, and West. ACM Transactions on Computer Systems (Feb 1988). This paper describes AFS, and is cited by most papers that evaluate filesystem performance. Many people simply know this paper as Howard88. You may find this interesting because you use AFS, and you may need to cite this if you build a storage system.
• End-to-end arguments in system design, Saltzer, Reed, and Clark. ACM Transactions on Computer Systems (Nov 1984). This paper presents the design principle that functionality should be end-to-end. For example, data should be verified or encrypted at the source and destination rather than along the way. Mechanisms in the middle tend to be redundant.

Grading

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

• 40% Project
• 20% Midterm exam
• 20% Final exam
• 20% Paper Summaries, homeworks, and participation

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).

Schedule

Date	Topics	Notes	Readings
Mon 8/25 dga	Introduction	Wisdom papers	KeshavHowToRead, StentHowToRead, LevisHowToRead, Hamming86, Lampson83,
Part 1: Concurrency, Threads, Parallelism, Ordering, and Races
Wed 8/27 dga	Implementing remote procedure calls	SigOps HoF paper	Saltzer84, Birrell84,
Fri 8/29 dga	Datacenter RPCs can be General and Fast		Kalia18,
Mon 9/1	No Class - Labor Day
Wed 9/3 prs	Using Threads in Interactive Systems: A Case Study		Hauser93,
Fri 9/5 prs	Time, Clocks, and the Ordering of Events in a Distributed System	SigOps HoF paper	Lamport78,
Part 2: More bugs than a bait store
Mon 9/8 prs	Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs	SOSP'97 best paper. Bugs as Deviant Behavior (SOSP'01).	Savage97,
Wed 9/10 dga	IronFleet: Proving Practical Distributed Systems Correct	A discussion in The Morning Paper.	Hawblitzel15,
Part 3: File Systems and Disks
Fri 9/12	AFS	Leases paper. SigOps HoF papers	Howard88,
Mon 9/15	The Design and Implementation of a Log-Structured File System	SigOps HoF paper.	Rosenblum92,
Wed 9/17	A Case for Redundant Arrays of Inexpensive Disks (RAID)	SigOps HoF paper. Fast'07 best paper.	Patterson88, Schroeder07,
Part 4: Big Data Systems
Fri 9/19	MapReduce and Ray	SigOps HoF paper. For more see Spark, Nyad, and Dryad.	Dean04, Moritz18,
Mon 9/22	DBOS: A DB-oriented Operating System		DBOS,
Wed 9/24	No Class - Rosh Hashanah
Part 5: Kernels and Parallelism
Fri 9/26	OS Architecture and Extensibility: SPIN and the Exokernel	SOSP'97 paper. SigOps HoF paper. Original Exokernel paper Multikernel (SOSP'09).	Bershad95, Kaashoek97,
Mon 9/29	Fault Tolerance: Primary-Backup State Machine Replication		VMFT,
Wed 10/1	Paxos	Wikipedia Paxos article. Lamport's original Greek parable Lamport's comments on original paper..	Lamport01,
Fri 10/3	Midterm Review (no lecture)	You're welcome to use the classroom or do this on your own, dga will not be there.
Mon 10/6	Project Discussions (in class)
Wed 10/8	Midterm 1
Fri 10/10	Project Discussions with Staff
Mon 10/13	No Class - Fall Break
Wed 10/15	No Class - Fall Break
Fri 10/17	No Class - Fall Break
Mon 10/20	Project Discussions with Staff
Wed 10/22	The Scalable Commutativity Rule: Designing Scalable Software for Multicore Processors	SOSP'13 best paper	Clements13,
Fri 10/24	No class
Part 6: Transactions and Databases
Mon 10/27	On Optimistic Methods for Concurrency Control	SigOps HoF paper. Spectulative Execution in a Distributed File System Efficient Locking for Concurrent Operations on B-Trees	Kung81,
Wed 10/29	Project Meetings (all day)
Fri 10/31	Concurrency Control and Recovery	Bernstein's concurrency notes - MVCC, Coordination Avoidance	Franklin97,
Mon 11/3	No class
Wed 11/5	No class
Part 7: Generalized Fault Tolerance and Security
Fri 11/7	The Byzantine Generals Problem	Lamport's comments on the Byzantine Generals paper. Practical Byzantine Fault Tolerance OSDI'99.	Lamport82,
Mon 11/10	No class
Wed 11/12	Reflections on Trusting Trust, Why Cryptosystems Fail, Crisis and Aftermath	SigOps HoF paper. Write Summary only for Anderson94.	Thompson84, Anderson94, Spafford89,
Fri 11/14	Highlights from the SOSP15 History Day Talks	SOSP15 History Day.
Mon 11/17	Midterm 2
Wed 11/19	No class. We grade, you project.		Ware24, PLMW24,
Fri 11/21	TBD
Mon 11/24	No Class - Early Thanksgiving Break
Wed 11/26	No Class - Thanksgiving Break
Fri 11/28	No Class - Thanksgiving Break
Mon 12/1	Project Presentations (tenative date)
Wed 12/3	Project Presentations (tenative date)	Final report due before midnight tonight
Fri 12/5