Instructor: Tom Anderson
Textbook: Reliable Distributed System by Kenneth Birman
Download Slides from here
· Motivating Examples
- Eric Brewer, Lessons from Giant Scale Services, IEEE Internet Computing, 2001. (pdf)
· Distributed Synchronization
- Leslie Lamport. Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, Vol. 21, No. 7 (July 1978), pp. 558-565. (pdf)
· Process Groups / Causal Ordering
- Slides for this week (CSENetId-protected)
· Distributed Agreement
- Slides for this week (CSENetId-protected)
- Leslie Lamport, Part Time Parliament, ACM TOCS vol. 16, no. 2, 133-169. (pdf)
- Leslie Lamport, Paxos Made Simple, ACM SIGACT News, 2001. (pdf)
· Programming Models: RPC, SOAP, web services, Grid, AJAX
- Slides: Atomic Commit (pdf), GENI (pdf), Consistency (ppt)
- J. Ousterhout. The Role of Distributed State. CMU Computer Science: A 25th Anniversary Birman, Chapter 4 (preferred)
or
Andrew D. Birrell and Bruce Jay Nelson. Implementing Remote Procedure Calls. ACM Trans. on Computer Systems 2(1), February 1984, pp. 39-59. (pdf)
· Fault Tolerance
- Slides:
- Paxos (slide 24+) (pdf)
- Paxos Wrapup (slides 1-8) (pdf)
- State Machine Replication (pdf)
- More State Machine Replication (pdf)
- Byzantine Fault Tolerance (slides 135-167) (pdf)
- Paxos Byzantine Fault Tolerance (pdf)
· Weakly Consistent Distributed Systems
- Guest Lecturer: Arvind Krishnamurthy (his slides)
- System. SOSP 1995. (pdf)
· Scalability and Peer to Peer
- Kleinberg, Navigation in a Small World, Nature, 2000. (pdf)
- OPTIONAL: T. Anderson, M. Dahlin, J. Neefe, D. Patterson, D. Roselli, and R. Wang. Serverless Network File Systems. ACM TOCS 1996. (pdf)
· Security and Robustness
- Slides for this week: (ppt)
- Lampson, Computer Security in the Real World, 2001. (pdf) (ppt)
- Anderson et al., Design Considerations for Robust Internet Protocols, HotNets 2002. (pdf)
· Putting it all Together
- Slides for this week: