1/19
Paxos (only
the basic Paxos protocol), Paxos
made
simple (hard to read)
1/24 Aaron Paloski
M.K.
McKusick,
W.N.
Joy,
S.J.
Leffler,
and R.S. Fabry, "A Fast File
System for UNIX," Computer Systems, vol 2, no 3, 1984.
1/26 Jidong Xiao
M.
Rosenblum
and
J.K.
Ousterhout,
"The
Design and Implementation of a
Log-Structured File System," 13th ACM SOSP, 1992.
1/31 Ed Novak
A.
W.
Appel
and
Kai
Li, "Virtual Memory Primitives for User Programs"
2/2 Zhang Xu
C.A.
Waldspurger,
"Memory
Resource
Management
in VMware ESX Server," OSDI
2002.
2/7 Haiyan Zhu
Leases: An Efficient
Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP
1989
2/9 Haitao Xu (present 2 papers)
L. Lamport, "Time, Clock, and
the Ordering of Events in a Distributed System," CACM, July 1978
J.G. Steiner, C.
Neuman,
and J.I. Schiller, "Kerberos: An
Authentication Service for Open Network Systems," USENIX Winter
Conference, February 1988.
2/14 Seyed Amir Iranmanesh
Mencius: Building Efficient
Replicated State Machine for WANs OSDI 2008
2/16 Mingzhou Zhou
Miguel
Castro,
Barbara
Liskov,
"Practical
Byzantine
Fault Tolerance" OSDI 1999
Some
explanation
2/21 Maxim Kowalski
B.
W.
Lampson
and
D.
D. Redell, "Experience
with Processes and Monitors in Mesa," Communications of the ACM,
February 1980.
2/23 Kari Heffner
S.
Savage,
M.
Burrows,
G.
Nelson, P. Sobalvarro, and T. Anderson, "Eraser:
A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
2/28 Weiyi Zhang
Eliminating
Receive
Livelock
in
an
Interrupt-driven Kernel, USENIX 1996
3/2 Xin Qi
Exokernel:
An
Operating
System
Architecture
for Application Level
Resource Management
Midterm 2/25 (F) 3:00PM
3/5(Sat.)-3/13(Sun.) Spring Break
3/14 Lingfei Wu
R.
v.
Behren,
J.
Condit,
F. Zhou, G. C. Necula, and E. Brewer, "Capriccio:
Scalable Threads for Internet Services," SOSP 2003
3/16 Haiyan
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.
3/21 Haitao
J.J.
Kistler
and
M.
Satyanarayanan,
"Disconnected
Operation in the Coda
File System," ACM Transactions on Computer Systems, February 1992.
3/23 Ed
A.
Muthitacharoen,
B.
Chen,
and
D. Mazieres, "A
Low-Bandwidth Network File System," SOSP 2001
3/28 Zhang
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/30 Jidong
A
comparison of software and hardware techniques for x86 virtualization,
ASPLOS
Reference: Intel
Virtualization
Technology
4/4
4/6 Mingzhou
MapReduce:
Simplified Data Processing on Large Clusters
4/11*
4/13*
4/18 Seyed
Arvind
Seshadri, Mark Luk, Ning Qu, Adrian Perrig. "SecVisor: a tiny
hypervisor to provide lifetime kernel code integrity for commodity
OSes"
SOPS 2007
Maxim
Doug
Beaver,
Sanjeev
Kumar,
Harry C. Li, Jason Sobel, and Peter Vajgel.
"Finding a Needle in Haystack: Facebook's Photo Storage" OSDI 2010
4/20 Weiyi
Muli
Ben-Yehuda,
Michael
D.
Day, Zvi Dubitzky, Michael Factor, Nadav
Har'El, Abel Gordon, Anthony Liguori, Orit Wasserman and Ben-Ami
Yassour. "The Turtles Project: Design and Implementation of Nested
Virtualization" OSDI 2010
Aaron
M.
Burrows,
"The
Chubby
lock
service
for loosely-coupled distributed systems," OSDI 2006
4/25 Kari
Prince
Mahajan,
Srinath
Setty,
Sangmin Lee, Allen Clement, Lorenzo
Alvisi, Mike Dahlin, and Michael Walfish. "Depot: Cloud Storage with
Minimal Trust" OSDI 2010
Xin
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/27 Lingfei
B.
W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.
4/29 (Fri.) Last day of class
5/11 (Wed.) 9:00-12:00 (Final
Exam)
5/15 (Sun.) Commencement
-----------------------
Others:
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.