Advanced Operating Systems Papers

All dates subject to change

Background and Systems Philosophy

Wednesday, August 30

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.

Friday, Sep 1

B. W. Lampson, "Hints for Computer System Design," 9th ACM SOSP.

Class 3: Nate Schmidt

R. P. Gabriel, "Lisp: Good News, Bad News, How to Win Big," EuroPal 1989.
and
R. P. Gabriel, "Back to the Future: Is Worse (Still) Better?" OOPSLA 2000.
and
R. P. Gabriel, "Back to the Future: Worse (Still) is Better!" OOPSLA 2000.

Class 4: Zi Chu

J.H. Saltzer, D.P. Reed, and D.D. Clark, "End-to-end arguments in system design," ACM TCS, November 1984.

File Systems

Class 5: Duy Le

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.

Class 6: Brian Meckstroth

M. Rosenblum and J.K. Ousterhout, "The Design and Implementation of a Log-Structured File System," 13th ACM SOSP, 1992.

Class 7: Carol Armistead

D. Roselli, J.R. Lorch, and T.E. Anderson, "A Comparison of File System Workloads," Proc. of 2000 USENIX Technical Conference.

Class 8: David Goldenberg

Vijayan Prabhakaran, Andrea C. Arpaci-Dusseau, and Remzi H. Arpaci-Dusseau, "Analysis and Evolution of Journaling File Systems," USENIX 2005.

Virtual Memory

Class 9: Marcin Silwowski

H.M. Levy and P.H. Lipman, "Virtual Memory Management in the VAX/VMS Operating System," IEEE Computer, March 1982.

Class 10: Yunlian Jiang

Rik van Riel, "Page Replacement in Linux 2.4 Memory Management," Proc. of 2001 USENIX Technical Conference, FREENIX track.

Class 11: Zhen Ren

K. Harty and D.R. Cheriton, "Application-Controlled Physical Memory Using External Page-Cache Management," 5th ACM ASPLOS, 1992.

Class 12: Eric Billet

C.A. Waldspurger, "Memory Resource Management in VMware ESX Server," OSDI 2002.

Class 13: Dan DeSmet

Sudarshan M. Srinivasan, Srikanth Kandula, Christopher R. Andrews, and Yuanyuan Zhou, "Flashback: A Lightweight Extension for Rollback and Deterministic Replay for Software Debugging" USENIX'04

Class 14: Nate Schmidt

Ting Yang, Emery D. Berger, Scott F. Kaplan, and J. Eliot B. Moss, "CRAMM: Virtual Memory Support for Garbage-Collected Applications," OSDI 2006.

Concurrency

Class 15: Yunlian Jiang

L. Lamport, "Time, Clocks, and the Ordering of Events in a Distributed System," CACM, July 1978.

Class 16: Zhen Ren

H.T. Kung and J.T. Robinson, "On Optimistic Methods for Concurrency Control," ACM Transactions on Database Systems, June 1981.

Class 17: Carol Armistead

R. Agrawal, M.J. Carey, and M. Livny, "Concurrency Control Performance Modeling," ACM Transactions on Database Systems, December 1987.

Class 18: Adam Hitchcock

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.

Class 19: Duy Le

John Dunagan, Nicholas J. A. Harvey, Michael B. Jones, Dejan Kostic, Marvin Theimer, and Alec Wolman, "FUSE: Lightweight Guaranteed Distributed Failure Notification" OSDI'04

Security

Class 20: Dan DeSmet

R. Anderson, "Why Cryptosystems Fail," 1st Conf. Computer and Comm. Security, 1993.
and
K. Thompson, "Reflections on Trusting Trust," Turing Award Lecture, CACM, August 1984.

Class 21: Brian Meckstroth

J.G. Steiner, C. Neuman, and J.I. Schiller, "Kerberos: An Authentication Service for Open Network Systems," USENIX Winter Conference, February 1988.

Class 22: Zi Chu

G.C. Necula and P. Lee, "Safe Kernel Extensions Without Run-time Checking," OSDI 1996.

Networking

Class 23, Nov 1: Marcin Silwowski

Van Jacobson and M.J. Karels, "Congestion Avoidance and Control," SIGCOMM 1988, revised.

Class 24, Nov 3: David Goldenberg

V. Paxson and S. Floyd, "Wide-Area Traffic: The Failure of Poisson Modeling," IEEE/ACM Transactions on Networking, June 1995.

Class 25, Nov 10: Eric Billet

V. Paxson and S. Floyd, "Why we don't know how to simulate the Internet," 1997 Winter Simulation Conference.

Distributed File Systems

Class 26, Nov 13: Adam Hitchcock

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.

Class 27, Nov 15 9AM: Brian Meckstroth

M.N. Nelson, B.B. Welch, And J.K. Ousterhout, "Caching In The Sprite File System," ACM Transactions on Computer Systems, 1988.

Class 28, Nov 15 11AM: Nate Schmidt

J.J. Kistler and M. Satyanarayanan, "Disconnected Operation in the Coda File System," ACM Transactions on Computer Systems, February 1992.

Class 29, Nov 17: Yunlian Jiang

S. Ghemawat, H. Gobioff, and S.-T. Leung, "The Google File System," SOSP 2003.

Class 30, Nov 20: Dan DeSmet

Yasushi Saito, Christos Karamanolis, Magnus Karlsson, and Mallik Mahalingam, "Taming aggressive replication in the Pangaea wide-area file system," OSDI 2002.

Distributed Virtual Memory

Class 31, Nov 27: David Goldenberg

K. Li and P. Hudak, "Memory Coherence in Shared Virtual Memory Systems," ACM Transactions on Computer Systems, November 1989.

Class 32, Nov 29 9AM: Zhen Ren

C. Amza, A. L. Cox, K. Ramajamni, and W. Zwaenepoel, "Tradeoffs between false sharing and aggregation in software distributed shared memory," PPoPP 1997.

Message Passing

Class 33, Nov 29 11AM: Eric Billet

A.D. Birrell and B.J. Nelson, "Implementing Remote Procedure Calls," ACM Transactions on Computer Systems, February 1984.

Class 34, Dec 1: Carol Armistead

T. von Eicken, D.E. Culler, S.C. Goldstein, and K.E. Schauser, "Active Messages: a Mechanism for Integrated Communication and Computation," 19th ISCA, 1992.

Distributed Systems

Class 35

K.D. Ryu and J.K. Hollingsworth, "Resource Policing to Support Fine-Grain Cycle Stealing in Networks of Workstations" IEEE TPDS, October 2004.

Class 36, Dec 4: Duy Le

E.A. Brewer, "Lessons from Giant-Scale Services," IEEE Internet Computing, July 2001.

Class 37, Dec 6: Marcin Sliwowski

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.

Class 38, Dec 8: Zi Chu

R. Figueiredo, P. Dinda, and J. Fortes, "A Case For Grid Computing on Virtual Machines," Proceedings of the 23rd Internatinal Conference on Distributed Computing Systems (ICDCS 2003)

Classic papers and others formerly covered:

J. E. Smith, "Characterizing Computer Performance with a Single Number," CACM, October 1998.
and
P.J. Fleming and J.J. Wallace, "How not to lie with statistics: The correct way to summarize benchmark results," CACM March 1986.

D. M. Ritchie and K. Thompson, "The UNIX Time-Sharing System," Bell System Technical Journal 57, no 6, part 2.
and
D. M. Ritchie, "The Evolution of the Unix Time-sharing System," Bell System Technical Journal 57, no 6, part 2.

O. Babaoglu and W. Joy, "Converting a Swap-Based System to do Paging in an Architecture Lacking Page-Referenced Bits," 8th ACM SOSP, 1981.

Margo I. Seltzer, Gregory R. Granger, M. Kirk McKusick, Keith A. Smith, Craig A. N. Soules, and Christopher A. Stein, "Journaling Versus Soft Updates: Asynchronous Meta-data Protection in File Systems," Proc. of 2000 USENIX Technical Conference.

J. Saltzer, M. Schroeder, "The Protection of Information in Computer Systems," Proceedings of the IEEE, Vol.63, No.9, September, 1975.

C. Hauser, C. Jacobi, M. Theimer, B. Welch, and M. Weiser, "Using Threads in Interactive Systems: A Case Study," ACM SIGOPS 1993.

G. Gibson, D.F. Nagle, K. Amiri, J. Butler, F.W. Chang, H. Gobioff, C. Hardin, E. Riedel, D. Rochberg, and J. Zelenka, "A Cost-Effective, High-Bandwidth Storage Architecture," 8th ASPLOS, 1998.

D.L. Tennenhouse and D.J. Wetherall, "Towards an Active Network Architecture," Computer Communications Review, 1996.

D.L. Eager, E.D. Lazawksa, and J. Zahorjan, "The Limited Performance Benefits of Migrating Active Processes for Load Sharing," ACM SIGMETRICS 1988.
and
A.B. Downey and M. Harchol-Balter, "A note on 'The Limited Performance Benefits of Migrating Active Processes for Load Sharing'" UC Berkeley Computer Science Department Technical Report UCB/CSD-95-888.

J. Flinn and M. Satyanarayanan, "Energy-aware adaptation for mobile applications," 17th SOSP, 1999.

D.R. Cheriton and D. Skeen, "Understanding the Limitations of Causally and Totally Ordered Communication," ACM SIGOPS 1993.

T.E. Anderson, D.E. Culler, D.A. Patterson, and the NOW Team, "A Case for NOW (Networks of Workstations)," IEEE Micro, February 1995.

J. Chase, Amin Vahdat, and J. Wilkes, "Back to the Future: Dependable Computing = Dependable Services," ACM SIGOPS European Workshop 2002.
and
J.Wilkes, J. Mogul, and J. Suermondt, "Utilification," ACM SIGOPS European Workshop 2004.

M. Kozuch and M. Satyanarayanan, "Internet Suspend/Resume" IEEE WMCSA 2002.