CS 141abc. Distributed Computation Laboratory

Fall 2003 Course Schedule

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/29M First Day of Classes
09/30T Course Introduction; Aspects of Distributed Systems: Models, Theory, Design, Implementation, Testing; Examples of Distributed Systems Slides (PDF)
Notes (PDF)
10/02Th Models of distributed systems; The UNITY model; Processes; Message-triggered state machines; Messaging infrastructure; Specifications; Stepwise refinement. Slides (PDF)
Notes (PDF)
10/07T Introduction to Reasoning; Discussion of Homework 1. Slides (PDF)
10/07T CS Retreat Starts 1 PM
10/08W CS Retreat Ends
10/09Th More about Reasoning Slides (PDF)
10/14T Introduction to snapshot algorithms and detecting global predicates; Discussion about homework 2. Slides (PDF)
10/15W Homework 1 Due
10/16Th Snapshot Algorithms Slides (PDF)
10/17F Last Day for Adding Courses
10/21T Termination Detection; Discussion of Homework 3. Slides (PDF)
10/22W Homework 2 Due
10/23Th Diffusing Computations Slides (PDF)
10/28T More Diffusing Computations Slides (PDF)
10/29W Homework 3 Due
10/30Th OR-Deadlock Detection Slides (PDF)
11/04T No Class
11/05W Quiz 1 Due
11/06Th Conflict Resolution in Distributed Systems Slides (PDF)
11/11T Distributed Dining Philosophers; CS 141 Courseware Slides 1 (PDF)
Slides 2 (PDF)
11/12W Homework 4 Due
11/13Th Distributed Dining Philosophers Wrapup; Introduction to Fault Tolerance Slides (PDF)
11/18T Self-Stabilization, Introduction to Byzantine Faults Slides (PDF)
11/19W Homework 5 Due
Last Day for Dropping Courses

11/20Th Byzantine Faults (Same Slides as Tuesday)
11/25T Overview of CS 141b, c Slides (PDF)
11/27Th Thanksgiving Day
11/28F Thanksgiving (Institute Holiday)
12/02T Homework 6 Due
Quiz 2 Review
Slides (PDF)
12/04Th No Lecture
12/05F Last Day of Classes
12/08M Quiz 2 Due
Valid CSS! Valid XHTML 1.1! Last modified by Daniel M. Zimmerman on 2 December 2003