ECE 428/CS 425/CSE 424 (Spring 2008)
Distributed Systems

Homework 2

As on all homeworks, students are encouraged to talk to study-buddies about
concepts taught in the course; however, should they discuss any homework 
problem, they should independently write up their solution, without reference
to any notes from such study sessions.

Assigned 2/12/08
Due by start of class on 2/21/08

1. Give a maximal set of conditions under which OM(0) satisfies IC2.

2. Does the FLP proof work in a synchronous network? If not, explain what proof step(s) doesn't (don't) work.

3. What if we have a synchronous network but messages can be lost? Does the FLP result hold?

4. Exercise 12.2 (4th Edition)