Preliminary Reading List
August 21, 1998 CSci 555 / Neuman-Obraczka Fall 1998

Except as noted, all items on the reading list are required reading. Chapters may be found in the textbook. Papers may be found in the reading packet.

References

1

George Coulouris, Jean Dollimore, and Tim Kindberg. Distributed Systems: Concepts and Design. Addison Wesley, 1994. available at the University Bookstore.

2

Tanenbaum, Andrew S., ``Modern Operating Systems'', Prentice Hall, 1992. Available at the University Bookstore or from students who have taken CSci402. Note: this is the text for CSci 402, not for CSci 555 - but it is useful reading for students who have difficulty with the diagnostic exam..

Introduction - Read by September 11

3

Robert A. Day. How to write a scientific paper. IEEE Transactions on Professional Communication, 20:32-37, June 1977.

4

Roy Levin and David D. Redell. An evaluation of the ninth SOSP submissions. Operating Systems Review, 17(3):35-40, July 1983.

5

Michael J. Hanson. Efficient Reading Papers in Science. Brochure, 1989.

6

Distributed Systems: Concepts and Design, chapter 1. Characterization of Distributed Systems.

7

Distributed Systems: Concepts and Design, chapter 2. Design Goals.

8

J.H. Saltzer, D.P. Reed and D.D. Clark. End-To-End Arguments in System Design. Proceedings of the 2nd International Conference on Distributed Systems, 509-512, April 1981.

Communication Models - Read by September 11

9

Andrew D. Birrel and Bruce Jay Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.

10

Brian N. Bershad, Thomas E. Anderson, Edward D Lazowska, and Henry M. Levy. Lightweight remote procedure call. ACM Transactions on Computer Systems, 8(1):37-55, February 1990.

11

Nicholas Carriero and David Gelernter. The s/net's linda kernel. ACM Transactions on Computer Systems, 4(2):110-129, May 1986.

12

Kai Li and Paul Hudak. Memory coherence in shared virtual memory systems. ACM Transactions on Computer Systems, 7(4):321-359, November 1989.

13

Distributed Systems: Concepts and Design, chapter 4. Interprocess Communication (optional).

14

Distributed Systems: Concepts and Design, chapter 5. Remote Procedure Calling (optional).

15

Distributed Systems: Concepts and Design, chapter 17. Distributed Shared Memory (optional).

Concurrency, Transactions, Deadlock - Read by September 18

16

Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558-565, July 1978.

17

K. M. Chandi, J. Misra and L. M. Haas Distributed Deadlock Detection ACM Transactions on Computer Systems, 1(2):144-156, May 1983.

18

David Jefferson. Virtual time. ACM Transactions on Programming Languages and Systems, 7(3):404-425, July 1985.

19

Kenneth P. Birman and Thomas A. Joseph. Exploiting virtual synchrony in distributed systems. In Proceedings of the 11th ACM Symposium on Operating Systems Principles, pages 123-138, November 1987.

20

Randy F. Pausch Alfred Z. Spector and Gregory Bruell. Camelot: A flexible, distributed transaction processing system. In Proceedings of the 33rd IEEE Computer Society International Conference(Compcon 88), pages 432-436, March 1988.

21

David K. Gifford. Weighted voting for replicated data. In Proceedings of the 7th ACM Symposium on Operating Systems Principles, pages 150-159, December 1979. Pacific Grove, California.

22

Carl Hauser, Christian Jacobi, Marvin Theimer, Brent Welch, and Mark Weiser. Using threads in interactive systems: A case study. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 94-105, December 1993.

23

Distributed Systems: Concepts and Design, chapter 10. Time and Coordination (optional).

24

Distributed Systems: Concepts and Design, chapter 11. Replication.

25

Distributed Systems: Concepts and Design, chapter 12. Shared Data and Transactions.

26

Distributed Systems: Concepts and Design, chapter 13. Concurrency Control.

27

Distributed Systems: Concepts and Design, chapter 14. Distributed Transactions.

Naming - Read by September 25

28

Jermome H. Saltzer. On the naming and binding of network destinations. In Proceedings of the International Symposium on Local Computer Networks, pages 311-317, April 1982.

29

Andrew D. Birrell, Roy Levin, Roger M. Needham, and Michael D. Schroeder. Grapevine: An exercise in distributed computing. Communications of the ACM, 25(4):260-274, April 1982.

30

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

31

Douglas B. Terry, Mark Painter, David W. Riggle, and Songnian Zhou. The Berkeley internet domain server. In Proceedings of the Summer 1984 Usenix Conference, pages 23-31, June 1984.

32

Peter B. Danzig, Katia Obraczka, and Anant Kumar. An analysis of wide-area name server traffic: A study of the domain name system. In Proceedings of SIGCOMM 92, pages 281-292, January 1992.

33

Butler W. Lampson. Designing a global name service. In Proceedings of the 4th ACM Symposium on Principles of Distributed Computing, August 1985.

34

Brent B. Welch and John K. Ousterhout. Prefix tables: A simple mechanism for locating files in a distributed system. In Proceedings of the 6th International Conference on Distributed Computing Systems, pages 184-189, May 1986.

35

David R. Cheriton and Timothy P. Mann. Decentralizing a global naming service for improved performance and fault tolerance. ACM Transactions on Computer Systems, 7(2):147-183, May 1989.

36

B. Clifford Neuman. The need for closure in large distributed systems. Operating Systems Review, 23(4):28-30, October 1989.

37

Douglas Comer, Ralph E. Droms, and Thomas P. Murtagh. An experimental implementation of the Tilde naming system. Computing Systems, 4(3):487-515, Fall 1990.

38

B. Clifford Neuman. The Prospero File System: A global file system based on the Virtual System Model. Computing Systems, 5(4):407-432, Fall 1992.

39

B. Clifford Neuman and Steven Seger Augart. Prospero: A base for building information infrastructure. In Proceedings of INET'93, August 1993.

40

Larry L. Peterson. The Profile naming service. ACM Transactions on Computer Systems, 6(4):341-364, November 1988.

41

Stuart Sechrest and Michael McClennen. Blending hierarchical and attribute-based file naming. In Proceedings of the 12th International Conference on Distributed Computer Systems, June 1992.

42

Katia Obraczka, Peter B. Danzig, and Shih-Hao Li. Internet resource discovery services. IEEE Computer, 26(9):35-43, September 1993.

43

Distributed Systems: Concepts and Design, chapter 9. Name Services (optional).

Security - Read by October 2

44

B. Clifford Neuman. Protection and security issues for future systems. In Proceedings of the Workshop on Operating Systems of the 90s and Beyond, July 1991.

45

Butler W. Lampson. A note on the confinement problem. Communications of the ACM, 16(10):613-615, October 1973.

46

V. L. Voydock and S. T. Kent. Security mechanisms in high-level network protocols. ACM Computing Surveys, 15(2):135-171, June 1983.

47

Roger M. Needham and Michael D. Schroeder. Using encryption for authentication in large networks of computers. Communication of the ACM, 21(12):993-999, December 1978.

48

B. Clifford Neuman and Theodore Ts'o. Kerberos: An authentication service for computer networks. IEEE Communications, 32(9), September 1994.

49

M. Burrows, M. Abadi, and R. Needham. A logic of authentication. ACM Transactions on Computer Systems, 8(1):18-36, February 1990.

50

Andrew D. Birrell, Butler W. Lampson, Roger M. Needham, and Michael D. Schroeder. A global authentication service without global trust. In Proceedings of the IEEE Symposium on Security and Privacy, pages 223-230, April 1986.

51

T. Mark Lomas, Li Gong, Jerome H. Saltzer, and Roger M. Needham. Reducing risks from poorly chosen keys. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 14-18, December 1989.

52

Andrew S. Tanenbaum, Robbert van Renesse, Hans van Staveren, Gregory J. Sharp, Sape J. Mullender, Jack Jansen, and Guido van Rossum. Experience with the Amoeba distributed operating system. Communications of the ACM, 33(12):47-63, December 1990.

Security - Read by October 9

53

M. Gasser, A. Goldstein, C. Kaufman, and B. Lampson. The Digital distributed system security architecture. In Proceedings of the 1989 National Computer Security Conference, pages 305-319, 1989.

54

B. Clifford Neuman. Proxy-based authorization and accounting for distributed systems. In Proceedings of the 13th International Conference on Distributed Computing Systems, pages 283-291, May 1993.

55

Distributed Systems: Concepts and Design, chapter 16. Security (optional).

File Systems - Read by October 16

56

Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon. Design and Implementation of the Sun Network Filesystem. In Proceedings of the Summer 1985 Usenix Conference, pages 119-130, June 1985.

57

Michael N. Nelson, Brent B. Welch, and John K. Ousterhout. Caching in the Sprite network file system. ACM Transactions on Computer Systems, 6(1):134-154, February 1988.

58

Mahadev Satyanarayanan. Scalable, secure, and highly available distributed file access. IEEE Computer, 23(5):9-21, May 1990.

59

James J. Kistler and M. Satyanarayanan. Disconnected Operation in the Coda File System. ACM Transactions on Computer Systems, 10(1):3-25, February 1992.

60

Cary G. Gray and David R. Cheriton. Leases: An efficient fault-tolerant mechanism for distributed file cache consistency. In Proceedings of the 12th ACM Symposium on Operating Systems Principles, pages 202-210, December 1989.

61

Mendel Rosenblum and John K. Ousterhout. The design and implementation of a log-structured file system. ACM Transactions on Computer Systems, 10(1):26-52, February 1992.

62

David A. Patterson, Garth Gibson, and Randy H. Katz. A Case for Redundant Arrays of Inexpensive Disks (RAID). In Proceedings of the 1988 ACM SIGMOD Conference, pages 109-116, 1988.

63

Garth A. Gibson, Lisa Hellerstein, Richard M. Karp, Randy H. Katz, and David A. Patterson. Failure correction techniques for large disk arrays. In Proceedings of the 3rd International Conference on Architectural Support for Programming Languages and Operating Systems, pages 123-132, April 1989.

64

Distributed Systems: Concepts and Design, chapter 7. File Service: A model (optional).

65

Distributed Systems: Concepts and Design, chapter 8. File Service: Case Studies.

Case Studies - Read by October 30

66

B. Walker, G. Popek, R. English, C. Kline, and G. Thiel. The Locus distributed operating system. In Proceedings of the 9th ACM Symposium on Operating Systems Principles, pages 49-70, October 1983.

67

Distributed Systems: Concepts and Design, chapter 18. Distributed Operating Systems: Case Studies.

Case Studies - Read by November 13

68

James H. Morris, Mahadev Satyanarayanan, Michael H. Conner, John H. Howard, David S. H. Rosenthal, and F. Donelson Smith. Andrew: A distributed personal computing environment. Communications of the ACM, 29(3):184-201, March 1986.

69

George A. Champine, Daniel E. Geer Jr., and William N. Ruh. Project athena as a distributed computer system. IEEE Computer, 23(9):40-51, September 1990.

70

David Notkin, Andrew P. Black, Edward D. Lazowska, Henry M. Levy, Jan Sanislo, and John Zahorjan. Interconnecting heterogeneous computer systems. Communications of the ACM, 31(3):258-273, March 1988.

71

Werner Vogels, Dan Dimitriu, Ken Birman, Rod Gamache, Rob Short, John Vert, Joe Barrera, and Jim Gray. The Design and Architecture of the Microsoft Cluster Service. Proceedings of the IEEE FTCS'98, June 1998. (NEW)

72

Steve Vinoski. CORBA: Integrating Diverse Applications Within Distributed Heterogeneous Environments. IEEE Communications Magazine, 35(2), February 1997. (NEW)

Kernels - Read by November 6

73

David R. Cheriton. The V distributed system. Communication of the ACM, 31(3):314-333, March 1988.

74

Larry Peterson, Norman Hutchenson, Sean O'Malley, and Herman Rao. The x-kernel: A platform for accessing internet resources. IEEE Computer, 23(5):23-33, May 1990.

75

David L. Black, David B. Golub, Daniel P. Julin, Richard F. Rashid, Richard P. Draves, Randall W. Dean, Alessandro Forin, Joseph Barrera, Hideyuki Tokuda, Gerald Malan, and David Bohman. Microkernel operating system architecture and mach. In Proceedings of the USENIX Workshop on Microkernels and Other Kernel Architectures, pages 11-30, April 1992.

76

Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gun Sirer, Marc Fiuczynski, David Becker, Craig Chambers, and Susan Eggers. Extensibilty, safety, and performance in the SPIN Operating System. In Proceedings of the 15th. ACM Symposium on Operating Systems Principles, pages 267-284, December 1995.

77

Distributed Systems: Concepts and Design, chapter 6. Distributed Operating Systems.

Scheduling, real-time, fault-tolerance, database support
Read by November 20

78

Thomas E. Anderson, Brian N. Bershad, Edward D. Lazowska, and Henry M. Levy. Scheduler activations: Effective kernel support for the user-level management of parallelism. ACM Transactions on Computer Systems, 10(1):53-79, February 1992.

79

D. L. Black. Scheduling support for concurrency and parallelism in the mach operating system. IEEE Computer, pages 35-43, May 1990.

80

M. J. Lizkow and M. W. Mutka. Condor - A Hunter of Idle Workstations Proceedings of the 8th. Int'l Conf. on Distributed Computing Systems, 104-111, 1988.

81

B. Clifford Neuman and Santosh Rao. The Prospero Resource Manager: A scalable framework for processor allocation in distributed systems. Concurrency: Practice and Experience, pages 339-355, June 1994.

82

Daniel Mosse, Olafur Gudmundsson, and Ashok K. Agrawala. The MARUTI system and its implementation. Newsletter of the IEEE Technical Committee on Operating Systems, 5(3):3-18, Fall 1991.

83

Flaviu Cristian. Understanding fault-tolerant distributed systems. Communications of the ACM, 34(2):57-78, February 1991.

84

Michael Stonebraker. {Operating System Support for Database Management. Communications of the ACM, 24(7):412-418, July 1981.

85

Distributed Systems: Concepts and Design, chapter 15. Recovery and Fault Tolerance.
Guidelines for building scalable systems - Read by December 4

86

Butler W. Lampson. Hints for computer system design. In Proceedings of the 9th ACM Symposium on Operating Systems Principles, pages 33-48, 1983.

87

B. Clifford Neuman. Scale in distributed systems. In Readings in Distributed Computing Systems, IEEE Computer Society Press, 1994.

About this document ...

The command line arguments were:
latex2html -html_version 3.0 -split 0 rdl.tex.

The translation was initiated by Katia Obraczka on Thu Aug 21 16:04:14 PDT 1998

Katia Obraczka
Thu Aug 21 16:04:14 PDT 1997