Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 18
Текст из файла (страница 18)
То зее СЬаС Н„ргезегчез (бц), оЬвегче СЬаС Н, с1оея поС сЬапае Я, ог а. г.р. АсС1оп Х айваз по рас1иСя Со ~ ог С1„апй с1оея поС сЬапде СЬе ча1иев оГ а ог а; Ьепсе 1С ргевегчез (4р), (4<1), (5р), апс1 (5ц). 1С 1о11огчз Ггогп СЬе зутшпеСгу оГ СЬе ргоСосо1 СЬаС Я, Н,„апс1 Ь, ргеяегче Р' зя гче11. П 84 Я Соттпггпгслбоп Рто1осоЬ Ртоо~. 1,еС ( рас)с, ш, г ) Е Я . гогот (1р), г ( в, + 1„апс1 ггопг 1 епппа 3.3 г ( в,, + Е. гогот (5р), г > а„— 1, апс1 Егот 1епгта 3.3 г > г„— Е,. ТЬе ягягетепС яЬоыС рас1сеСя гп Я„!в ргочес! я!пг11яг1у. П Ассогс!!и Со !!ге 1епцпа !С вггйсея Со вепс! СЬе рас)сеСя гн1СЬ вес!ггепсе пцтЪегя тос1п!о й, гнЬеге к > 2Е. 1пс1еес1, Ьач1п8 в, апс1 г тос1 lс ача!!аЫе а!!огчв р Со согпрпСе г.
ТЬе сЬо1се оЕ СЬе рагапгеСегя. ТЬе чаиея оЕ СЬе сопягапгв 1, япс! !ч Ьаче ап 1трогсапС !пЕ!иепсе оп СЬе еЕ8с1епсу оЕ СЬе ргоСосо1. ТЬе1г еЕЕесС оп СЬе СЬгогг8Ьрис оЕ СЬе ргогосо1 1з апа1укей ргоЬаЫ1!яС1сл!!у 1п [БсЬ91, СЬяргег 2]. ТЬе орС!та1 ча1пея с1ерепс! оп а и ггпЬег оЕ яувсегп с1ерепс!епС рягатесегя. япсЬ яя (1) СЬе сопгогипгсаггоп Сггпе, !.е„СЬе Сшге ЬеСччееп Сгчо сопвесиС1че ор- егаС!опя оЕ а ргосевв, (2) СЬе тоипсг-гтгр Не!ау, г.е.. СЬе ачега8е С!те !С Сь!сев Со раня а рас!сеС Егот р Со о ьпс1 СЬе апвгчег Ььс1с 1гот о Со р, (3) СЬе еттот ртоЬаЬгйу, СЬе ргоЬаЫ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. ТЬе ъе11-1спогчп айетпаггпд-Ы ртогосо1 [1 уп68] !я оЬСагпес1 !Е СЬе ггве оЕ С!тегв гя ЕпгСЬег геяСг!сСес! Со епвиге СЬаС СЬе яСаС1опв вепс1 тевяадея !и Сцхп. 3.2 А Т1гпег-Ьаяес! РгоСосо! Же яЬаП поъ яСггс1у СЬе го1е оЕ С1пгегв 1и СЬе с!ея!дп апс! чег16саС1оп оЕ сотпшшсаС1оп ргоСосо1я Ьу апа1ув!п8 а я!трИес! Еоггп оЕ Р1еСсЬег апс! ЪЪаС- яоп'я г".гг-ргососо! Еог епс1-Со-епс1 тевва8е соттггп1саС!оп. ТЫв ргоСосо1 гчая ргорояес! гп [РЖ78], ЬиС СЬе (яотегчЬаС в!тр1!6ес1) СгеаСтепС 1п СЬ1я яесСгоп !я Са1сеп Егот [Те191Ъ, БесС!оп 3.2].
ТЬгв ргоСосо1 ргог 1с1ев ггоС оп1у а тесЬ- ап1ят Еог с1аСа Сгаггвт1нв!оп (ая с1оея СЬе Ъа1апсес1 в1!с!шд-гч!пс1огч ргоСосо1 оЕ БесС!оп 3.1), ЬггС ь!яо орепя апс! с1овея соппесС!опя. 1С 1в гев111епС ада1пяС !ояя, с!сгрЬсаС!огл апс! геогс1ег!п8 оЕ теява8ея. ТЬе ясаСе !пЕогтаС!оп оЕ (СЬе с!аСа Сгапвт!яя!оп рагС оЕ) СЬе ргоСосо! 1в !серС гп ь с1аСа вггггсСиге са11ес! СЬе соппесггоп тесот~. (1С гчй Ъе зееп гп БпЬяесггоп 3.2.1 гнЬьС !пЕогтаС!оп гз !серС !и СЬе соппесС!оп гесогс!). ТЬе 5.2 А Типет-глазей Ргогосо! 85 соппесС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егей 01всыяя1опя оЕ ехСепнопя оЕ СЬе ргоСосо1 ш оп1ег Со тле 1С тоге ргасС1са1 апй ейс1епС аге 1оши1 1п 1РЖ78) алс1 1Те191Ь, ЯесСЕоп 3.2]. ТЬе Ео11оМпд Еоиг я1тр116- саС1опя аге табе ш СЬе ргоСосо1 г1еясг1Ьей Ьеге. (1) Опе йтесйоп.
ТЬе Сгапят1яя1оп оЕ йаСь 1я оп1у сопяЫегей ш опе йгесс1оп, пате1у Егогп р Со д. ЯотеС1тпея р ж11 Ъе геЕеггес1 Со м СЬе зеЫег, апс1 д ая СЬе тясещег. 1С яЬоиЫ Ье поСей Ьоъечег, СЬаС СЬе ргоСосо1 швея ьсЫпоМеддетепС теяяаьея СЬаС аге яепС 1п СЬе гечегве йгесС1оп, 1.е., Егот д Со р. 1С тч111 пяиа11у Ье СЬе саяе СЬаС г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. (2) $гпу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СЬ а ЫдЬег веоиепсе пшпЬег ал6 йе11чег СЬет аЕСег а11 рас1сеСя МСЬ 1оччег яеопепсе пшпЬегя Ьаче агт1чей апг1 Ьаче Ъееп с1е11чегед. (3) Йтрй~еЫ И~тлпд аяяигпрйопя. ТЬе ргоСосо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 тоге сотр11саСед.
А1яо, СЬе С1тег тесЬашвтя пвес1 Со Сг1д~ег геСгьпвт1яв1оп оЕ с1ьСа рас1еСя Ьаче Ъееп от1ССес1 Егот СЬе г1еясг1рС1оп оЕ СЬе ргоСосо1, м 1п ЯесС1оп 3.1. Оп1у СЬе тесЬашят песеввагу Со удагьпСее СЬе ваЕеСу оЕ СЬе ргоСосо1 1я шс1иг1ей ,т Соппатттпса~ьоп Рто!осо!в (4) Яту1е-шота ра< Ык Т1.е веиоег тиау ри~ оп!у а я!и~1е чтог6 !и еасЬ т!ать рас!тет. ТЬе ртотосо~. сатт1с! Ъе тиат1е тиоге ейс!еиФ !Е Яаана рас1се~з иете аЫе 1о соита!тт Ъ1ос)тз оЕ соияесттт!че ъогй, ТЬе рготосо! !я т!тиег-Ъаяес1, йаС !я, йЬе ргосеяяез Ьаче ассезя то рЬуя!са1 с!ос)т аеч!сея. Ж!тЬ ге агс1 то !Ье й!тпе аис1 ~Ье т!тпегз !и ФЬе яуя~ети сЬе Ео11о ч!ид взяитпр6опв аге ита1е, (5) Яо1та1 Ите.
А К1оЪа! гпевяттге оЕ ~!тие ехсепйз очег а!1 ргосеяяез оЕ ~Ье зувгети, тЬат !я, еасЬ ечеиг !з за!с1 го та1те р!асе а~ а сегта!п Итие. ЕасЬ ечеит !гзе1Е !я аввии ет! йо Ьач е с!агат!ои О, яис! тЬе т!тие ас тчЫсЬ аи ечепт. та!сея р1асе !з пот оЪвегчаЫе Ъу тЬе ргосезяез. (6) Боиийей расИет 1деттт' ТЬе 1!Ы!тпе оЕ а рас1сей !з Ъоттис1ес! Ъу а соиятапт,и (1Ье тахттиит расИет 1фтттпе).
ТЬия, !Е а рас1тей !з вепре аг т!тие ~т апт! тесе!чей а! г!тие г, тЬеи о (т < ст+и. ?Е а рас1те1 !я йттр1!ситес! !п а сЬаиие1, еасЬ оЕ тЬе сор1ез пшят Ъе тесе!чей М1Ыи а т!тие „" аЕтег ~Ье зепйпд оЕ ФЬе от!фиа1 рас1те~ (ог Ъесотие !озт). (7) Тттегз. ТЬе ргосеязе аиттот оЪяегче йЬе аЪво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п ЯттЪзесйоп 3.2.3 тче яЬа11 йяспяз сЬе сазе чтЬеге ~Ье 1!тпегв вттйет Еготи а с1г!й. ТЬе !при чтогт1в Еог тЬе зеис1ет аге тиос1е1ей, ая !и ЯесЫоп 3.1, Ъу ап !пйпйе аггау т~. А~а!п, 1Ыв атгау !з печет зтогей !и р еиМге1у; р сап оп1у ассевв а раг1 оЕ й а~ аиу 1!тпе. ТЬе раг1 оЕ !и 1Ьа1 сап Ъе ассезвей Ъу р !з ехйепт1ет! (ай тЬе Ь!КЬег епй) ~реп р оЪсыпя а пех1 ч~огс! Еготи йЬе ргосезз тЬат деиегагез гЬе чогс1я. ТЫз орега6оп !з геЕеггет! ~о аз тЬе ассер1апсе оЕ и ~чотс! Ъу ФЬе яеис1ег.
1и тЬ!в вест!ои тЬе тиойе1!ид оЕ тчотйв йе!!чегет! Ъу тЬе тесе!чег Ея т1!ЕЕегеит Еготи ~Ье тиойе1!пд !и Бесйои 3.1. 1изйеай оЕ ~чти!пд ап (!пйи!йе) аггау, ФЬе гесе1чег Ьапй ~чогй ~о йе сопзити!ид ргосеяз Ьу аи орегаИои геЕеггей ~о ,3.2 А Тттет-Ьаяп! РтоГосо! ая с!едет!пд сЬе ~чогс!. 1йеа11у, еасЬ жогс1 оЕ тп, яЬои1с1 Ье с!е1!чегес1 ехасс1у опсе апс! йе ~чогс!я яЬоы10 Ье с)е1!чегет 1п сЬе соггесс огс1ег.
ТЬе врес!йсабоп оЕ йе ргососо1, Ьо~чечег, !в жеа1сег сЬап 'Ыя, апс! сЬе геаяоп 1в сЬас сЬе ргососо! !я оп1у а!!овей со сгеай еасЬ ~чогс! оЕ тпр афпг!п~ а Ьоыпс!ес! сапе !псегча1. 1с саппос Ье пагапсеес1 Ьу апу ргососо1 сЬас а ъогс! !я гесе!чес! МсЬ!и а Ьоыпйес! сппе, Ьесаиве !с !я розвЕЫе сЬас а11 рас1сеся аге 1овй с1ыг!пд СЫя 6гпе. ТЬегеЕоге ~Ье ьрес!йсас!оп оЕ сне рго~осо! а11очтя Еог сЬе рова!Ыйу оЕ а терот~ей 1ояя, чтЬеге ~Ье вепс!!пд ргососо! ~епегайез ап еггог герогс !пс1!сайпд сЬай !Ье ~чогс! гпау Ъе 1ояс.
(1Е, Еог сЫя гевяоп, а ЫдЬег-1ече! ргососо! иеге йо обжег сЫз тчого 1о р а~а!и а йир1!салоп сои!И еКесс!че1у оссиг; ~че чч11, Ьоъечег. пос сопсегп оыгяе1чея чт!сЬ сЫя ргоЫегп Ьсге.) ТЬе ргорегс!ез оЕ ВЬе ргойосо! сЬас чт!11 Ье ргочес1 !и БцЬвесс!оп 3.2,2 (1) Фо !ояг.
ЕасЬ ъогс! оЕ ~п„!в с!е1!чегес! Ъу д ог герогсес! Ьу р,(ая "роза!Ыу 1ояс") жсЫп а Ьоппс!ес1 с!ше аЕсег сЬе ассерсалсе оЕ сЬе жогс! Ьу р. (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у) Ьая ап ореп соппесМоп. ТЫв !в авиа!1у пос ал ехр1!сй Ьоо1еап чаг!аЬ1е оЕ 1Ье яепс1ег (ог ~Ье гесе!чег, гезресйче1у); !пясеас! ап ореп соппесМоп !в с1ейпес1 Ьу йе ех!зсепсе оЕ а соппесМоп гесогс1. А ргосеяя 1ея~я чтЬе1Ьег а соппесИоп !я ореп Ъу зеагсЫп Еог СЬе ех1вФепсе оЕ а соппес1юп гесогс! !и Ыя 1!зФ оЕ ореп соппес6опв.
'тч'Ьеп ФЬе зепс1ег орепз а пеж соппесМоп !с яСагся пшпЬег1пя сЬе ассерсес! ~чогйя Егор О. ТЬе пшпЬег оЕ тчогс!в а1геас1у ассер1ес! !и 1Ыз соппесМол ~в !пс!!сасес! Ьу Нтдй, апс! сЬе пшпЬег оЕ ъогс1я Еог ~чЫсЬ ап ас1спочч1ефегпепт Ьая а1геас!у Ъееп гесе!чес! 1в !пс1!сасес1 Ьу Еош. ТЫя мои!с! яидаез~ (апа1о~оия1у 1о 1Ье ргососо! оЕ Яесс!оп 3.1) сЬас сЬе яепс1ег гпау сгапягп!с ряс!се МсЬ яес!иепсе пшпЬегз гапрпд Егогп Бош со .БдЬ вЂ” 1, ЬиФ 1Ьеге 1з а СМЕТ йо Э Сотитигисайои Рго~осоЬ Хег ког1с сопвгапг.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
