Tentative Lecture Schedule


Lecture	Date	Topic	Reading
1	Jan 17	Class overview and logistics, Classics (I) (Notes: pptx, pdf)	The UNIX Time-Sharing System (Dennis M. Richie and Ken Thompson)
2	Jan 22	Classics (II) (Notes: pptx, pdf)	A History and Evaluation of System R (D. Chamberlin et al.) Optional: Architecture of a Database System (Joseph M. Hellerstein, Michael Stonebraker, James Hamilton) Optional: The Design and Implementation of INGRES (Michael Stonebraker, Eugene Wong, Peter Kreps and Gerald Held)
3	Jan 24	Persistency (I) (Notes: pptx, pdf)	A Fast File System for UNIX (McKusick, Joy, Leffler and Fabry) Analysis and Evolution of Journaling File Systems (Prabhakaran, Arpaci-Dusseau, Arpaci-Dusseau) Optional: The Design and Implementation of a Log-Structured File System (Rosenblum and Ousterhout)
4	Jan 29	Layering and projects (Notes: pptx, pdf)	End to End Arguments in System Design e2e arguments (Saltzer, Reed, and Clark) Suggestions for class projects
5	Jan 31	Persistency (II) (Notes: pptx, pdf)	The HP AutoRAID Hierarchical Storage System (Wilkes, Golding, Staelin and Sullivan)
6	Feb 5	Persistency (III) (Notes: pptx, pdf)	ARIES: A Transaction Recovery Method Supporting Fine-Granularity Locking and Partial Rollbacks Using Write-ahead Logging (C. Mohan et al., in Red Book) Optional: Lightweight Recoverable Virtual Memory (M. Satyanarayanan, Henry H. Mashburn, Puneet Kumar, David C. Steere, and James J. Kistler)
7	Feb 7	Concurrency (I) (Notes: pptx, pdf)	Granularity of Locks and Degrees of Consistency in a Shared Database (Gray et al., also in the Red Book) Generalized Isolation Levels (Atul Adya, Barbara Liskov, Patrick O'Neil) Optional: Experience with Processes and Monitors in Mesa (Butler Lampson and David Redell)
8	Feb 12	Concurrency (II) (Notes: pptx, pdf)	CRDTs: Consistency without concurrency control (Shapiro et al.) Coordination Avoidance in Database Systems (Bailis et al.)
9	Feb 14	Coordination (I) (Notes: pptx, pdf)	Paxos Made Simple (Leslie Lamport) In Search of an Understandable Consensus Algorithm (Diego Ongaro and John Ousterhout)
	Feb 19	President's Day
10	Feb 21	Coordination (II) (Notes: Paxos/Raft, Chubby)	The Chubby lock service for loosely-coupled distributed systems (Mike Burrows) Optional: etcd: etcd LWN article and etcd homepage
11	Feb 26	Virtualization (I) (Notes: pptx, pdf)	Disco: Running Commodity Operating Systems on Scalable Multiprocessors (Edouard Bugnion, Scott Devine, and Mendel Rosenblum) Xen and the Art of Virtualization (P. Barham, B. Dragovic, K Fraser, S. Hand, T. Harris, A. Ho, R. Neugebauer, I. Pratt and A. Warfield)
12	Feb 28	Virtualization (II) (Notes: pptx, pdf; LightVM (SOSP 17))	Live Migration of Virtual Machines (C. Clark, K. Fraser, S. Hand, J. Hansen, E. Jul, C. Limpach, I. Pratt, A. Warfield) Containers (Docker): An Updated Performance Comparison of Virtual Machines and Linux Containers (Wes Felter, Alexandre Ferreira, Ram Rajamony, Juan Rubio)
13	Mar 5	Cluster Resource Management (Notes: pptx, pdf)	Mesos: A Platform for Fine-Grained Resource Sharing in the Data Center (B. Hindman et al.) Borg, Omega, and Kubernetes (Burns et al.)
14	Mar 7	Serverless Computing (Notes: pdf)	Serverless Computing: Current Trends and Open Problems (Baldini et al.) Serverless Computation with OpenLambda (Hendrickson et al) Optional:AWS Lambdas
15	Mar 12	Scheduling (Notes: Lottery Scheduling; DRF)	Lottery Scheduling: Flexible Proportional-Share Resource Management (Waldspurger and Weihl) Dominant Resource Fairness: Fair Allocation of Multiple Resource Types (Ghodsi et al.) Optional: Stride Scheduling: Deterministic Proportional-Share Resource Management (Waldspurger and Weihl)
16	Mar 14	Distributed Lookup and Key-Value Store (Notes: pptx, pdf)	Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications (Ion Stoica, Robert Morris, David Karger, M. Frans Kaashoek, Hari Balakrishnan) Dynamo: Amazon's Highly Available Key-value Store (Giuseppe DeCandia et al.)
17	Mar 19	Distributed Storage (Notes: pptx, pdf)	The Google File System (Sanjay Ghemawat, Howard Gobioff, and Shun-Tak Leung) Bigtable: A Distributed Storage System for Structured Data (Fay Chang et al.)
18	Mar 21	Microkernels (I) (Notes: pptx, pdf)	Microkernel Operating System Architecure and Mach (D. Black et al.) seL4: Formal Verification of an OS Kernel (G. Klein et al.)
	Mar 26	Spring Recess
	Mar 28	Spring Recess
19	Apr 2	Microkernels (II) (Notes: pptx, pdf)	SPIN: An Extensible Microkernel for Application-specific Operating System Services Exokernel: An Operating System Architecture for Application-Level Resource Management (D. Engler et al.)
20	Apr 4	Parallel Programming (I) (Notes: pptx, pdf)	OpenMP: An Industry-Standard API for Shared-Memory Programming (Leonardo Dagum and Ramesh Menon) Cilk: An Efficient Multithreaded Runtime System (Blumofe et al.)
21	Apr 9	Parallel Programming (II) (Notes: pdf, Ali's Erlang lecture)	Go at Google: Language Design in the Service of Software Engineering (Rob Pike) Optional:Try out Goroutines! Erlang: Making reliable distributed systems in the presence of software errors (Joe Armstrong), look at chapters 2 and 4
22	Apr 11	Distributed Systems (I) (Notes: pptx, pdf)	MapReduce: Simplified Data Processing on Large Clusters (Jeffrey Dean and Sanjay Ghemawat) Spark: Cluster Computing with Working Sets (Matei Zaharia, Mosharaf Chowdhury, Michael J. Franklin, Scott Shenker, Ion Stoica)
23	Apr 16	Distributed Systems (II) (Notes: pptx, pdf)	A High-Performance, Portable Implementation of the MPI Message Passing Interface Standard (William Gropp et al.) Ray: A Distributed Framework for Emerging AI Applications(Moritz et al.)
24	Apr 18	Model Training and Serving (Notes: pptx, pdf)	TensorFlow: A system for large-scale machine learning (Abadi et al.) Optional: PyTorch Clipper: A Low-Latency Online Prediction Serving System (Crankshaw et al.)
25	Apr 23	Security (I) (Notes: pptx, pdf)	Making Information Flow Explicit in HiStar (Zeldovich et al.) Using Crash Hoare Logic for Certifying the FSCQ File System (Chen et al.)
26	Apr 25	Security (II) (Notes: Takeaways; Wenting's Opaque lecture)	CryptDB: Protecting Confidentiality with Encrypted Query Processing (Popa et al.) Opaque: An Oblivious and Encrypted Distributed Analytics Platform (Zheng et al.)
	Wednesday, May 9	Poster session, 9:30-11:30am, Wozniak Lounge
	Friday, May 11	Final report due (11:59:59pm)