8/27 (W) class begins

8/28 (Th)

9/2 (Tu)
R. Levin and D. Redell, "An Evaluation of the Ninth SOSP Submissions/How (and How Not) to Write a Good Systems Paper," ACM SIGOPS Operating Systems Review, vol 17, no 3, July 1983, pp 34-40.
Paxos (you only need to read the basic Paxos protocol), Paxos made simple (for reference, not required to read)
9/4 (Th)
Mencius: Building Efficient Replicated State Machine for WANs OSDI 2008

9/9 (Tu)
R. P. Gabriel, The Rise of ``Worse is Better''
J.H. Saltzer, D.P. Reed, and D.D. Clark, "End-to-end arguments in system design," ACM TCS, November 1984
L. Lamport, "Time, Clock, and the Ordering of Events in a Distributed System," CACM, July 1978 (you do not have to read the proof)
Vector clock
9/11 (Th)
Leases: An Efficient Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP 1989

9/16 (Tu)
M. Rosenblum and J.K. Ousterhout, "The Design and Implementation of a Log-Structured File System," 13th ACM SOSP, 1992.
9/18 (Th)
A. W. Appel and Kai Li, "Virtual Memory Primitives for User Programs"

9/23 (Tu) Ben Summers
C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.
9/25 (Th) Rongdong Chai
S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997

9/30 (Tu)
no class
10/2 (Th) Yiqiang Lin
Eliminating Receive Livelock in an Interrupt-driven Kernel, USENIX 1996

10/7 (Tu) midterm (tentative)
10/9 (Th) Carlos Bernal-Cardenas
R. v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads for Internet Services," SOSP 2003

10/11-14 fall break -- 14 classes remaining

10/14 (Tu) no class -- break
10/16 (Th) Yongsen Ma
Exokernel: An Operating System Architecture for Application Level Resource Management

10/21 (Tu) Fan Luo
J.H. Howard, M.L. Kazar, S.G. Menees, D.A. Nichols, M. Satyanarayanan, N. Sidebotham, and M.J. West, "Scale and Performance in a Distributed File System," ACM Transactions on Computer Systems, February 1988.
10/23 (Th) Haonan Wang
MapReduce: Simplified Data Processing on Large Clusters

10/28 (Tu) Chuong Ngo
Boris Dragovic, Keir Fraser, Steve Hand, Tim Harris, Alex Ho, Ian Pratt, Andrew Warfield, Paul Barham, and Rolf Neugebauer, "Xen and the Art of Virtualization" SOSP 2003.
10/30 (Th) Bin Nie
A comparison of software and hardware techniques for x86 virtualization, ASPLOS
Reference: Intel Virtualization Technology

11/4 (Tu) Yi Yuan
Arvind Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny hypervisor to provide lifetime kernel code integrity for commodity OSes" SOSP 2007
11/6 (Th) Steven Walker
Overshadow: a virtualization-based approach to retrofitting protection in commodity operating systems, ASPLOS 2008

11/11 (Tu) Hongyang Zhao
M. Burrows, "The Chubby lock service for loosely-coupled distributed systems," OSDI 2006
11/13 (Th) Shan Wang
S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP 2003.

11/18 (Tu) Shengye Wan
Spanner: Google’s Globally-Distributed Database, OSDI 2012
11/20 (Th) Lihua Ren
PowerGraph: Distributed Graph-Parallel Computation on Natural Graphs, OSDI'12

11/25 (Tu) Qingsen Wang
Making information flow explicit in HiStar OSDI 06
11/27 (Th) no class -- break

11/26-30 thanksgiving break

12/2 (Tu) Nic Powers
Optimistic crash consistency, SOPS'13
12/4 (Th) Hao Xu
B. W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.

12/5 class ends

Exam 12/9 (Tue.) 2-5PM  exam schedule