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)
