Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 14
Текст из файла (страница 14)
Тгеев аге изес! 1и с!!вгг1Ьигес1 согпрц1айопя Ьесаиве ~Ьеу а!!очи согпрцгаг1оп аг а 1ое сопипип1саМоп соз1, апй ЕцггЬегпюге, еасЬ соппесгес1 р.ьрЬ сопга1пя а аггее ая а ярьпп1п~ виЬ- пег,иог1с. (3) ЯГатз. А зГат оп Ж пос1ез Ьая опе зрес!а1 пос1е (ГЬе сепГет) ьпс! Х вЂ” 1 елея, соппесМпя еасЬ оЕ ~Ье Я вЂ” 1 ойег пог1ев ~о йе серег. Бгагя МЫгоиа! Аыигприопз, Сотр1ехйу Тгее НурегсыЪе С1щие Ясаг 71~иге 2А Ехлмрьзз ор вкщикмть~ ивкп тороьоояв. аге изей 1п сепгга11вес1 сотрисас1опя, жЬеге опе ргосеяя асгв ав а сопСго11ег апс1 аП осЬег ргосеяяея сопитшп1саФе ~чйЬ сЫя вресга1 ргосеяя оп1у.
Р1вас1чыйадея оГ сЬе всаг Соро1оду аге ГЬе сопипип1сас1оп Ьой1епес1с 1Ьас гпау апве 1п СЬе сепсег апс1 ФЬе чы1пегаЫйу оГ висЬ а яуягегп со а 1а11ыге оГ ФЬе серег. (4) Сйоиев. А сйоие 1в а песъог1с 1п тчЫсЬ ап ес1де ех1яся Ъесчееп апу Ьчо пос1ев, (5) НуретсиЬек А ауретсиЬе 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р~ге 2.4. ТЬе Форо1оду сап Ъе ягайло ог с1удагагс. А йас1с соро1оду гиеапв сЬас ВЬе горо1о~у гегпа1пв Йхес1 с1ыг1пд 1Ье ййг1Ъийес1 согприса6оп. А с1упапис соро1оду гпеапв сЬас бб д Т1х МоЫ сЬаппе1в (яогпег1шея ечеи ргосезяея) саи Ье аМес1 ог геиючей Егоги Иж вув1еп1 ~1цг1пд 1Ье сошрига6оп. ТЬеве сЬапяев 1и ~Ье ~оро1оцу сап а1яо Ъе шос)е1ей Ьу ~гаияЖоия оЕ 1Ье соий~цгьйоп, пап1е1у, 1Е ~Ье ргосевв яга~ея гейес~ ~Ье яе~ оЕ пе1оЬЪогв оЕ ~Ье ргосеы (ьее СЬар~ег 4). 2.4.2 РторетЕгев ог ЕЛе СЛаппе1в ТЬе шос1е! (ая с1еясг1Ьег1 1и БцЬвесйои 2.1.2) саи Ье гейпела Ьу гергеяеп6п йе сои~еи~я оЕ еьсЬ сЬьиие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че ечепгя аге с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в аге гейаЫе. ТЬЕя мвцшр6оп 1п Еасоф абая а (тчеа1с) Еа1гпевя сопйЖои; ни1еес1, аЕгег а шеяяа~е Ьм Ъееп яеп~, гЬе гесе1рс оЕ СЬ1я шеяяаде (1и а вцйаЫе яйаСе оЕ гЬе г1евг1пабои) 1в арр11саЫе Егош ьЬеи ои. А сЬаппе1 1Ьа~ 1в по1 ге11аЫе шау ехЬ1Ь1Ф сотитиика1гоп ~аЕ1итев, ~чЬ1сЬ саи Ье оЕ вечегь1 гурез, е.д., 1овя, ~агЫе, с1цр11саМоп, сгеаМоп.
ТЬеве Еа11цгея сап Ъе гергезепФег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 Ьу а ггапвЖои гЬа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Ье вепг11пд оЕ т, оссцгв еаг11ег 1и р гЬап гЬе яеийиц оЕ тр, ФЬеп Же гесе1р~ оЕ т1 оссшз еагйег 1и д альп 2 шй?Еопа! Аяяиториоп|. Сотир?гп«у «Ье сесе?р«оЕ ти~. Би1езз з«а«ес1 о«Ьегчт?яе, Ио сЬаппе1я М!1 по? Ье аззитей ш «Ь?з Ьоок. Р?Ео сЬаппе1ь саи Ье гергезеи«ес? ш «Ье тос1е1 оЕ Рейи?с?ои 2.6 Ьу гер1ас?иа «Ье со11ес«?ои Ы Ьу а яе«оЕ оиеиея, оие Еог еасЬ сЬаиие!. Яепс??иа ?я с?опе Ьу арреис??п8 а теяяа8е «о «Ье еис? оЕ «Ыв с?пене, аис1 а гесе?че ечеп? с1е1е«ев а тевяа8е 1гоги «Ье Ьеас1, реп Ио сЬаипе1я аге мяыте«1, а певуч «уре оЕ сопппип?са«?оп Еа?1пге аг?яея, пате1у «Ье геогс?ег?и~ оЕ теязацея ш а сЬапие1: 1«сап Ье тиос?е!ес? Ъу и «гапя?«?оп «Ьа«ехсЬащея Ьчо теяяаяея ш «Ье с?иеие.
1«яоте«ппея Ьарреиз «Ьа«а с?1в?г?Ъи«ес? а1дог?«Ыи ргой«я Егои~ «Ье Ио ргорег«у оЕ «Ье сЬаипе?я: яее, е.к., «Ье соттип?са«?оп рго«осо1 ?и Яес«?оп 3.1. Ехр1оЖпд «Ье огс?ег оЕ гесе1р«оЕ тезяадея с?есгеаяев «Ье атоии«оЕ ?пЕоггиа«?оп «Ьа«пшз«Ье «глизрог«ес? ш еасЬ гиеззаце. 1и таиу сазез, 1ююечег, .аи а?~от?«Ьт саи Ъе с?ея?8ией зо м «о Еиис«?оп ргорег1у (апс1 еЕйс?еп«1у) еъеи ?Е тевяа~ев саи Ъе геогс1егес1 ?и «Ье сЬаиие1.
1и ~епега1, «Ье ?тр1етеп«а«?оп оЕ «Ье Ио ргорег«у с??з«г?Ьп«ес? вуз«етя гиау с?есгеаве «Ье шЬегеи«рага11е1?згп оЕ «Ье сотри«а«?оп, я?исе 1«тау гес?иге «Ье ЬпКег?ид оЕ теяяа ея (а««Ье гесе?чег'я я?с?е оЕ «Ье сЬапие1) Ье1оге «Ье тезва е сап Ье ргосезвес?. Рог «Ыя геазоп ~че сЬозе по««о мзшие «Ье Ио ргорег«у 1тр!?с1«1у ?п «Ыя Ьоо1с. А иеа?сег аяяитр«1оп им ргорозес? Ъу АЬща 1АЬы90); А 12ияй сйаппе1 ?я а сЬаппе1 «Ьа«гезрес«я «Ье огс?ег оп1у оЕ тевяа8ея Еог иЫсЬ «Ыв ?з зрес?йес1 Ъу «Ье яепс?ег.
Я«гощег авзитр«1оия сап а1зо Ье с?ейиес?. ЯсЫрег ег а1. [ЯЕЯ89) с?ейпес? саияаИу оттЕегет1 тиеяяаде Ые?«иету ав Ео11оъя. 1Е рг апс? ря вепс? тевяа~ея т~ апс? т2 «о ргосеы о ?и ечеп«з ег апс? е2, апс? 1«?з «Ье сме «Ьа«е« ~ е, «Ьеп ц гесе?чез т~ ЬеЕоге тть2. А шегагсЬу оЕ с?е11чегу аявшпр«?оив, соиз?я«?ид оЕ Еи?1 муисЬгои?ят, сапяа??у огс?егер с?е?1чегу, Ио, апс? зуисЬгопопв соттии?са«?ои, тчм с1?ясывзес1 Ьу СЬаггоп-Воя«е«а1. ?СВМТ921.
(3) Сйаиие? сарас««у. ТЬе сарас1«у ?в «Ье пшпЬег оЕ теввадев «Ьа«сап Ье 1и «гапя?«?п «Ье сЬаипе? а««Ье вате «?те. ТЬе сЬаппе1 ?я Еий ш еасЬ сопйКига«1оп 1и ~чЫсЬ 1«ас«иа11у соп«а?пя а пшиЬег оЕ теззадез ес?иа1 «о 1«з сарас?«у. А яепс??п~ ечеп«?я аррЬсаЫе оп1у ?Е «Ье сЬаипе1 гя ио«Еи?1. Рейи?«?оп 2.6 тос?е?в сЬаиие1з ~ч?«Ь ипЬоиис?ес? сарас1«у, ?.е., сЬаппе1я «Ьа«аге печег Еи?1. 1и «Ыя Ьоо?с 1«М11 а?чтауя Ье мяшией «Ьа« «Ье сарас1«у оЕ «Ье сЬаппе?я ?я ипЬоиис?ей.
2 Тбе МоИе! 2 ~.3 ЯеаИгтпе АввитпрСгопз Лп еяяепС!а! ргорегСу оГ СЬе пш!е! ргеяепСес! 1я, оГ соигзе, !Сз ЙяСг!ЬиС!чепеья: СЬе сошр1еСе !пс1ерепс!епсе оГ ечепСя !п ЙГГегепС ргосевяея, аз ехргеяяей 1и ТЬеогет 2.19. ТЬ!ь ргорегсу 1я 1овС вЬеп а ц1оЬа! С1гпе Ггаже аЫ СЬе аЪ!11Су оГ ргосеззев Со оЬяегче рЬув!са1 С!гпе (а рЬуя1са1 с!ос!С с!ей!се) аге язвителе. 1лйеег1, вЬеп ~огп геа1 С!гпе е1аряея, СЫь С!ше е!арзеь 1п а!! ргосеяяея, апс! СЫя в!11 яЬов ир оп СЬе с!ос!' оГ еасЬ ргосеяя.
Реа1-с!гпе с!ос! з сап Ье !псогрогасес! Ьу еои!рр!и еасЬ ргосеяя в!сЬ а геа1-сппе с1ос1х айаг!аЪ!е: СЬе е1аряе оГ геа1 С!ше !я шойе1ей Ъу а Сгапя!С!оп СЬаС рися Гогвагс! СЬе с!ой оГ еасЬ ргосезя; яее Яесг!оп 3.2. авиа!!у, а Ьоипс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щ аяяигпрС!опя в111 Ье ивес! !и ЯесС!оп 3.2, СЬарСег 11, апй СЬарСег 14. 2.4.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ис!е СЬе Го11ов1пе !пГогшаС!оп. (1) Торо)оугса1 т~ог7паИ~оп. 1пГоппаС1ои аЬоиС СЬе Соро1ову !пс1ийев: СЬе пигпЪег оГ ргосеявея, СЬе й!агпеСег оГ СЬе пеСвог1 дтарЬ, апс! СЬе Соро1о у оГ СЬе дгарЬ. ТЬе пеСвогЫ !я за!с! Со Ьаче а яепяе оГ й~есйоп !Г а сопяСясепс езде-1аЪе11п в!СЬ йгесС!опв ш СЬе ЕгарЬ !в 1сповп Со СЬе ргосеязев (вее Аррепйх В).
(2) Ртсеяв Испо. 1п тяпу а1дог1СЬшя !С 1з геои!ген СЬаС СЬе ргосеяяея Ьа~е ипщие пахпез (ЫепС!С1ев), апй СЬаС еасЬ ргосезз 1сповз !Сз овп пап1е !п1С!а11у. ТЬе ргосеззез аге СЬеп зиррозес! Со сопСа!и а чаг!аЫе СЬаС 1я !и!С!а1!наес! Со СЬ!з паше (Ье., сИГегепС1у Гог еасЬ ргосеяя). РигСЬег аяяигпрС!опз сап Ье гпас1е гедагйпд СЬе яеС Ггот вЫсЬ СЬе пагпев аге сЬояеп, яисЬ ав СЬаС СЬе пашев аге 1!пеаг1у огйегес! ог СЬаС СЬеу аге (роя1С!че) !пСецегз. 'ййгтопа1 Аььитрйам, Сотар1епгу Р1диге 2.5 Р1еест (а) ламп 1хэ1кест (Ь) Аэ[жеяяюс.
'11п1еяз вгагес1 огЬегМье, т йЫв Ьоо1 1й тч111 а1жаув Ье мьшпес1 гЬай ргосеыев йо Ьаъе ассеяв го гЬе1г 1йепгйу; 1п гЫя сме гЬе ьуьгеп1 1я гегеггег1 1о м а патиев пе1ыотй. Ж1иайопз мЬеге гЫь 1я пог гЬе сме (апапутоиь иеЬаотгь) ы11 Ье 1п~евг1цагей 1п СЬаргег 9. (3) ИеьдИот ЫепЫИеь. 1Г ргосеыев аге с11яг1пдшяЬей Ьу а ип1цпе пате, й 1я рояв1Ые Го азвшпе гЬаГ еасЬ ргосеы 1по~тв 1п1г1а11у гЬе пагпев оГ 1гя пе1 ЬЪогв. ТЫв аввшпрг1оп 1в геГеггес1 го ав пюдЬбот Ипош1ейде апс1, пп1езв ягагес1 огЬегъчзе, ж111 пог Ье гпайе. Ргосеьв пагпез п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 ааатеыгпд ~ЯК87, р. 54]. Р1гесг апс1 1пс(1гес1 асЫгезз1пь аге ч1япа11кес1 1п Р1рпе 2.5. Р1гесГ асЫгевв1пд пяев ГЬе ргосеяя' Ыеп11Гу м ап асЫгезз, жЫ1е 1п 1пйгесГ асЫгевз1п~ т,Ье ргосезяев р, т, апй я иве й11егеп~ пап1ез (а.
6, апс1 с, гезрес1юе1у) Фо асЫгеяз гпеыадез МгЬ с(езг1паФюп о. 2.4.5 Тйе Сотпр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йтп.