Click here to load reader

Διάλεξη 1 6 : Πρόβλημα Συμφωνίας

  • View
    47

  • Download
    5

Embed Size (px)

DESCRIPTION

Διάλεξη 1 6 : Πρόβλημα Συμφωνίας. ΕΠΛ 432: Κατανεμημένοι Αλγόριθμοι. Τι θα δούμε σήμερα. Ορισμός του προβλήματος Συμφωνίας Αλγόριθμος Συμφωνίας με Σφάλματα Κατάρρευσης. Πρόβλημα Συμφωνίας. Κάθε επεξεργαστής έχει μια είσοδο - PowerPoint PPT Presentation

Text of Διάλεξη 1 6 : Πρόβλημα Συμφωνίας

001 -

16: 432: 0 2011

1432:

:

:

: . , .432: 2 : 1,1,1,1,1 1 0,0,0,0,0 0 1,0,0,1,0 0 1

: 1,2,3,2,1 1 2 3

432: 3

f

432: 4 f + 1f + 1 f + 13f + 1

.432: 55

f ( ) . : .

. 432: 66 Code for each processor:

v := my inputat each round 1 through f+1: if I have not yet sent v then send v to all wait to receive messages for this round v := minimum among all received values and current value of v if this is round f+1 then decide on v432: 77 round 1: send my inputreceive round 1 msgscompute value for vround 2:send v (if this is a new value)receive round 2 msgscompute value for vround f + 1:send v (if this is a new value)receive round f + 1 msgscompute value for vdecide v

432: 88 (): f+1.

( 1): : .432: 99 ( 2): pj , x, pi pi x :

f + 1 f + 1 . f . 432: 10q1q2qfqf+1pjpiround1round2roundfroundf+110 n > f

f+1

n2 |V| V

log|V| bits432: 11 :n > f + 1

.

{0,1}432: 1212- .

-

432: 1313 C - C, (-) .

(Bivalent): 0 1.

(Univalent): 0- (0-valent) 0, 1- (1-valent) 1432: 1414 432: 15CEFGD0 0 0 0 0 1 0 1 1 1 1 1 1 0 0 1