Download presentation

Presentation is loading. Please wait.

Published bySandra Lorraine Modified over 2 years ago

1
YO-YO Leader Election Lijie Wang

2
Using SPIN Used to detect design error in applications; descriptions of distributed algorithms. 2

3
YO-YO Algorithm Minimum finding Leader(smallest id node) Consists two parts Preprocessing Iterations 3

4
Basic Components Node Id Neighbors 4 Edge Between nodes Voting through

5
Preprocessing Node Exchange its id with neighbors 5 Edge Direction Small->large (id)

6
DAG 6

7
Direction goes down using different ico 7

8
Candidates Local minima ->source ->candidate 8 Preprocessing completed Second part start…

9
Iteration Remove candidates Leave the only one 9 Two phases YO- -YO

10
10 Source: ⊙ ->id-> out neighbors Internal: ->all in neighbors-> ⊙ ->min->out neighbors Sink: ->all in neighbors-> ⊙ All sink done -> YO- end…

11
11 -YO start… Sink: ⊙ ->Y ->min; ⊙ -> N->others Internal: ->all out neighbors-> ⊙ Receive at least one N: ⊙ ->N-> all in neighbors Receive all Y: ⊙ ->Y->min; ⊙ ->N->others Source: all out neighbors -> ⊙

12
Eliminate candidates Receive at least one N No longer a candidate How? Receive all Y Survives (this time)

13
Reverse N-edge Receive at least one N No longer a candidate Become sink or internal 13 Modify DAG Flip the link with N With reversing Sink and internal not become candidate less candidate

14
Drag down the dead candidates 14 And start over…

15
YO- [2] 15

16
-YO [2] 16

17
Flip [2] 17

18
Termination? 18 Count the only one candidate Become the leader Pruning To reduce the message To detect termination Only left one source Additional mechanism

19
Pruning 19 Eliminate leaf Eliminate redundant route

20
20 Pruning [1]

21
21 Pruning [2]

22
22 Pruning more [2]

23
23 Pruning [3]

24
Complexity 24 Without pruning Each phase: 2 messages each link Number of phase: log (number of sources) Total: 2*m*log(s)

25
For the spin result 25 Fail to intall Ispin on the 64-bit system Try to use the Virtual Machine with a 32-bit system Ispin result will be show in the final report

Similar presentations

© 2017 SlidePlayer.com Inc.

All rights reserved.

Ads by Google