Lecture Notes

Handouts 1-6: Course Information, Spec language ( PDF)

Handout 7: Disks and File Systems ( PDF)

Handout 8: Generalizing Abstraction Functions ( PDF)

Handout 9: Atomic Semantics of Spec ( PDF)

Handouts 10, 11: Performance, Firefly RPC ( PDF)

Handouts 12, 13: Naming, Semantic File System ( PDF)

Handouts 14-16: Concurrency ( PDF)

Handout 17: Formal Concurrency ( PDF)

Handout 18: Consensus ( PDF)

Handout 19: Sequential Transactions with Caching ( PDF)

Handout 20: Concurrent Transactions lecture, slides, and book ( PDF)

Handouts 21,22: Distributed Systems, paper: Autonet ( PDF)

Handout 27: Distributed Transactions ( PDF)

Handout 23: Networks - Links and Switches ( PDF)

Handout 24: Network Objects ( PDF)

Handout 25: Paper: Andrew Birrell, et al. “Network objects,” Proc.14th ACM Symposium on Operating Systems Principles, Asheville, NC, December 1993.

Handout 26: Paper: Butler Lampson. “Reliable messages and connection establishment,” in S. Mullender, ed. Distributed Systems, Addison-Wesley, 1993, pp. 251-281.

Handout 28: Availability and Replication ( PDF)

Handout 29: Paper: Jim Gray and Andreas Reuter. “Fault tolerance,” in Transaction Processing: Concepts and Techniques, Morgan Kaufmann, 1993, pp. 93-156.

Handout 30: Concurrent Caching ( PDF)

Handout 31: Computer Security in the Real World ( PDF)

Course Info

Learning Resource Types

notes Lecture Notes
assignment_turned_in Problem Sets with Solutions