Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 43
Текст из файла (страница 43)
ТЬе гпеязаяе согпр1ех1гу о1 с1аяя1са1 Жягг1Ьы~ей г1ер1Ь-йгй зеагсЬ еопа1з 2~Е~, счЬ1сЬ 1з ор11гпа1 (Ьагг1п~ а сопвФап~ 1ас1ог 2) Ьу ТЬеогегп 6.6 Ы ФЬе ЫепИ1ез о1 пефЬЬогя аге по~ 1гпожп 1пЖаПу. ТЬе багие согпр1ехйу 1я а1яо 2~Е~, МисЬ 1я ~Ье Ьея1 ровв1Ь1е Гог ~гачегза1 а1~ог1гЬгиз 1п $Ь1я сме Ьу 1 егпгпа 6.32.
А ййг1Ьи1ес1 чегз1оп оГ гЬе с1ер1Ь-йгв1 веагсЬ ~чм йгзг, 81чеп Ьу СЬеииа 1СЬе831. 1п БиЬвесМоп 6.4.2 ~счо а1~ог1гЬгпз МП Ъе сопзЫегей Вам сопя~гпс1 а йер~Ь-йгяГ, яеагсЬ аггее 1п иеМог1ся ъ ЫЬои1 Ьюж1ефе оГ $Ье пе18ЬЬогз' ЫепМ~у 1п 0(Х) Игпе ппйв. Сопвес1иепГ1у, ~Ьеяе а1дог1йппв аге пог ~гачегва1 а1дог11Ьгпя. 1п БиЬзесИоп 6.4.3 1по~ч1ег1де о1 пе1 ЬЬогв ялП Ье ехр1ойес1 1о агг1че а1 ап а1дог1йт М1Ь гпезза~е алй г1гпе согпр1ехйу 0(Ф). Ртоо~, Ая гЬе а1цог11Ьгп ппр1еспепсз Таггу'я а1~ог11Ьп1, 1г 1з ь ггачегяа1 а1~ог1гЬгп апс1 сотригез а ярапп1п:гее Т.
й Ьм а1геаоу Ьееп зЬоъп $Ьа1 еасЬ сЬаппе1 сагг1ея гч~о п1езвааев (опе 1п еасЬ Йгес1,1оп), ~ч1йсЬ ргочея ФЬе гпезза8е согпр1ех1гу, апс1 г11е г1гпе сотр1ехйу 1ойочв Ьесапяе гЬе 2~Е,' гпеяяаяев аге ехспа118ей опе айег ~Ье о~Ьег. еасЬ 'айпи аг гповг опе багие цп11. 11 гегпа1пв ~о яЬо~ч ~Ьа~ где БЗ 1гпр11ея гйат, гЬе гези1г1п~ ггее 1я а С1ер~Ь-йгз~ веагсЬ згее. Р1гз1, ги1е КЗ ппр11ев гЬа~ ',пе йгя: ~гачегяа1 ог а гопс1 ь 1гпгпесйьсе1у ГоПожей Ъу гЬе яесопй ггачегза1, 1п ~Ье гечегзе г11гес11оп.
Аяяшпе рд 1я ь Ггопд а11й р 1в гЬе йгя- ргосевя ~о иве ~Ье Ггопй. ЧЧЬеп д гесетчез гЬе го)~еп 1гот р, д Ьаз Ьееп ч1я1гес1 а1геайу (о~Ьегыяе д жоы1г1 зег ~агЛет, '.о р апа ~Ье ес1де мчав по~ а |гопы) апс1 изеЫ,(р) 1я 1а1яе ! Ьесапзе Ьу мзшпрг1оп р ъм ФЬе йгз~ оГ 1Ье гас ргосевзев 1о ияе ~Ье ес1~е). СоияеоиепС1у, Ьу ЯЗ, „. вепс1я ~Ье голеи Ьас1с ~о р пшпес11Ме1у. 1г, сап подач Ье яЬоъп ~ЬаС 1Г рд 1в а 1гопс1, йгя~ ияес1 Ьу р, гЬеп д с А(р1. СопвЫег гЬе ра~Ь 1оПо~чег1 Ьу 1Ье $оМеп ипЫ й 1з яепг ч1а ра.
Ая ра 1в а попс1, а Ьм Ьееп ч1я1гес1 Ъегоге 1Ье ~о1"еп геасйес1 д ч1а гЬ1в ес1де: б Гам ипй Т;летой Л!!уопйпи б. '.2 Оер~Л-ЯтвЕ. $еитсЬ Яз тЙЕгтв Егзгпд ЙЕиеат Тгте ГЬе ~еаьоп Еог !1и. !п~Ь г!и с лпр!ек'1у оЕ !1~е !аьь!са! г!сргЬ-Ьгь1 ьеагсЬ а!дог!йю !ь Г1и! а!! ей„'"ь, ггее . А~еь аь ~чс'! пь 'гопс1ь. аге ггагегьес! ьсг!а!!у. ТЬе го!.еп шеьва~е ', го", ) ггь..;»е;: а!! Егопй е~'.~еь' апй геГпгпь Ь-ппсо!Ме1у *ь -,'.-. л яЬе рг'оЕ оЕ ТЬеоге~л 6.33.
А!'. ьо!пг!опь ъ.1гЬ 1о чег г!ше сошг!г~ аге Ъаьег! оп гЬе р~!пс!р!е -',Ь~г гЬе !о1се» шеьь~фе оп1у ггз~егзея аггее = 'вась; с~еаг1у!Ыь га'еь ':.:.",: ',!и Ъ:ап. е гЬсге аге оп1у У вЂ” 1 Ггее ес! ев. АюегЪосЬ'я зо1иг!оп. ТЬе а!р г'г!.. и пот !пс1в1еь а шесЬап!вш йы ргечепгь Ж" гапьгп'.-я!оп оЕ сЬе ".о1;.и;Ьгоп Ь а Егопс1 едое. 1п йЬе а!дог1~Ьт .Е Л.:.. >ис1~,Лъс 66Ъ] !г !в епв::-.с; .;-.
асЬ ргоссья 1~погь, аг гЬе шоп:егг гЬеп ~г гппь~ Еог~чнгс! гЬе ~о!ь.п. ъ'лсп оЕ !гь пе!дЬЪогь Ьаъе Ьееп йь!ген !~за~!у. ТЬе ргосеьь сЬеп сЬооьеь а:: пп 1ь!ген пе1дЬЪог, ог вепг!ь гЬе го1сеп го !гь ог п ЕагЬег !Е по ьпсЬ пе!ф~Ъог ек!ьгв. 'А? еп ргосезь р !ь йгвс;.1ь!ген Ъу гЬе ийеп (Еог СЬе !и!г!аког гЫв оссигв ;ъ.Ьеп гпе ь1дог1г1ап !ь ьгаггес!) р 1пЕоппь еасЬ пе!дЬЪог г, ехсерг !гв ЕагЬег, о!' '.Ье ч!ь!г Ъу ье~п1!п~ а ( лв) п~еяьаь,.е йо т. ТЬе Еотюагс!!пд оЕ СЬе йо1сеп !.
ьпьрс п1е4 цпС1! р Ьаь геселей ап (ас1) гпеяьаде Еготп еасЬ пе1дЬЪог. Е!пь егвпгея !Ьаг еасЬ пефЬ >ог т оЕ р 1.пот'.в, ай ФЬе шогпеп~ р Еогъагй йЬе и '.еп, гйа~ р Ьая Ъееп Ы !гни. 11 Ьеп, 1агег, гЬе 1о1.еп агг!чея аг т, т М11 и ь Еогъагй гЬе гокеп го р, пп!еьь 1 гз т'я ЕагЬег; ьее А!дог!гЬш 6.15. ЕЬе ехсЬап~е оЕ (ч1в) гпеьяааеь сапвея, !и поз~ свяев, изегЕ Царят,] 1о Ъе ".где реп ж1~еп р Ьая по1 уег зепи гЬе ~о1сеп 1о Йя ЫЬег. ?1 гппьг гЬегеЕоге Ъе ргоагапппей ехр!!с!г1у ш 'Ье а!дог!гЬт ~Ьаг, оп1у гЬе магог шау с1сс1с!е, а поп-!шй!аког р Еог ю~~ЫсЬ изеНр(ц] !я багие Еог а11 пе1дЬЪогя ц Еогтагдь гЬе йо!'еп ~о 1гв Еа~Ьег.
ТЬеогегп 6.34 Ашет5исЬ'з а1уапйт (А!уопгЛти 6.15) сотаригез а йрй- ртз! зеатсИ, атее ю 4Ж вЂ” 2 йте идйз апг! ыез 4.~Е] тпеззауез. Рто4. ТЬе госдеп !я вепг, еьзепйа11у ~Ьгоп~Ь $Ье яагпе сЬаппе1в аз ш А1~ог1:Ьгп 6.14, ехсерг гЬа1 ьепс!!пц гЬгоп Ь Егопс! ес1аев !в ош!й~ег!. Аз ггапятль!опь гЬгои Ь Егопс! ег1~еь йо по~ !пЕ1иепсе ~Ье йпа! а1ые оЕ ~апет Еог апу ргосевь р, гЬе геяпМпд аггее Ез аМауз а роязЕЫе гезий оЕ А1догйЬгп 6.14. ТЬе гсйеп гг аъегвея вег!а11у еасЬ оЕ гЬе Х-1 ггее ес1аея СМсе, иЫсЬ созга 2Х вЂ” 2 г,!гпе ип!'.з. Аг, еасЬ поде йЬе Со1'еп ъайв а1 шов1 опсе, ЪеЕоге Ы сап Ъе Еогжагс1ес1, Еог ~Ье ехсЬап~е оЕ (ч1я)/(ас1с) шезвадез, ~ЫсЬ рдея пзе го а с!е1ау оЕ аг гпоьг Ьчо г!ше ипйь аг еасЬ поде, ЕасЬ Егопс! сагг!ев гас (ъ1з) шевва~ез апс1 1ъо (ас1с) шеввадев.
ЕасЬ ггее ес1 ге сагпея Ьчо (Йо1с) шевяа~ея, опе (ъчв) (вепй Егор Еа1Ьег йо зоп), Тппе Сатар1ехйу: Оер1Л-Ягзг БзагсЛ ~аг азсср(д1: Ьоо!еап 1п1й Еа!ве Еог еасЬ ц 6 ЛИЛ„: (* 1пйсасез ъ.Ьссбег р Ьав а1гсзи1у зепг со а ") !пав ~н!з~; Гайзгр . ргпсезз Рог сЬе !пй1асог сп!у, схеспсе опсс: Ьефп ~агЛзт:= р; сЬоове д Е МпдЛр; 1ога11 г е Ме~ф с!о зепо (~г1в) со г; Гога!1 г Е Фс~дЛ„с1о тесе!че (ас1с) !гогп г; аззаро:= гтиз; зепи ( еп1с) гп епс1 гог еасЬ ргосевз, ирпп гесе1р~ о1 ( со)с) 1го1п ац..
Ье 1и 11 ~агЛет = аде~ ФЬеп Ьерп,гаГЛзт = аа . Гога11 т а №~дЛ ~ (Ца1Лсг ) 0о зепс1 (а!в) со г; 1ога11 т е УауЛ„~ (~аГЛ~г ) с1о гесс!ре (ас1с) !го1п г епс1; 11 р !з СЬе !п1с1агог аш1 %~1 6 №1дЛр: изадор(д1 ФЬеп ЫзсЫз е1зе Ы Зд а МидЛ: (<1 ф ~а~Летр Л вЂ” изейр® сйеп Ьефп Ы~айзт ф ца г~ изей (ца) сЬеп д:= да е1ве сЬоозе а Е .ЧиуЛр ~ ЦагЛет„) ъйЬ -изеЙрд~~); изейрф:= огиз; зепи (со!с) йо а епс1 е1яе Ьефп изеарЦагЛет 1:= ггие; зепи (Фо1с) са,га1Лзт епс1 епс! Рог еасЬ ргосевв, европ гесе1рс оГ (~лв) Ггогп аа..
Ъефп иззЫр(ца):= й ие; зепи (ас1с) со аа епс1 А1догЫЬгп 6.15 А~з~кквнсн'в эяртн-нкят яклксн л~сок|тнм, ТЬе вепйп оГ а (йв) гпеява8е свл Ье огп1йсес! 1ог сЬе пе1кЬЬог ~о иЬ1сЬ а ргосеяя Гогюагс1я ~Ье йо1сеп. ТЬ1я ыпргогетеп~ (по1 сагг1ес! оп1 1и А1 огМип б.15) яачев Ьчо гпевящев рег ггее ефе апс1 Ьепсе гес1ысев сЬе гпезяаце согпр1ехйу Ьу 2У вЂ” 2 гпеява8ез. СЫоп'я яо1пИоп.
ТЬе а1когЖпп оГ СЫоп !Си188~ ипргочея оп '.Ье:1гпе согпр1ехйу о1 АюегЬпсЬ'я а1дог1йш, Ьу по~ яепйпд 1Ье (ас1с) гпеяяадев апй опе (ас1с) (Ггогп зоп со ГайЬег). Сопвес!пепс1у, 4.!Е~ гпеввадев аге ехсЬалдес1. П 6 И'ац .ид Ттаиетва1 А1допйтпв чаг ивегЕрф: Ьоо1еап 1пж 'а1ве 1ог еасЬ д е №~дЬр, ~"айетр: ргосевв 1п11.
игЕеЕ; татар: ргосевв 1п1", игЕе~; тот ~Ье!п1ГиГог оп1у, ехесиГе опсе: Ьефп,~айетр .— — р; сЬоове д Е №1фр; Гога11 т Е №Едар оо вепо (ч1з) го т; ивсгЕрЯ):= гтие; т",.т„,:= д: вепс1 (Фон) го д епс1 гог еесЬ ргосевв, ироп гесе1р~ т" ',ч1в) Егот да. Ьерп иве~Е 1ч~):= чтит 1Е дц = ттвр еЬеи ( ' 1пгегргег ав (Фо1с) тпеввще ') Еогъагй (го1с) тая-чаде ав ироп гесе1рг оЕ (го1) ~певваае епо' А16ог1тЬш 6.16 С!ВОЙ я па~'тн-иаят веаасн аьсожтнм (Райт 1). ыве6 ш АжегЪпсЬ'я а1 ог1~Ьгп.
1п С1г1оп'в шос116ес1 ь1~ог11Ьш, ГЬе Го1сеп Ев Гогччап1ес1 1пппег11аге1у, 1.е., ч1гЬопг ~Ье аяччо г1ше ып1~ г1е1ау ш1гос1псег1 1п АжегЪпсЬ'в а1Ког1ГЬш Ъу в«аг1п Гог гЬе ьс1'почч1ег1дешеп~в. ТЬе ваше ь18ог1ГЬш ~чав ргорояей Ъу?якяЬшьпьп е8 а1. (1МТ87], ТЬе Го11оччш в1гпьг1оп шьу осспг ш С1г1оп'в ь1яог11Ьш.
Ргосеяв р Ьаз Ъееп ч1я1Сес1 Ъу гЬе го1еп апй Ьаз зепи а (ч1з! шезвще Фо Ыя пе1дЬЪог т. ТЬе 1о1геп 1аФег ч1вйв т, Ъпг аГ гЬе шошепГ т гесе1чев ГЬе го1сеп ФЬе (чГв) шезвь~е оГ р Ьая пог, уе1 геасЬег1 т. 1п Ипз саве т шау Гогкагс1 гЬе 1о1геп го р, ас~ца11у вепг11пд й ч1ь ь Ггопс1 ес1 е. (ОЪвегче Ьочч 1Ье (ас1с) шезвадез 1п АччегЪпсЬ'я ь18ог1ГЬш ргечеп1 1Ыв ясепапо Ггош ФаЫпд р1асе.) То Ьапг(1е гЫв вйпас1оп, ргосевв р гесогс1в (1п чаг1ьЫе тптвр) го ччЫсЬ пе4ЬЪог 1г шояг гесеп~1у зепг 1Ье Ео1~еп. реп яЬе ~о1геп оп1у ггачегвев аггее ег1дея р гесеЕчев 1С гЬе пех~ Мше Ггош сЬе ваше пе1еЬЪог тптвр.
1п ГЬе всепаг1о г1ейпес1 аЪоче р гесе1чея 1Ье (го1с) шеяза~е Ггош а ЙйегепГ, пе(цЬЪог, пагпе1у Ггош т; йе Еойеп и щпотегГ т йм саве, ЪиЕ, р шаг1гз ~Ье ес1це тр ая пяег1, 1пв$ ая 1Г а (ч1я ) шеяяа е Ьад Ъееп гесе1чег1 Ггош т. Ргосеяя т гесе1чев р'в (ч1я) шезяа~е айаг яепг11п йе 1оМеп 1о р, 1.е., т гесеЕчея а (ч1я) шеввь8е Ггош пефЬЪог гита„. 1п 1,Ыя саяе т асов ав 1Г Ы Ьаг1 пог уев веп1 гЬе го1геп $о р; т яе1есгя ь дехи пе1яЬЪог ьпд Гога ьхс1з 1Ье 1о1сеп; вее А1~ог1йпп 6.16/6.17. ТЬеогепг 6.35 СЫол'в а1допйтп (А1дотчйтп 6.16/6.17) сотриГез а ЗРЯ атее Еп 2Р— 2 Итпе иптЕв илпд 4.~Е~ тпеиадез.
б. ' и Сотар1еп1у: Бррй-)Гтв1 $еатй 211 Рог евсп ргосевв, ироп гесе1рг оГ (го1) Ггогп ац. Ъефп 1Г титзр ф иае~ апс1 ттвр ~ ас (" ТЫв 1в а Ггопб ег1де, ~пгегргег вя (ч1в) гпевваде *) 1Ьеп иведр[да]:= гтие е1ве (* Лс1 вв 1п ргечтоив в16огй!пп ") Ъефп 1Г 1айгет = иЫеГ ФЬеп Ъед1п ~апет:= до . Гога11 т и Жеще ~ [~агЬетр) г1о вепг1 (ч1в) го т епс1; 1Г р !в йе 1пМвГог апд ~д б ч~е~уЬ . ивЫр [а] гЬеп аес2Й е1ве 1Г Зд Е Ме~уЬ; (с ж „1айст,'~ ивв1 уД гЬеп Ъерп 1Г ~айат„~ ца ~ 'иве4р[да] йЬеп д:= дс е!ве сноове 4 Е Людйр ', (~а0~втр) олгЬ ивеНр[ц]; ивег~~[а]:= Гтие; ттвр — — ~1 вепг1 (го1с', го с епй е1ве Ъефп ивейр[гаИетр]:= гтие; вепс1 (го1с) йо 1аНет епй епс1 А16огЫЬпг 6.17 С~пои'я экртн-ягнят зклнсн ысожтнм (Рант 2) Ртоо~. Ада1п ФЬе 1опг оГ гЬе Фо1сеп 1я яши1аг го гЬе ~опг Го11ожег1 Ъу А1- 6ог1ГЬгп 6.14.
ЕЫЬег Фгапвгп1вя1оп 1Ьгопф~ Ггопг1 ейбев 1з огп1Игей (ая М1Ь А1догЫЬгп 6.15) ог гЬе Фо1геп сговвев а (ч1я) гпевваде ш 1Ье Ггопс1. 1п ~Ье 1аяФ саяе 1Ье ргосеяв гесе1ч1пд 1Ье (ч1я) гпевяаде сот1ппез Гог~чаго1п6 вЬе Мйеп, юЬГсЬ Ьав гЬе вагпе еЫес1 ав 1Г '.Ье ~о1сеп Ьай Ьееп зепи Ьас1с гЬгопдЬ 1Ье Ггопй Ьпшейаге1у. ТЬе Фппе Ьейкееп М~чо япссеяз1че 1гапяппвя1опв оГ ФЬе $о)реп йгои6Ь а аггее ядие 1я Ьоппс[ей Ьу опе Мгпе пп1г,.
1Г йе ~о1геп 1я зепи а1опд а аггее еда ~о р аВ Мпье Ф, 1Ьеп аФ бэппе 8 а11 (чЬв) гпеяяанев оГ ргеч1опя1у ч1я11ей пе1дЬЬогя д оГ р Ьаче Ъееп вепВ, апй сопвесргепг1у гЬеве гпеввадев агг1че аВ вЬе 1агевФ а1 вше 8 + 1. Бо, ечеп ~ЬопдЬ р шау Ьаче веп1 гЬе Со1сеп 1ЬгопдЬ а Ггопй еда вечега1 11гпея ЪеГоге 1+ 1, ав 1шге 1 + ' аг ФЬе 1а1евг, р Ьав гесочегес1 Ггогп аИ гЬеяе ппяга1сея апс1 Гогюагйес) гЬе 1оМеп гЬгощЬ а аггее едбе. Ая 2М вЂ” 2 аггее елея пшя1 Ъе ггачегзей, ~Ье а1~ог1~шп ~епшпагея 1п 2Ф вЂ” 2 г1гпе опав. б Раве ать Ттаттва1 А1датйЬтв чаг ~айшет~: ргосеьв 1п1й агге,г; Гпг 1Ье шйигпг оп1у, ехеспФ «.е: Ье 1п ~айаг„= р; сЬоо * д е Фе~дl~„ веп., пвг, (р) ) .-ой 1гог еасЬ ргосс.-:, прои гесе11,: >1 ( г11яг. Г,) 1гоп1 д~,.