CS4231 Parallel and Distributed Algorithms: Instructor: Haifeng YU
CS4231 Parallel and Distributed Algorithms: Instructor: Haifeng YU
CS4231 Parallel and Distributed Algorithms: Instructor: Haifeng YU
Lecture 8
Instructor: Haifeng YU
Review of Last Lecture
Chapter 13 “Leader Election”
Motivation
Version 0: No failures
Everyone send its input to everyone else
Do some deterministic computation on the n values, Decide,
and Done
Each process first performs a send (taking time no more that t1).
Message propagation and receiving the message no more than t2.
Local processing no more than t3.
P3
round 1
round 2
round 3
round 1
{1, 2, 3} {2, 3}
round 2
{1, 2, 3} {1, 2, 3}
Need one extra round for each failure ! f+1 rounds to tolerate f failures
Decide on min(S);
CS4231 Parallel and Distributed Algorithms 15
Distributed Consensus Version 1:
Correctness Proof for the Protocol
Termination: Obvious since there is no wait
Validity: Obvious since S will have only a single element
Claim: All nonfaulty processes at round f+1 will have the same S
A B A B due to
due to
input=1 input=0 indistingu input=1 input=1 agreement
decision=? decision=0 ishability decision=0 decision=0
how to
rigorously
define last
lost message?
L1 maintained similarly
round 3
2 3
round 2
2 1
round 3
2 3
round k round k
L1 L1-1 L1 L1-1
round k round k
L1 L1-1 L1 L1-1