Lectures are 10:30 to 11:55 AM, Tuesday and Thursday, in Jorgensen 74.
The material to be covered in each lecture is outlined below (italicized entries indicate important academic calendar dates, boldface entries indicate assignment due dates). This schedule may change during the term as necessary.
| Date | Lecture/Homework | Handouts | |
|---|---|---|---|
| 09/29 | M | First Day of Classes | |
| 09/30 | T | Course Introduction; Aspects of Distributed Systems: Models, Theory, Design, Implementation, Testing; Examples of Distributed Systems | Slides (PDF) Notes (PDF) |
| 10/02 | Th | Models of distributed systems; The UNITY model; Processes; Message-triggered state machines; Messaging infrastructure; Specifications; Stepwise refinement. |
Slides (PDF) Notes (PDF) |
| 10/07 | T | Introduction to Reasoning; Discussion of Homework 1. | Slides (PDF) |
| 10/07 | T | CS Retreat Starts 1 PM | |
| 10/08 | W | CS Retreat Ends | |
| 10/09 | Th | More about Reasoning | Slides (PDF) |
| 10/14 | T | Introduction to snapshot algorithms and detecting global predicates; Discussion about homework 2. | Slides (PDF) |
| 10/15 | W | Homework 1 Due | |
| 10/16 | Th | Snapshot Algorithms | Slides (PDF) |
| 10/17 | F | Last Day for Adding Courses | |
| 10/21 | T | Termination Detection; Discussion of Homework 3. | Slides (PDF) |
| 10/22 | W | Homework 2 Due | |
| 10/23 | Th | Diffusing Computations | Slides (PDF) |
| 10/28 | T | More Diffusing Computations | Slides (PDF) |
| 10/29 | W | Homework 3 Due | |
| 10/30 | Th | OR-Deadlock Detection | Slides (PDF) |
| 11/04 | T | No Class |
|
| 11/05 | W | Quiz 1 Due | |
| 11/06 | Th | Conflict Resolution in Distributed Systems | Slides (PDF) |
| 11/11 | T | Distributed Dining Philosophers; CS 141 Courseware |
Slides 1 (PDF) Slides 2 (PDF) |
| 11/12 | W | Homework 4 Due | |
| 11/13 | Th | Distributed Dining Philosophers Wrapup; Introduction to Fault Tolerance | Slides (PDF) |
| 11/18 | T | Self-Stabilization, Introduction to Byzantine Faults | Slides (PDF) |
| 11/19 | W | Homework 5 Due Last Day for Dropping Courses |
|
| 11/20 | Th | Byzantine Faults | (Same Slides as Tuesday) |
| 11/25 | T | Overview of CS 141b, c | Slides (PDF) |
| 11/27 | Th | Thanksgiving Day | |
| 11/28 | F | Thanksgiving (Institute Holiday) | |
| 12/02 | T |
Homework 6 Due Quiz 2 Review |
Slides (PDF) |
| 12/04 | Th | No Lecture | |
| 12/05 | F | Last Day of Classes | |
| 12/08 | M | Quiz 2 Due | |