CS614 Reading List

Spring 1999, Cornell University
Thorsten von Eicken

For copies of ALL  papers, please see Laura in 4119. 

Notes for your presentation should be e-mailed to:  laura@cs.cornell.edu

Date Topic Presenter/
Notes
Tue, 1/26: Course introduction TvE
Thu, 1/28: HYDRA: The Kernel of a Multiprocessor Operating System
W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Communications of the ACM 17(6), June 1974, pp. 337-344.
TvE
Sharing and Protection in a Single Address Space Operating System
Jeffrey Chase, Henry Levy, Michael Feeley, and Edward Lazowska. ACM Trans. on Computer Systems, November 1994.
TvE

Notes by pwc

Tue, 2/2: Implementing Multiple Protection Domains in Java
Chris Hawblitzel, Chi-Chao Chang, Grzegorz Czajkowski, Deyu Hu, and Thorsten von Eicken, Proceedings of the 1998 USENIX Annual Technical Conference, New Orleans, LA, June 1998.
Hawblitz '99
Java Operating Systems: Design and Implementation
Godmar Back, Patrick Tullmann, Leigh Stoller, Wilson C. Hsieh, Jay Lepreau. Department of Computer Science. University of Utah. Technical Report UUCS-98-015 August, 1998.
Hawblitz '99
Thu, 2/4: Deadline: choose topic to survey and email tve@cs.cornell.edu
Pilot: an operating system for a personal computer
David D. Redell, Yogen K. Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal Murray, and Stephen C. Purcell, Communications of the ACM, vol 23, no 2, February 1980, pages 81-92
TvE '99

Notes by TvE

End-To-End Arguments in System Design
J.H. Saltzer, D.P. Reed and D.D. Clark. ACM Transactions on Computer Systems, 4(4):277-288, November 1984
TvE '99

Notes by TvE

Tue, 2/9: A Fast File System for UNIX
McKusick, Joy, Leffler and Fabry
lt@cs '99

Notes by Ezick, Hopkik

The Design and Implementation of a Log-Structured File System (conference version)
Rosenblum and Ousterhout (Berkeley) ACM Transactions on Computer Systems, 10(1):26-52, February 1992
batkin@cs '99

Notes by TvE
Notes by Mihai Budiu.

Thu, 2/11: The Palm Operating System – Technology Overview, Palm Computing Inc.
Pilot Memory and Database Management, Kenneth Albanowski
Developing Palm OS 3.0 Applications, Part II: System Management & Part III: Memory and Communications Management
adrianb@cs
Microsoft Windows CE: The New Choice for Dedicated Systems, Microsoft Corporation, May 1997.
Microsoft Windows CE-Based Networking, Guy M. Smith,  March 1998.
Microsoft Windows CE Memory, John Murray, Microsoft Corporation, September 1997.
wwb2
Tue, 2/16: Scalability in the XFS file system
Adam Sweeny, Proc. of the USENIX 1996 Annual Technicl Conference, San Diego, Jan 1996
Notes 99 vickyw@cs

Notes by yuzhang, mao

Disconnected Operation in the Coda File System(conference version)
J. J. Kistler and M. Satyanarayanan, ACM Transactions on Computer Systems, 10(1):3-25, February 1992.
This work is part of Coda, a file system for disconnected computing.
Notes 99 glw3

 

Thu, 2/18 Issues in the Design and Implementation of Real-Time Java, Kelvin Nilsen Notes 99 maxi@cs
Requirements For Real-time Extensions For the Java™ Platform, Report from the Requirements Group, Lisa Carnahan, NIST, Editor Notes 99 maxi@cs
Tue, 2/23: Multics General Information
Multics Features
Multics Virtual Memory -- Tutorial and Reflections

Paul Green
[PostScript version with paragraph numbers (153K)]

also: The Multics virtual memory: concepts and design
Andre Bensoussan, Charlie Clingen, and Bob Daley, Second ACM Symposium on Operating systems Principles in Princeton NJ, in October 1969. Subsequently reprinted in the Communications of the ACM in 1972.
For more Multics papers see Multics Papers Online
.

Notes 99 joelee@cs

Notes by TvE

The UNIX Time-Sharing System
Dennis M. Richie and Ken Thompson
(New electronic version)
Notes 99 dobra@cs

Notes by TvE

Thu, 2/25: Machine-Independent Virtual Memory Management for Paged Uniprocessor and Multiprocessor Architectures
Richard F. Rashid, Avadis Tevanian, Michael Young, David B. Golub, Robert V. Baron, David L. Black, William J. Bolosky, Jonathan Chew. ASPLOS 1987: 31-39.
Notes 99 zlt@cs

 

Notes by yzhang

Virtual Memory Primitives for User Programs
A. Appel and K. Li. ASPLOS IV, April 1991.
Notes 99 tb@cs

zhychen

Tue, 3/2: Using Threads in Interactive Systems: A Case Study
Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, and Mark Weiser (Xerox PARC). In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pp. 94-105, Asheville, NC, December 1993.
See also Threads and Input/Output in the Synthesis Kernel, Massalin and Pu.
Notes99 zdance@cs

Notes by bcichy
Notes by Alexandro Castro.

What really happened on Mars?
Glenn E Reeves
The account by "Mike" he's referring to is: What really happened on Mars Rover Pathfinder M. Jones, RISKS Digest (risks@csl.sri.com) 19, 49 (December 1997)
TvE
Algorithms for Scalable Synchronization on Shared Memory Multiprocessors
Mellor-Crummey, J.M. and Scott, M. ACM Transactions on Computer Systems, Feb. 1991
Notes 99 vickyw@cs

Notes by yzhang, zhychen

Thu, 3/4: Scheduler Activations: Effective Kernel Support for the User-Level Management of Parallelism
Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy (U Washington). ACM Transactions on Computer Systems, 10(1):53-79, February 1992.
lz20

Notes by jiawang, lqiu

Lottery Scheduling: Flexible Proportional-Share Resource Management
C. A. Waldspurger and W. E. Weihl (MIT LCS). In Proceedings of the First Symposium on Operating System Design and Implementation, pp. ??, November 1994.
Notes 99 switkin@cs

Notes by snorri
Notes by Zhen Xiao.

Tue, 3/9: Deadline: survey paper due, final topic selection
A Case for Redundant Arrays of Inexpensive Disks (RAID)
D. A. Patterson, G. Gibson and R. H. Katz, Proceedings ACM SIGMOD International Conference on Management of Data, 1988, 109-116
See also Disk System Architectures for High Performance Computing. Randy H. Katz, Garth A. Gibson, and David A. Patterson. In Proceedings of the IEEE 77, 12, pp. 1842-1857, December 1989
An alternative to RAID:Petal: distributed virtual disks, E. Lee and C. Thekkath, Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Oct. 1-5, Cambridge, MA, pp. 84-92
Notes 99 yung@cs

Notes by ezick

A Performance Study of Sequential I/O on Windows NT 4
Erik Riedel, Carnegie Mellon University, Catharine van Ingen, and Jim Gray Microsoft Research. 2nd Usenix Windows NT Syposium.
Notes 99 switkin@cs
Thu, 3/11: Time, clocks, and the ordering of events in a distributed system
Leslie Lamport, Communications of the ACM, 21(7):558-565, July 1978.
Notes 99 ralph@cs

Notes by jiawang
Notes from a Berkeley student

The Byzantine Generals Problem
L. Lamport, R. Shostak and M. Pease. ACM Transactions on Programming Languages and Systems, 4(3):382-401, July 1982
Notes 99 ig25

Notes by xwh
Notes by Lawrence Kesteloot

Tue, 3/16: The Process Group Approach to Reliable Distributed Computing
Kenneth P. Birman. Communications of the ACM, 9(12):36-53, December 1993
Notes 99 ig25

Notes by lili

Horus, a flexible Group Communication System
Robbert van Renesse, Kenneth P. Birman and Silvano Maffeis. Communications of the ACM, 39(4):76-83, April 1996.
Notes 99 dumitriu@cs

Notes by Teck Chia
Notes by Zhen Xiao.

Thu, 3/18: Implementing remote procedure calls
Andrew D. Birrel and Bruce Jay Nelson, ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
Notes 99 adrianb@cs

Notes by lqiu
Notes by Christopher Stein

Lightweight Remote Procedure Call
B. N. Bershad, T. E. Anderson, E. D. Lazowska and H. M. Levy, ACM Transactions on Computer Systems 8, 1 (February 1990), 37-55
Notes 99 wwb2

Notes by kl56
Notes by Ulfar Erlingsson

Tue, 3/23: Spring break
Thu, 3/25: Spring break
Mon, 3/29: Mid-term progress review
Tue, 3/30: Network Objects
A. Birrell, G. Nelson, S. Owicki, and E. Wobber (DEC SRC). In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pp. 217-230, Asheville, NC, December 1993.
Most of the issue discussed in this paper appear are at the heart of other systems, such as distributed OLE-2 (or Active-X), Java's Remote Method Invocation package, CORBA, etc. This paper is different from all the hype in that it gives a crisp and clear description of what the problems are, how these problems were solved, and what the performance issues are.
Notes 99 barr@cs

Notes by kwalsh

Fine-Grained Mobility in the Emerald System
Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black. ACM Trans. on Computer Systems 6(1), February 1988, pp. 109-133.
Notes 99 joelee@cs

Notes by landrum

Thu, 4/1: Experience with the Amoeba distributed operating system
A. S. Tanenbaum, R. van Renesse, H. van Staveren, G. J. Sharp, S. J. Mullender, J. Jansen, and G. van Rossum, Communications of the ACM, 33(12):47-63. December 1990.
Notes 99 dobra@cs

Notes by kwalsh

Experience with Grapevine: The growth of a distributed system
Michael D. Schroeder, Andrew D. Birrell, and Roger M. Needham. ACM Transactions on Computer Systems, 2(1):3-23, February 1984.
Notes 99 jac58

Notes by xwh, snorri
Notes by Jason Hartline.

Tue, 4/6: The Design Philoshophy of the DARPA Internet Procotols
David D. Clark, Proceedings of the 1988 SIGCOMM Symposium, pp 106-114, Stanford, CA, August 1988.
Notes 99 estan@cs

Notes by ezick

Congestion Avoidance and Control
V. Jacobson, Proc. SIGCOMM `88, Stanford, CA, August 1988, Vol. 18, No. 4.
Some recent twists are described in TCP/IP Illustrated, Vols 1 and 2, Stevens et al.
Notes 99 estan@cs

Notes by witriol

Thu, 4/8: Active Messages: A Mechanism for Integrated Communication and Computation
T. von Eicken, D. E. Culler, S. C. Goldstein and K. E.Schauser (Berkeley). In Proceedings of the 19th Int'l Symp. on Computer Architecture. pp. ?? Gold Coast, Australia, May 1992.
Notes 99 tb@cs

Notes by yuzhang
Notes by Hani Jamjoom.

Masking the Overhead of Protocol Layering
Robbert van Renesse, Proceedings of the 1996 ACM SIGCOMM Conference, Stanford, September 1996
Notes 99 dumitriu@cs

Notes by lili, landrum

Tue, 4/13: Architectural Considerations for a New Generation of Protocols
D.D. Clark and D.L. Tennenhouse, In Proceedings of the 1990 SIGCOMM Symposium on Communications Architectures and Protocols, pp. 200-208, Philadelphia, PA, September 1990.
This takes off where TCP/IP stops.
Notes 99 estan@cs

Notes by snorri

Towards an Active Network
D. Tennenhouse and D. Wetherall, ACM SIGCOMM CCR, Vol. 26, No. 2, April 1996.
Notes 99 Walt

Notes by mao

Thu, 4/15: Fbufs: A High-Bandwidth Cross-Domain Transfer Facility
P. Druschel and L. Peterson, In proceedings of the 14th Symposium on Operating Systems Principles, pp. 189-202, Asheville, NC, December 1993.
Notes 99 dobra@cs

Notes by yuzhang
Notes by
Linda Wu.

U-Net: A User-Level Network Interface for Parallel and Distributed Computing
Basu, Buch, Vogels, and von Eicken
See also The Virtual Interface Architecture, Dave Dunning and Greg Regnier, Intel Corporation
Notes 99 barr@cs

Notes by xwh
Notes by Hani Jamjoom.

Tue, 4/20: Reflections on Trusting trust
Ken Thompson, Turing Award lecture.
TvE
Kerberos: an Authentication Service for Computer Networks (html version)
B. Clifford Neuman and Theodore Ts'o (MIT). IEEE Communications, 32(9):33-39, September 1994.
Kerberos is rapidly gaining popularity and a defacto standard for authentication. A related paper is Endpoint Security Gauthier, Brewer, Goldberg and Wagner .
Notes 99 ralph@cs

Notes by kl56

Thu, 4/22 Efficient and Language-Independent mobile programs
A. Adl-Tabatabai, G. Langdale, S. Lucco, R. Wahbe. PLDI '96, pp. 127-136.
Notes 99 vickyw@cs

Notes by zhychen

Extensible Security Architectures for Java
Dan S. Wallach, Dirk Balfanz, Drew Dean, and Edward W. Felten. 16th Symposium on Operating Systems Principles (Saint-Malo, France), October 1997
Notes 99 zdance@cs

Notes by kwalsh

Tue, 4/27: Exokernel: An Operating System Architecture for Application-Level Resource Management
D.R. Engler, M.F. Kaashoek and J. O'Toole, Jr. (MIT LCS). In Proceedings of the 15th ACM Symposium on Operating Systems Principles, pp. 251-266, Copper Mountain Resort, CO, December 1995.
See also The Impact of Architectural Trends on Operating System Performance M. Rosenblum, E. Bugnion, S. A. Herrod, E. Witchel, and A. Gupta (Stanford). This paper appeared in SOSP-15, Dec. 1995.
Notes 99 batkin@cs

Notes by yzhang

  Extensibility, Safety and Performance in the SPIN Operating System, Brian Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, David Becker, Marc Fiuczynski, Craig Chambers, Susan Eggers, in "Proceedings of the 15th ACM Symposium on Operating System Principles (SOSP-15)", Copper Mountain, CO. pp. 267--284. TvE
Thu, 4/29: First version of paper due in class, bring 3 copies  
[Nemesis:] The Design and Implementation of an Operating System to Support Distributed Multimedia Applications
Leslie et al.
glw3

Notes by bcichy, pwc

A Case for NOW (Networks of Workstations)
T. Anderson, D. E. Culler, D. A. Patterson, et. al..
jac58

Notes by  lili

Mon. 5/3: Reviews of papers due to Laura
Tue. 5/4: Poster presentations
Thu. 5/6: Poster presentations
Mon, 5/3: Deadline: peer reviews due
Thu, 5/6: Deadline: second pass of final paper