PPT Slide
Distributed Consensus
The Asynchronous Model
Solution Requirements for Consensus
Impossibility Result (FLP[85])
FLP[85] (Cont.)
More Definitions...
Proof of Lemma 1
A Decider
Illustration of a decider
Correctness of FLP
Proof of Lemma 2
Proof of Lemma 2 (cont.)
Proof of Lemma 2 (cont..)
Proof of Lemma 2 (end)
So, What can be done???
A Randomize Protocol for Consensus
The protocol (Ben-Or)
The Protocol (cont.)
Homework
Other Ways to Bypass The Impossibility Result
Email: yairamir@cs.jhu.edu
Home Page: http://www.cs.jhu.edu/~yairamir/cs437/600-437.html
Other information: Distributed Systems (600.437), Lecture 6: Asynchronous Consensus Models