Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 53
Текст из файла (страница 53)
СопяЫег СЬе саяе тчЬеге а теява~е оЕ ЕгарпепС Г1 —— (!еие!1, пате1) ага!чев аС а пог!е оЕ ЕгарпепС Гв — — (!еие1~, патпе ). А (соппесС, !еие!1) тевяаде тпяС жа1С !Е !еие1, > 1еие!в апс1 по ( соппесС, !еие!в ) тевяаае Ьая Ъееп вепС СЬгопдЬ СЬе вате ег1ае Ъу ЕгарпепС Г~; вее (2).
А ( СевС, 1еие!1, пате1 ) тевяа|е тпяС уча!С !Е !еие1~ > !еие!в, вее (5). 1и а11 савея ъ Ьеге Г1 ~ча!Ся Еог Гв, опе оЕ СЬе Ео11оМп~ Ьо1бв. (1) !еие!1 > !вием, (2) !еие11 = !еие1~ Лш(ев,) > ш(ер,); (3) !еие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ече! яего по ьссерт тпеззьдез ьге гесеЬгес! ьпй по терог1 от Феят шеяяадея аге яепт. Ай тЬе!щЬеят !ете! еасЬ поде .;!у зепи ь герог~ шевяще ьпй гесеЬгея опе п16ьте шезваде. ТЬе хоть! итпЬег оГ тпеязадез !з йегеГоге Ьоипс!ес! Ъу 2]Е] + 5Х !од Л. П 7.3.5 Дъ«сияя1отт гу..Д ~ат1дтття От Цы СЯ5 41дот1тбтп ТЬе Сь11ьвег — НпшЫет — Яр1т;, ь!дог1тЬш 1з опе о1' тЬе шоят ворЫяМсьтей махе а1 от!".Ьпж теци1т!па 'у 1ось1 1спотч1ефе ьпй Ььлпа орешь! шев~ь8е сошр1ех1ту.
ТЬе ь1дот!'лт сьп еая!1у Ъе ехтепс1ес! зо ФЬьт й е1естз ь !еайег, пз!и оп!у тло пки= гпевзадея. ТЬе а!дог!тЬш тетш!парез 1и тжо пос1ез, пьтпе1у соте пос1ез о1 1! ~ 1ьзс Ггьрпепт (ярьпп1пд тЬе епт!ге пе$яог1с). 1пвйеьй оГ ехесиИпд втор, «Ье соте пойез ехсЬьп8е тЬе1г 1с1епйЖев апй тЬе вгпь!1ег оГ ФЬетп Ьесотея !еаза!ег. А пишЪег оГ ъьт1ьт!опз ап~' те!атей ь1~ог!ФЬшз Ьаче Ьееп рпЫ!вЫ2.
ТЬе СНЯ ь1~огйЬш шау геци1те Л(Ат~) вше 11' ваше пойез ятаган ".Ье ь1вогйЬш вегу !ьте. Н ьп ьт1т1Жопь! ~г' е-ир ргосе6иге 1в изей (ть! !п~ ьт шой 2]Е] шоте шезва8ез) ~Ье вше сошр1еиту о1 тЬе а1~от1~Ьш 1я 5Ф1о~Ф; зее Ехегс!яе 7.11. АъегЬис1т 1А~е87] Ьаз вЬо~п 1Ььт тЬе Мше сошр1ехйу о1 1Ье а1дот1йЬш сап Ъе 1шргочеИ йо О(Ф), ъЬ11е 1сеер1пд йЬе шевяь8е сошр1ехйу отйег ор~1шь1, !.е., 0(]Е]+ Х !ода). Аде!с ет ь1. !А?.ЯЪ90] Ььче л1ьрсей ФЬе ь1цог!т1пп Фо сошрите а врагиню Гогезт ъ1тЬ Гь~отьЫе ргорег+!ея, паше!у АЛЬМ ~Ье йьшетег оГ еасЬ атее ай тЬе питпЪет о1 ~геев аге 0(~. Ат). ТЬе1г ь1дот1Ипп Ййт1Ьибче1у сошри1ез а с1изтег1пд оГ тЬе песюог1 ьв 1пйса1ед ш Сепппа 4.47 апй а ярьпп1пв атее ьпй а септег 1ог еасЬ с1изтег.
Опе шау аз1с 11' 'Ье сопятгпс6оп о1 атЬ1тгагу врапп1пц тгеез сап Ье гуопе тпоге ешс1еп:1у тЬап ~Ье со баттист!оп о1 тЬе пипипа1 врапп1щ ттеез, Ьит, ТЬеогетп 7.15 1шр11ея а 1о~чег Ьоцпй о1 й(Х1од У + ]Е]) оп тЬе сопя~гис11оп оГ агЫФгату яратиипд ~геев вя тче11. ЛоЬьпяеп е~ а1. !ЛИ+87] р~е ьп ь1дог1йЬш аког сошриС1пд ап вхЬ1тгагу ярапшп~ атее ФЬЮ изез ЗХ1од Ф + 2,]Е]+ О(Ю) шевелев, тЬив 1тпрго~1пд оп 1Ье СНЯ ь1дог1тЬт Ьу а сопв1апй ГьсСог 11':Ье пе1тчог1~ 1в врагзе. Вьг-11ьп ай 2егпй [В1Е39] ргевепйей ьп ь18от1тЬш тЬьФ сошри1ез таит!от врьпп1щ 1геез, Мьеге еасЬ ровз1Ые зрапп1щ тгее 1з сЬовеп ~чЫЬ ецць! ргоЬаЫИу. ТЬе ь1цот1Ипп 1в тьпйош!вес! апс1 7.4 е Котаса-Киттеп-Мотат~ А!доттйт 25; 7.4 ТЬе КотасЬ вЂ” Киттеп — Могап Л1оогИпп Малу гези1тя Ьаче Ьееп оЬга1пей Гог тЬе е1ест1оп ргоЫетп, пот ойч Еог ГЬе сме оЕ г1пд петъот1ся апй агЫтгагу петъогхя, Ытт а1яо Гог В11е сме оГ отЬег ярес1а11яет1 "оро1орез, яисЬ ая с1!оие пеьчот1:я, етс.?и зе~ ега1 сазея ГЬе Ьезт 1шо~чп а1~ог1тЬтпз Ьаче ап О(Л 1оц;.~~ ) шеяяаде согпр1ех1ту апс1 ш яоте смея тЫя геяи1т 1в ша1сЬес1 Ьу ап Й(Х1о У) 1оюег Ьоипг1.
КогасЬ., Ки:реп, апа Могап ',ККМ90] Ьаче вЬоч~п тЬат вЬете 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я яирр11ес1 ийЬ ~Ье ЬеяЕ тгачетва1 а1дот1тЬтп 1спожп Еот а с1аяв оГ пеЬчот1сз, тЬе геви16пд а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ехйу ате 1гпочтп.
7.~.1 ТЬе Мойи1ат Сотиса ис8вотт ТЬе КогасЬ-Киттеп — Мотал а1аог11Ьш ивез тЬе Ыем оЕ ЪотЬ тЬе ехт1пст1оп сопз1гист1оп (БиЬвесйоп 7.3.1) апт1 ~Ье Ре1егяоп/Эо1еч-К1атче-Влт1еЬ а1- рг1тЬш (ЯиЬзесЕ1оп 7.2.2). ТЬе гезешЫьпсе то тЬе ехт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естей тЬе а1цотйЬш ппр11ев ~Ьа~ 1Ыв Ьаррепв Гот ехас~1у опе тгачетза1.
Гп тЬ1в зиЬзест1оп тЬе а1~от1йип Гз с1еяст1Ъет1 Гог тЬе сме счЬеге тЬе сЬаппе1з яа11яГу 1Ье ЬГо мяишрМоп, Ьит Ьу тпа1пта1шщ ивез ап ехрестес1 пишЬет оГ шеязаяев тЬат 1з Ьет;чееп 0(Ф 1о Ф+ ~Е]) апт1 0(тЧ'), с1ерепйп оп тЬе торо1ор оГ тЬе пемотК. ЖЫ1е тЬе сопя1гист1оп оГ атЫтгагу апй оГ ш1п1ша1 зрьпшп ттеез 1з оГ ет1иа1 сотр1ехйу 1п агЬ1тгагу петюогЬ. тЫз 1з пот сгие 1п с1щиез, КогасЬ, Могап апт1 Еа1 з (КМ285] Ьаче яЬоит. тЬас тЬе сопвтгис6оп о1 а гп1п1гпа1 зрапшпв; ттее 1п а ъе1фпей с11оие теои1тез ФЬе ехсЬап е оГ Й(У2) шеяза~ев.
ТЬ1з геяи1т 1пйса1ея йЬаС 1 погреб е оГ тЬе Соро1од . моея пот Ье1р то гст1исе тЬе сошр1ех1ту оГ йпйп~ ап МБТ Ье1ок тЬе Ьоипб оГ ТЬеогеш 7.15. Ап атЬ1тгату врвп1ипд '.гее оГ а с1кГие тал Ье сопвтгистес1!и 0(Л 1о~ Х1 тпеявь ея аз тче вЬа11 зЬож 1п ГЬе пехг, вест!оп: вес а1яо 1КМХ84] 25б 1 Е1есЕгоп АЕдогМтв а !!Ег1е тоге !пЕогтэйоп ш еас1» го!реп зон~ ш еасЬ ргосеяя ЕЬе а|аког!Йш сап Ье ас1аргес! Еог 11»е поп-йЕо са;е; зее ЖКМ90]. То !еа! МгЬ; .е з!1иа1!оп зЕ тоге;пап „:..- !иЖаяог, ЕЬе а1~огИЬш орегагея !и 1еы1я.гпаг.
сап Ье сои»рагей Ео:.Ье гоцатля оЕ:Ье Ре',егяо:~/11о1ечЕ!арче — Яос1еЬ а1 ог!11»п». 1Е аг !еаза Ьчо ггачегяа!я аге ьгаггес1, йе 1окс',пя ю'.! агг!че аЕ а ргосезя гЬаг Ьм:»!геайу ееи;ь!ген Ьу агог!»ег йсйеп. ЕЕ :!»!з я!спал!оп аг!яея ЕЬе ггачег:.а! !ау йЬе;»гг!» и~„гоМи М11 ве аЬогтей. Т1~е ~оа! оЕ ".Ье а1~огй1ш» поъ Ьег гиея:а Ьг!иь: ~.чо го!лепя го е~Ьег !и осе ргосг:я, .чЬеге -,'. у ч!11 Ье Ы11есЕ апй и пей ггачегяа! !п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у 'л~11ес!»ч!й!яиС !пйиеис1и~ ЕЬс .'олеп а1 Ь! Ьег 1е»е1.
ТЬе а1~ог1г!»т !я !чеи ая А1~ог1~Ьт 7.13..'.и огс1ег ~о Ьг1и ~о1гепз оЕ 1Ье яагие 1ече1 Ео ег!»ег 1и опе ргосеяз, еасЬ г~ кеи саи Ье 1и оие оЕ 1Ьгее торез: аппе=»тд, сказ.пд, ог шаЕЕЕпд. А голеи ~я гергеяе гес1 Ьу (д, 1), М~еге д 1я гЬе !пй1асог оЕ гЬе го! еи а:и! ! !+я 1ече1. ТЬе чаг!аЫе 1ез, Ц1чея 1Ье 1ече1 оЕ ргосеы р апй йЬе чаг1аЬ1е саЕр рчея СЬе пц0айог оЕ гЬе 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р = идеЕ.
ТЬе а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 ог!оп 7.13) ипМ! опе оЕ 1Ье Ео11оъ !ид я!~па !опя оссцгя.
(1) ТЬе ~гачегза! а1~огШш~ Фегт1па1ея: ц Ьесоп»ез 1еас1ег 1п йж сме (яее Сазе 1Ъ' ш А1дог1йт 7.13). (2) ТЬе 1о1сеп аггЕчез аЕ пос1е р оЕ 1ече1 !ею > 1: гЬе 1о1геп Ея Ы11ей !и ~Ыя саяе. (ТЬ!з сме Ея !и»р1!сй 1и А1дог11Ьт 7.13; 1Ье сопйбопя ш 1Ьа1 а1догггЬш а11 геошге 1 > 1еир ог Е = 1еер.) (3) ТЬе голеи агг1чея ш а пойе»чЬеге а ~о1сеп оЕ 1ече1 1 1я ъайшК: И»е 251' 7 "."!еспоп АЦоптЛтаз 1п1Ф вЂ” 1; 1п1Ф иНе!'; 1п1Ф иИеГ, чат !ев.
. !пте~~ет р еат,, шахр Р !аз!р . Уегдй, Ьеа1п Х р 'ы 1пп!всат ВЬе; Ьерп !ечр:= !ерр - 1; !аз!р;= трап(р. !евр): еа."р = р, вепй (аппех, р, !еир) то !аз1р епо . и Ы!е . (* Тетя!па~'реп сопс11т1оп, вее сехс ") оо Ьеф," тесе!че ."о'сеп,д, !); 1Г со)сеп !г аппех1пд тЬеп г:= А е1ве '.:= С; К ! > !еи,, =Ьег. 1* Саяе 1 ) пея1п е| ' 1, сссР " я .::"и,:= паем; !азтр:= Ггаи(Ц, !); вя 4 ( аппех, а, ! ) Ы !аз!„ епй е1яе И ! = Ыр апй ша!тр ~ иНе!" СЬеп (* Свяе 11 ') Ьефп шайр .— — иае~; !еп:= !еир+ 1; !азтр,— — тпш(р, !еир); сат:= р; репо (аппех,р, !е~~,) Со !аз1„ епс$ е1ве 1т ! =:евр апс! !акр — — Ыет ашетт (~ Свае 1П ~) шапр:-- В е1ве 1г ' = !еир апс! т = А апс! а = са:р сЬеп (* Свае 1У *) Ьедп Б.з~р:= !гав(у, !): 11'!азер = йсЫе +Ьеп р аппоппсев 1све11 1еайет е1ве вепс! (еппех, а, 1) йо !аз!р епс! е1ве 11 ! = !еар апс1 ((Ф = А апс1 а > еатр) ог Ф = С) ФЬеп (~ Саве У *) Ьеуп вепй (сЬаве,а,1) йо !азер, !азйр .— — иНет епй е1ве Ы ! = — !еюр ФЬеп (~ Саве У1 ) шахр .— — с его А1КогИнп 7.13 Тка Коллен-Кцтткы-Моклх л!.соаггнм.
Ргоп1. Ат, тпоя'. к/2 то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 д Ье 1Ье ргосеяя юЫЬ тпалтпа! МепЫу сЬас депетаьев а 1океп ас 1ече1 1. ТЬе Со1сеп (а, 1) доев пос сотпр1ете сЬе стачегва1, Ьесапяе й ж11 Ъе гесе1чей Ъу а ргосевя р сЬай Ьав а1теайу 1отжатбеб а ййетегт со1сеп оГ 1ече1 1. %Ьеп $Ь1я Ьаррепв 1от йе 7...е КатазЬ-л'иссеп-шатап .11датсмп 2«а йгвс с?гие. (а, 1) Ъесогиез сЬяв?пц ог. 1Е р Ьвз а1геас1у Еогжэгоей а сЫяи~ со?сеп, (с1, 1) Ьесошея арчь?с?па.