Instructors teaching from Ken's book are welcome to borrow from these slides!

Note:   Ken is revising these materials as he teaches the course, during spring 2007.  If you are interested in a complete (but slightly older) set of slides, follow the links from http://www.cs.cornell.edu/ken/book to the 2005sp offering.  The spring 2007 versions should be online by mid May, 2007.  Meanwhile, Ken will post each one as he teaches the corresponding class!

Date

Topic

PDF link

PPT link

Notes for Lecturers

1/22

Introduction and course overview

Lec01-pdf

Lec01-ppt

Lec01-notes

1/24

Web Services and Remote Method Invocation

Lec02-pdf

Lec02-ppt

Lec02-notes

1/29

Web Services and the "Discovery" problem

Lec03-pdf

Lec03-ppt

Lec03-notes

1/31

Web Services Event Notification and Reliability, Publish-Subscribe

Lec04-pdf

Lec04-ppt

Lec04-notes

2/5

Towards a broader notion of trust.  Why home-brew fault detection is tricky (and using the results is even harder!)

Lec05-pdf

Lec05-ppt

Lec05-notes

2/7

Robust scalable tools: The basic idea of a gossip protocol.  Bimodal Multicast.

Lec06-pdf

Lec06-ppt

Lec06-notes

2/12

Using gossip for state aggregation.  Astrolabe.  Kelips.

Lec07-pdf

Lec07-ppt

Lec07-notes

2/14

Gossip projects in Europe at University of Bologna

Lec08-pdf

Lec08-ppt

Lec08-notes

2/19

Ricochet protocol and Maelstrom

Lec09-pdf

 

 

2/21

BitTorrent

Lec10-pdf

Lec10-ppt

 

2/26

Failures and Failure Models.  FLP result.  Byzantine Agreement.

Lec11-pdf

Lec11-ppt

Lec11-notes

2/28

Agreement protocols: Why we need them.  2PC and 3PC

Lec12-pdf

Lec12-ppt

Lec12-notes

3/5

Applications of 2PC and 3PC, Consistent Cuts

Lec13-pdf

Lec13-ppt

Lec13-notes

3/7

Time and clocks in distributed systems.  Connection to consistent cuts.  Groups, group membership, updates, ordering issues

Lec14-pdf

Lec14-ppt

Lec14-notes

3/12

Group membership services and protocol. Building a fault-tolerant protocol over a group with managed membership

Lec15-pdf

Lec15-ppt

Lec15-notes

3/14

Extending our group: A simple view-synchronous multicast.  Adding ordering to reliable multicast.

Lec16-pdf

Lec16-ppt

Lec16-notes

3/26

Virtual Synchrony execution model and tools.  Features of major systems offering virtual synchrony

Lec17-pdf

Lec17-ppt

Lec17-notes

3/28

Cornell’s QSM and QS/2 systems

Lec18-pdf

Lec18-ppt

 

4/2

Using Quicksilver to mock-up Web 3.0 (Krzys)

Lec19-pdf

Lec19-ppt

Lec19-notes

4/4

Transactional model

Lec20-pdf

Lec20-ppt

 

4/9

Implementing transactional systems.  3-tier Web Services model and support

Lec21-pdf

Lec21-ppt

 

4/11

Replication in transactional systems, 1SR

Lec22-pdf

Lec22-ppt

 

4/16

Clock Synchronization

Lec23-pdf

Lec23-ppt

 

4/18

Protocols that use time

Lec24-pdf

Lec24-ppt

 

4/23

Building time-critical web services systems with scalable back-end subsystems

Lec25-pdf

Lec25-ppt

 

4/25

Autonomic computing systems: goals, mechanisms, needs

Lec26-pdf

Lec26-ppt

 

4/31

Crossing the chasm.  Technologies, their weak spots.  Challenges of getting stuff adopted.

Lec27-pdf

Lec27-ppt

 

5/2

No class (first project demo day, for those who want to demo “early”)

---

----