1/16 (W) Classes begin.
Paxos
(only the basic Paxos protocol), Paxos
made simple (for reference, not required to read)
1/21 (M) MLK day -- no class
1/23 (W) Wei
Mencius:
Building Efficient Replicated State Machine for WANs OSDI 2008
1/28 Abeer
M.
Rosenblum
and
J.K.
Ousterhout,
"The
Design
and Implementation of a Log-Structured File System," 13th ACM
SOSP, 1992.
1/30 Xingguang
A.
W.
Appel
and
Kai
Li,
"Virtual Memory Primitives for User Programs"
2/4 -- no class
2/6 Christopher
C.A.
Waldspurger,
"Memory
Resource
Management
in
VMware ESX Server," OSDI 2002.
2/11 Lifu
S.
Savage,
M.
Burrows,
G.
Nelson,
P. Sobalvarro, and T. Anderson, "Eraser: A Dynamic Data Race
Detector for Multithreaded Programs," SOSP 1997
2/13 Brett
Eliminating
Receive
Livelock
in
an
Interrupt-driven
Kernel, USENIX 1996
2/18 Guoyang
R.
v.
Behren,
J.
Condit,
F.
Zhou, G. C. Necula, and E. Brewer, "Capriccio: Scalable Threads
for Internet Services," SOSP 2003
2/20 Atiqur
Exokernel:
An
Operating
System
Architecture
for
Application Level Resource Management
Midterm Exam
2/25 Amberly
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.
2/27 Shanhe
Frangipani:
A Scalable Distributed File System, SOSP'97
3/4 3/2-3/10 Spring break
3/6 3/2-3/10 Spring break
3/11 Mario
A.
Muthitacharoen,
B.
Chen,
and
D.
Mazieres, "A Low-Bandwidth Network File System," SOSP 2001
3/13 Yutao Tang
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.
3/18 Daiping
A
comparison of software and hardware techniques for x86
virtualization, ASPLOS
Reference: Intel
Virtualization Technology
3/20 Fengyuan
V-edge:
Fast Self-constructive Power Modeling of Smartphones Based on
Battery Voltage Dynamics, NSDI 2013
3/25 Evan
Arvind
Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny
hypervisor to provide lifetime kernel code integrity for commodity
OSes" SOSP 2007
3/27 Pallavi
Doug
Beaver,
Sanjeev
Kumar,
Harry
C. Li, Jason Sobel, and Peter Vajgel. "Finding a Needle in
Haystack: Facebook's Photo Storage" OSDI 2010
4/1 -- no class optional: Disruptive
Innovation: Data Domain Experience -- Kai Li's FAST 2013 keynote
4/3 -- no class
4/8 Victoria
Fay
Chang, Jeffrey Dean, Sanjay Ghemawat, Wilson C. Hsieh, Deborah A.
Wallach, Mike Burrows, Tushar Chandra, Andrew Fikes, and Robert E.
Gruber, "Bigtable: A Distributed Storage System for Structured
Data" OSDI 2006
4/10 Ed
William
Enck,
Peter
Gilbert,
Byung-gon
Chun, Landon P. Cox, Jaeyeon Jung, Patrick McDaniel, Anmol N.
Sheth. "TaintDroid: An Information-Flow Tracking System for
Realtime Privacy Monitoring on Smartphones" OSDI 2010
4/15 Andrew
Pasture:
Secure Offline Data Access Using Commodity Trusted Hardware
OSDI 2012
4/17 Kevin
MapReduce:
Simplified Data Processing on Large Clusters
4/22 Yifan
Overshadow:
a virtualization-based approach to retrofitting protection in
commodity operating systems, ASPLOS 2008
worse is
better? optional: more arguments
4/24
4/26 (F) Last day of class
Exam 5/2 (Th) 9-12 Spring
exam schedule
5/12 Commencement