Schedule

The schedule below shows the tentative dates for all class topics, readings, and assignments. You should complete all assigned reading before class on the day it is listed. There may be some revisions to the schedule during the semester, but I will make sure to announce these changes in class.

Week 1

Tu
Jan 20

Introduction

Slides: Introduction

Reading

How (and How Not) to Write a Good Systems Paper
- Roy Levin and David D. Redell
- ACM SIGOPS Operating Systems Review. Vol 17, No 3. July, 1983

Th
Jan 22

Paper Discussion: Record and Replay

Reading

Engineering Record and Replay for Deployability
- Robert O’Callahan, Chris Jones, Nathan Froyd, Kyle Huey, Albert Noll, and Nimrod Partush
- USENIX Annual Technical Conference (2017)

Due

Reading Journal: Record and Replay (by 1:00pm)

Week 2

Tu
Jan 27

Lab Day: System Call Tracing

Reading

Syllabus

Assigned

Lab: System Call Tracing

Th
Jan 29

Paper Discussion: Software Fault Isolation

Reading

Efficient Software-Based Fault Isolation
- Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham
- ACM SIGOPS Operating Systems Review, Volume 27, Issue 5

Due

Reading Journal: Software Fault Isolation (by 1:00pm)

Week 3

Tu
Feb 3

Paper Discussion: MapReduce

Reading

MapReduce: Simplified Data Processing on Large Clusters
- Jeffrey Dean and Sanjay Ghemawat
- OSDI 2004

Due

Reading Journal: MapReduce (by 1:00pm)

Th
Feb 5

Paper Discussion: Chord

Reading

Chord: A scalable peer-to-peer lookup service for internet applications
- Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, and Hari Balakrishnan
- SIGCOMM 2001

Due

Reading Journal: Chord (by 1:00pm)

Week 4

Tu
Feb 10

Lab Day: Distributed Key–Value Store

Assigned

Lab: Distributed Key–Value Store

Due

Lab: System Call Tracing (11:59pm)

Th
Feb 12

Paper Discussion: Dynamo

Reading

Dynamo: Amazon’s Highly Available Key-Value Store
- Giuseppe DeCandia, Deniz Hastorun, Madan Jampani, Gunavardhan Kakulapati, Avinash Lakshman, Alex Pilchin, Swaminathan Sivasubramanian, Peter Vosshall, and Werner Vogels
- SOSP 2007

Due

Reading Journal: Dynamo (by 1:00pm)

Week 5

Tu
Feb 17

Paper Discussion: RAID

Reading

A Case for Redundant Arrays of Inexpensive Disks (RAID)
- David A. Patterson, Garth Gibson, and Randy H. Katz
- SIGMOD 1988
Redundant Arrays of Inexpensive Disks (RAIDs)
- OSTEP – Chapter 38
- (18 pages)

Due

Reading Journal: RAID (by 1:00pm)

Th
Feb 19

Paper Discussion: Log-Structured File Systems

Reading

The Design and Implementation of a Log-Structured File System
- Mendel Rosenblum and John K. Ousterhout
- ACM Transactions on Computer Systems, vol. 10, no. 1, February 1992

Due

Reading Journal: Log-Structured File Systems (by 1:00pm)

Week 6

Tu
Feb 24

Lab Day: Userspace File System

Assigned

Lab: Userspace File System

Due

Lab: Distributed Key–Value Store (11:59pm)

Th
Feb 26

Paper Discussion: Optimistic Concurrency Control

Reading

On Optimistic Methods for Concurrency Control
- H. T. Kung and John T. Robinson
- ACM Transactions on Database Systems, vol. 6, no. 2, June, 1981

Due

Reading Journal: Optimistic Concurrency Control (by 1:00pm)

Week 7

Tu
Mar 3

Paper Discussion: Grace

Reading

Grace: Safe Multithreaded Programming for C/C++
- Emery D. Berger, Ting Yang, Tongping Liu, and Gene Novark
- OOPSLA 2009

Due

Reading Journal: Grace (by 1:00pm)

Th
Mar 5

Paper Discussion: Eraser

Reading

Eraser: a Dynamic Data Race Detector for Multithreaded Programs
- Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson
- ACM Transactions on Computer Systems, vol. 15, no. 4, November 1997

Due

Reading Journal: Eraser (by 1:00pm)

Spring Break

Week 8

Tu
Mar 24

Lab Day: Deadlock Detection

Assigned

Lab: Deadlock Detector

Due

Lab: Userspace File System (11:59pm)

Th
Mar 26

Paper Discussion: DataCollider Class Canceled

Week 9

Tu
Mar 31

Paper Discussion: DataCollider

Reading

Effective Data Race Detection for the Kernel
- John Erickson, Madanlal Musuvathi, Sebastian Burckhardt, and Kirk Olynyk
- OSDI 2010

Due

Reading Journal: DataCollider (by 1:00pm)

Th
Apr 2

Paper Discussion: Riker

Reading

Riker: Always-Correct and Fast Incremental Builds from Simple Specifications
- Charlie Curtsinger and Daniel W. Barowy
- USENIX ATC 2022

Due

Reading Journal: Riker (by 1:00pm)

Week 10

Tu
Apr 7

Project

Due

Lab: Deadlock Detector (11:59pm)

Th
Apr 9

Paper Discussion: CP-67/CMS

Reading

A virtual machine time-sharing system
- R. A. Meyer and L. H. Seawright
- IBM Systems Journal 9(3), September 1970

Due

Reading Journal: CP-67/CMS (by 1:00pm)

Week 11

Tu
Apr 14

Project Working Day

Th
Apr 16

Paper Discussion: Xen

Reading

Xen and the Art of Virtualization
- Paul Barham, Boris Dragovic, Keir Fraser, Steven Hand, Tim Harris, Alex Ho, Rolf Neugebauer, Ian Pratt, and Andrew Warfield
- SOSP 2003

Due

Reading Journal: Xen (by 1:00pm)

Week 12

Tu
Apr 21

Project Working Day

Th
Apr 23

Paper Discussion: Microkernels

Reading

On µ-Kernel Construction
- Jochen Liedtke
- SIGOPS 1995

Due

Reading Journal: Microkernel Construction (by 1:00pm)

Week 13

Tu
Apr 28

Project Working Day

Th
Apr 30

Paper Discussion: KLEE

Reading

KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs
- Cristian Cadar, Daniel Dunbar, and Dawson Engler
- OSDI 2008

Due

Reading Journal: KLEE (by 1:00pm)

Week 14

Tu
May 5

Project Working Day

Th
May 7

Wrap Up

Reading

Reflections on Trusting Trust
- Ken Thompson
- Communications of the ACM 27(8), August 1984

Due

Reading Journal: Trusting Trust (by 1:00pm)

Finals Week

Tu
May 12

Project Presentations (9am–noon)

F
May 15

Work Due

Work cannot be submitted after 5pm on the Friday of finals week unless you have an approved incomplete. If you believe you need to request an incomplete, please meet with the instructor as soon as possible and review the instructions and deadlines on the Registrar’s page.