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