Distributed Consensus

10/18/00


Click here to start


Table of Contents

PPT Slide

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

PPT Slide

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

Author: Yair Amir

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