CS555 Syllabus--Spring 1998

John Heidemann

Class begins January 9 and ends April 27, with January 19 and February 16 off. April 29 is a stop day. The final will be Monday, May 4, 8am-10am.

Changes: 21-Jan-98: Papers moved for Spring break (March 9-13). 22-Jan-98: final exam date was wrong.

Optional text: [1].

Introduction

Class 0 (Jan. 7): Diagnostic exam

Class 1 (Jan. 12): Introduction Overview/Reading: [2,3,4].

Class 2 (Jan. 14): design principles [5,6,7]. (Optional: Text Chapter 2 (Design Goals).) Homework 1 given out.

Concurrency

Class 3 (Jan. 21): Monitors and messages [8,9,10].

Class 4 (Jan. 26): RPC [11,12]. Optional: Text Chapter 5 (RPC).

Class 5 (Jan. 28): DSM [13,14].

Class 6 (Feb. 2): Causality [15,16]. Homework 1 due, homework 2 given out.

Class 7 (Feb. 4): ISIS and schedulers [17,18].

Naming/Resource Discovery

Class 8 (Feb. 9): classic naming [19,20].

Class 9 (Feb. 11): Naming extensions [21,22,23].

Class 10 (Feb. 18): Internet naming [24,25,26,27]. Homework 2 due, homework 3 given out.

File Systems

Class 11 (Feb. 23): Physical file systems I [28,29,30]. (Optional: Text Chapter 7 (File Service: A Model).)

Class 12 (Feb. 25): Physical file systems II [31,32].

Class 13 (Mar. 2): Distributed file-systems I [33,34,35]. (Optional: Text Chapter 8 (File Service: Case Studies).)

Midterm: Mar. 4. Homework 3 due. Homework 4 given out. Paper proposal due.

(Spring break.)

Class 14 (Mar. 16): Distributed file-systems II [36,37].

Replication

Class 15 (Mar. 18): Voting, Coda, Ficus [38,39,40].

Distributed state

Class 16 (Mar. 23) Distributed state [41,42]

Security

Class 17 (Mar. 25): Security overview [43,44,45]. (Optional: Text Chapter 16 (Security).)

Class 18 (Mar. 30): Key distribution, confinement, logic [46,47,48]. Homework 4 due, homework 5 given out.

Databases

Class 19 (Apr. 1): Databases and OS [49,50]. (Optional: Text Chapter 12 (Shared Data and Transactions), 14 (Distributed Transactions))

Kernels

Class 20 (Apr. 6): microkernels [51,52,53]. (Optional: Text Chapter 18.1-6 (Case Studies).) Paper proposals must be accepted by this date.

Class 21 (Apr. 8): layering [54,55]. Paper proposal must be approved by this date.

Class 22 (Apr. 13): abstraction [56,57].

Case Studies and Performance Analysis

Class 23 (Apr. 15): Unix, Plan-9, Condor [58,59,60]. Homework 5 due, homework 6 given out.

Class 24 (Apr. 20): Sprite, Amoeba [61,62].

Class 25 (Apr. 22): Performance studies [63,64].

Class 26 (Apr. 27): Performance studies, Athena [65,66]. Term paper due. Homework 6 due.

Apr. 29 (stop day). Optional review (if classroom available and students interested).

Final exam (May 4), 8-10am.

References

1

George Coulouris, Jean Dollimore, and Tim Kindberg.
Distributed Systems: Concepts and Design.
Addison-Wesley, second edition, 1994.

2

Michael J. Hanson.
Efficient reading of papers in science.
Brochure of unknown origin, 1989.

3

Roy Levin and David D. Redell.
An evaluation of the ninth SOSP submissions, or how (and how not) to write a good systems paper.
ACM Operating Systems Review, 17(3):35-40, July 1983.

4

Russel Sandberg, David Goldberg, Steve Kleiman, Dan Walsh, and Bob Lyon.
Design and implementation of the Sun Network File System.
In USENIX Conference Proceedings, pages 119-130. USENIX, June 1985.

5

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 Computing Systems, pages 509-512, April 1981.

6

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

7

David Clark and Liba Svobodov.
Design of distributed systems supporting local autonomy.
In Proceedings of the 20th IEEE COMPCON, pages 438-444. IEEE, February 1980.

8

B.W. Lampson and D.D. Ridell.
Experiences with processors and monitors in Mesa.
Communications of the ACM, 23(2):105-117, February 1980.

9

C. A. R. Hoare.
Communicating sequential processes.
Communications of the ACM, 21(8):666-677, August 1978.

10

Hugh C. Lauer and Roger M. Needham.
On the duality of operating system structures.
In Proceedings of the Second International Symposium on Operating Systems, pages 408-423. INRIA, October 1978.
reprinted in Operating Systems Review 13(2), April 1979, pp. 3-19.

11

A. Birrell and B. Nelson.
Implementing remote procedure calls.
ACM Transactions on Computer Systems, 2(1):39-59, February 1984.

12

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

13

Kai Li and Paul Hudak.
Memory coherence in shared virtual memory systems.
In Proceedings of the Fifth Annual ACM Symposium on Principles of Distributed Computing, pages 229-239. ACM, August 1986.

14

David Gelernter.
Generative communication in Linda.
ACM Transactions on Programming Languages and Systems, 7(1):80-112, January 1985.

15

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

16

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

17

K. P. Birman.
The process group appraoch to reliable distributed computing.
Communications of the ACM, 36(12):36-53, December 1993.

18

Carl A. Waldspurger and William E. Weihl.
Lottery scheduling: Flexible proportional-share resource management.
In Proceedings of the First USENIX Symposium on Operating Systems Design and Implementation, pages 1-11, Monterrey, CA, November 1994. USENIX.

19

Douglas B. Terry, Mark Painter, David W. Riggle, and Songnian Zhou.
The Berkeley Internet name domain server.
In USENIX Conference Proceedings, pages 23-31. USENIX, June 1994.

20

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

21

Rob Pike, Dave Presotto, Ken Thompson, Howard Trickey, and Phil Winterbottom.
The use of name spaces in Plan 9.
In Proceedings of the 5th ACM SIGOPS European Workshop, pages 72-76, Mont Saint-Michel, 1992. ACM.

22

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

23

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.

24

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.

25

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

26

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

27

Tim Berners-Lee, Robert Cailliae, Ari Luotonen, Henrik Frystyk Nielsen, and Arthur Secret.
The World-Wide Web.
Communications of the ACM, 37(8):76-82, August 1994.

28

Marshall McKusick, William Joy, Samuel Leffler, and R. Fabry.
A fast file system for UNIX.
ACM Transactions on Computer Systems, 2(3):181-197, August 1984.

29

Mendel Rosenblum and John K. Ousterhout.
The design and implementation of a log-structured file system.
In Proceedings of the 13th Symposium on Operating Systems Principles, pages 1-15. ACM, October 1991.

30

Margo Seltzer, Keith A. Smith, Hari Balakrishnan, Jacqueline Chang, Sara McMains, and Venkata Padmanabhan.
File system logging versus clustering: A performance comparison.
In Proceedings of the USENIX Conference Proceedings, pages 249-264, New Orleans, LA, January 1995. USENIX.

31

Adam Sweeney, Doug Doucette, Wei Hu, Curtis Andeerson, Mike Nishimoto, and Geoff Peck.
Scalability in the XFS file system.
In USENIX Conference Proceedings, pages 1-14. USENIX, January 1996.

32

David A. Patterson, Garth Gibson, and Randy H. Katz.
A case for redundant arrays of inexpensive disks (RAID).
Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, pages 109-116, June 1988.

33

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

34

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.

35

John Howard, Michael Kazar, Sherri Menees, David Nichols, Mahadev Satyanarayanan, Robert Sidebotham, and Michael West.
Scale and performance in a distributed file system.
ACM Transactions on Computer Systems, 6(1):51-81, February 1988.

36

Bruce Walker, Gerald Popek, Robert English, Charles Kline, and Greg Thiel.
The LOCUS distributed operating system.
In Proceedings of the Ninth Symposium on Operating Systems Principles, pages 49-70. ACM, October 1983.

37

Thomas E. Anderson, Michael D. Dahlin, Jeanna M. Neefe, David A. Patterson, Drew S. Roselli, and Randolph Y. Wang.
Serverless network file systems.
In Proceedings of the 15th Symposium on Operating Systems Principles, pages 109-126, Copper Mountain Resort, Colorado, December 1995. ACM.

38

David K. Gifford.
Weighted voting for replicated data.
In Proceedings of the Seventh Symposium on Operating Systems Principles, pages 150-162. ACM, December 1979.

39

James J. Kistler and Mahadev Satyanarayanan.
Disconnected operation in the Coda file system.
ACM Transactions on Computer Systems, 10(1):3-25, 1992.

40

Richard G. Guy, John S. Heidemann, Wai Mak, Thomas W. Page, Jr., Gerald J. Popek, and Dieter Rothmeier.
Implementation of the Ficus replicated file system.
In USENIX Conference Proceedings, pages 63-71. USENIX, June 1990.

41

K. Mani Chandy and Leslie Lamport.
Distributed snapshots: Determining global states of distributed systems.
ACM Transactions on Computer Systems, 3(1):63-75, February 1985.

42

Leslie Lamport, Robert Shostak, and Marshall Pease.
The Byzantine generals problem.
ACM Transactions on Programming Languages and Systems, 4(3):382-401, July 1982.

43

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

44

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

45

Bruce Schneier.
Why cryptography is harder than it looks.
Risks-Forum Digest (comp.risks), 18(61), 15 November 1996.

46

B. Clifford Neuman and Theodore Ts'o.
Kerberos: An authentication service for computer networks.
IEEE Communications Magazine, pages 33-38, September 1994.

47

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

48

Michael Burrows, Martín Abadi, and Roger Needham.
A logic of authentication.
ACM Transactions on Computer Systems, 8(1):18-36, February 1990.

49

Michael Stonebraker.
Operating system support for database management.
Communications of the ACM, 24(7):412-418, July 1981.

50

A. Spector, D. Daniels, D. Duchamp, J. Eppinger, and R. Pausch.
Distributed transactions for reliable systems.
In Proceedings of the Tenth Symposium on Operating Systems Principles, pages 127-146, December 1985.

51

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 Symposium on Microkernels and Other Kernel Architectures, pages 11-30, April 1992.

52

W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack.
HYDRA: the kernel of a multiprocessor operating system.
Communications of the ACM, 17(6):337-345, June 1974.

53

Jochen Liedtke.
Improving IPC by kernel design.
In Proceedings of the 14th Symposium on Operating Systems Principles, pages 175-188, Asheville, North Carolina, December 1993. ACM.

54

Norman C. Hutchinson, Larry L. Peterson, and Herman Rao.
The x-Kernel: An open operating system design.
IEEE Operating Systems Technical Committee Newsletter, 3(3):19-23, Fall 1989.

55

Dennis M. Ritchie.
A stream input-output system.
AT&T Bell Laboratories Technical Journal, 63(8):1897-1910, October 1984.

56

Brian N. Bershad, Stefan Savage, Przemyslaw Pardyak, Emin Gün Sirer, Marc Fiuczynski, David Becker, Susan Eggers, and Craig Chambers.
Extensibility, safety and performance in the SPIN operating system.
In Proceedings of the 15th Symposium on Operating Systems Principles, pages 267-284, Copper Mountain Resort, Colorado, December 1995. ACM.

57

Edouard Bugnion, Scott Devine, and Mendel Rosenblum.
Disco: Running commodity operating systems on scalable multiprocessors.
In Proceedings of the 16th Symposium on Operating Systems Principles, page xxx, Saint-Malo, France, October 1997. ACM.

58

Dennis M. Ritchie and Ken Thompson.
The UNIX time-sharing system.
Communications of the ACM, 17(7):365-375, October 1974.

59

Rob Pike, Dave Presotto, Ken Thompson, and Howard Trickey.
Plan 9 from Bell Labs.
In Proceedings of the Summer '90 UKUUG Conference, pages 21-33. UKUUG, July 1990.

60

M. Litzkow, M. Livney, and M. Mutka.
Condor--a hunter of idle workstations.
In Proceedings of the 8th International Conference on Distributed Computing Systems, pages 104-111. IEEE, June 1988.

61

John K. Ousterhout, Andrew R. Cherenson, Frederick Douglis, Michael N. Nelson, and Brent B. Welch.
The Sprite network operating system.
IEEE Computer, pages 23-36, February 1988.

62

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

63

J. Bradley Chen, Yasuhiro Endo, Kee Chan, David Mazières, Antonio Dias, Margo Seltzer, and Michael D. Smith.
The measured performance of personal computer operating systems.
ACM Transactions on Computer Systems, 14(1):3-40, February 1996.

64

John K. Ousterhout.
Why aren't operating systems getting faster as fast as hardware?
In USENIX Conference Proceedings, pages 247-256. USENIX, June 1990.

65

J. Bradley Chen and Brian N. Bershad.
The impact of operating system structure on memory system performance.
In Proceedings of the 13th Symposium on Operating Systems Principles, pages 120-133. ACM, December 1993.

66

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