1/20 Wed. Introduction
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.
1/25
L. Lamport, "Time, Clock, and
the Ordering of Events in a Distributed System," CACM, July 1978
Paxos
made simple, Paxos
1/27
Mencius: Building Efficient
Replicated State Machine for WANs OSDI 2008
2/1
Miguel
Castro, Barbara Liskov,
"Practical Byzantine Fault Tolerance" OSDI 1999
2/3
J.G. Steiner, C.
Neuman,
and J.I. Schiller, "Kerberos: An
Authentication Service for Open Network Systems," USENIX Winter
Conference, February 1988.
J.H. Saltzer, D.P.
Reed,
and D.D. Clark, "End-to-end arguments in
system design," ACM TCS, November 1984.
2/8 Bogdan Dit
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.
2/10 Feng Yan
M.
Rosenblum and J.K.
Ousterhout, "The Design and Implementation of a
Log-Structured File System," 13th ACM SOSP, 1992.
2/15 Di Wu
Leases: An Efficient
Fault-Tolerant Mechnism for Distributed File Cache Consistency, SOSP
1989
2/17 Bo Wu
C.A.
Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI
2002.
2/22 Andy Pyles
B.
W. Lampson and D. D. Redell, "Experience
with Processes and Monitors in Mesa," Communications of the ACM,
February 1980.
2/24 George Simmons
A.
W. Appel and Kai Li, "Virtual Memory Primitives for User Programs"
3/1 Xin Ruan
S.
Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson, "Eraser:
A Dynamic Data Race Detector for Multithreaded Programs," SOSP 1997
3/3
Robert Thompson
M.
M. Swift, B. N. Bershad, and H. M. Levy, "Improving
the Reliability of Commodity Operating Systems," SOSP 2003.
Midterm
3/6(Sat.)-3/14(Sun.) Spring Break
3/15 Zhengrui Qin ppt, pdf
Borrowed-virtual-time
(BVT) scheduling: supporting latency-sensitive
threads in a general-purpose scheduler
3/17
No class
3/22 Zhijia Zhao
Eliminating
Receive Livelock in an Interrupt-driven Kernel, USENIX 1996
3/24 Bo Dong
T.E.
Anderson, B.N.
Bershad, E.D. Lzowska, and H.M. Levy, "Scheduler
Activations: Effective Kernel Support for the User-level Management of
Parallelism," ACM Transactions on Computer Systems, February 1992.
3/29
Exokernel:
An Operating System Architecture for Application Level
Resource Management
3/31 Ziyu Guo
R.
v. Behren, J. Condit, F. Zhou, G. C. Necula, and E. Brewer, "Capriccio:
Scalable Threads for Internet Services," SOSP 2003
4/5 Kathleen Moore
J.J.
Kistler and M.
Satyanarayanan, "Disconnected Operation in the Coda
File System," ACM Transactions on Computer Systems, February 1992.
4/7
A.
Muthitacharoen, B. Chen, and D. Mazieres, "A
Low-Bandwidth Network File System," SOSP 2001
4/12 Patrick Vaughn
M.
Burrows, "The
Chubby lock service for loosely-coupled distributed systems," OSDI 2006
4/14
No class
4/19 George Simmons
Dynamo:
Amazon’s Highly Available Key-value Store, SOSP 2007
4/21
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.
4/26
A
comparison of software and hardware techniques for x86 virtualization,
ASPLOS
Reference: Intel
Virtualization Technology
4/28
MACAW:
A Media Access Protocol for Wireless LANs, SIGCOMM 1994
4/30 (Fri.) Last day of class
5/4 (Tue.) 9:00-12:00 (Final
Exam)
5/16 (Sun.) Commencement
-------------------------------------------------------------
MapReduce:
Simplified Data Processing on Large Clusters
Intel Virtualization Technology
A
comparison of software and hardware techniques for x86 virtualization
Disco
swift
AutoRAID
Superpage
BVT
H.M.
Levy and P.H. Lipman, "Virtual
Memory Management in the VAX/VMS
Operating System," IEEE Computer, March 1982.
B.
W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.
Bryan
Ford, Jacob Strauss, Chris Lesniewski-Laas, Sean Rhea, Frans
Kaashoek, Robert Morris,
"Persistent Personal Names for Globally Connected Mobile Devices" OSDI
2006
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.
FlightPath: Obedience vs. Choice in Cooperative Services OSDI 2008
S. Ghemawat, H.
Gobioff,
and S.-T. Leung, "The Google File System,"
SOSP 2003.
A.D. Birrell and B.J.
Nelson, "Implementing Remote Procedure Calls,"
ACM Transactions on Computer Systems, February 1984.
Van Jacobson and
M.J.
Karels, "Congestion Avoidance and Control,"
SIGCOMM 1988, revised.
R. Anderson, "Why
Cryptosystems
Fail,"
1st Conf. Computer and Comm.
Security, 1993.
K. Thompson,
"Reflections on
Trusting Trust," Turing Award Lecture,
CACM, August 1984.
System
Architecture Directions for Networked Sensors, ASPLOS
Secure
Untrusted Data Repository (SUNDR)
TierStore: A Distributed Filesystem for
Challenged Networks in Developing Regions. Michael Demmer, Bowei Du and Eric Brewer FAST
2008