8/27 (W) class begins
8/28 (Th)
Introduction
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