Distributed Algorithms, 6.852
Fall 2005
Lecture: TR 9:30-11 (2-190)
Announcements | Staff | Book | Handouts | Grading | Schedule and Lecture Notes | 2003 Course Homepage (w/ lecture notes) |
Announcements:
- All homework (including Problem Set 7) can be collected from Tina. Alternatively, you can request to have your problem sets mailed to a campus address.
- The newest versions of the TIOA front-end (checker) and user guide are available here. The tool has a very simple web-based interface.
You should use the front-end to check your algorithm specifications for homework exercises asking for carefully written code (IOA code or precondition/effect code).
An example TIOA file using tasks, providing the Clock automaton from Section 8.3 of the book, can be found here.
Staff:
|
Lecturer: |
lynch (at) theory.lcs.mit.edu |
32-G668. Office Hours: After class and by appointment |
|
|
TA: |
Tina Nolte |
tnolte (at) mit.edu |
32-G670. Office Hours: W4:30-6:30 |
|
Secretary: |
joanne (at) theory.lcs.mit.edu |
32-G672A. Phone: 617 253-6054 |
Book and Supplemental Bibliography:
The main source will be the book Distributed Algorithms, by Prof. Nancy Lynch. (fourth/fifth printing)
Consult Corrections to the Second Printing of "Distributed Algorithms" if you have the second printing of the book.
Consult Corrections to the Third Printing of "Distributed Algorithms" if you have the third (or second) printing of the book.
Please direct any typos you find or other comments about the book to Prof. Nancy Lynch.
Below are some links to places where you can buy the book online:
|
by Prof. Nancy Lynch (fourth/fifth printing) |
Handouts:
|
1. Course Description |
|
||
|
2. Tentative Course Schedule |
|||
|
3. Supplemental Bibliography |
|||
|
4. Homework Assignment 1, Part a |
Due on Thursday, Sept. 22, in class. |
||
|
5. Homework Assignment 1, Part b (updated) |
Due on Thursday, Sept. 22, in class. |
||
|
6. Dijkstra Prize Papers |
|
||
|
7. The Albanian Generals Problem |
|
||
|
8. Homework Assignment 2, Part a |
Due on Thursday, Oct. 6, in class. |
||
|
9. Homework Assignment 1 Sample Solutions |
|
|
In course cabinet. |
|
10. Homework Assignment 2, Part b |
Due on Thursday, Oct. 6, in class. |
||
|
11. TIOA Manual |
|||
|
12. Homework Assignment 3, Part a (updated) |
Due on Thursday, Oct. 20, in class. |
||
|
13. Homework Assignment 3, Part b |
Due on Thursday, Oct. 20, in class. |
||
|
14. Homework Assignment 2 Sample Solutions |
|
|
In course cabinet. |
|
15. Homework Assignment 4, Part a |
Due on Thursday, Nov. 3, in class. |
||
|
16. Homework Assignment 3 Sample Solutions |
|
|
In course cabinet. |
|
17. Homework Assignment 4, Part b |
Due on Thursday, Nov. 3, in class. |
||
|
18. Homework Assignment 5, Part a |
Due on Thursday, Nov. 17, in class. |
||
|
19. Homework Assignment 4 Sample Solutions |
|
|
In course cabinet. |
|
20. Homework Assignment 5, Part b |
Due on Thursday, Nov. 17, in class. |
||
|
21. Homework Assignment 6, Part a |
Due on Thursday, Dec. 1, in class. |
||
|
22. Homework Assignment 5 Sample Solutions |
|
|
In course cabinet. |
|
23. Homework Assignment 6, Part b |
Due on Thursday, Dec. 1, in class. |
||
|
24. Homework Assignment 7, Part a |
Due on Tuesday, Dec. 13, in class. |
||
|
25. Homework Assignment 6 Sample Solutions |
|
|
In course cabinet. |
|
26. Homework Assignment 7, Part b |
Due on Tuesday, Dec. 13, in class. |
||
|
27. Homework Assignment 7 Sample Solutions |
|
|
In course cabinet. |
Grading:
Each student must participate in grading problem sets, probably just one, but maybe two depending on the size of the class. If you have not signed up to grade for a certain week, please do so by contacting Tina (tnolte@mit). Please check in the sign-up sheet below what weeks are available. We need at least four graders for each week, except the last.
|
HW |
Grading
Period |
Graders |
|||||||
|
1 |
Thr. 9/22 - Mon. 9/26 |
X |
X |
X |
X |
X |
|
|
|
|
2 |
Thr. 10/6 - Wed. 10/12 |
X |
X |
X |
X |
|
|
|
|
|
3 |
Thr. 10/20 - Mon. 10/24 |
X |
X |
X |
|
|
|
|
|
|
4 |
Thr. 11/3 - Mon. 11/7 |
X |
X |
X |
|
|
|
|
|
|
5 |
Thr. 11/17 - Mon. 11/21 |
X |
X |
X |
|
|
|
|
|
|
6 |
Thr. 12/1 - Mon. 12/5 |
X |
X |
X |
|
|
|
|
|
|
7 |
Tue. 12/13 - Fri. 12/16 |
X |
X |
|
|
|
|
|
|
LaTeX Packages:
You may want to use the spec92.sty style file for typesetting your homework solutions in LaTeX. spec92.sty is Leslie Lamport's package that defines a spec environment for printing an ASCII specification. The environment is like verbatim, except that \ works as usual, and various abbreviations are defined--for example, [ ] for \Box and => for \Rightarrow. See comments in the file for info on how to use it.
We also provide a nice example of how to use this here.