Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 42
Текст из файла (страница 42)
Ьее1п К !: = 2" 1Ьеи йсйе е1зе Ъерп 1ег ! гЬе !аг8езС пгггггЬег в.с. 2 ~й; зепи ' гшгп,/с+ 1) йЬгопдЬ сЬаппе! ! епс! епс! А!аког!с!ггп 6.12 Тьлч еаяАс Апсокгтк1! гок тне нУРеьспье. зее БпЪяесггоп В.2.5. 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.12, ТЬе соггес~пезз ргооЕ Гог ~Ье а1дог1~Ьгп гя а!пгояй сЬе яагпе ая тЬе ргооГ Гог А18огйЬгп 6.11. ТЪеогет 6.28 ТЬе Ьуретсиое а1уотг0гти ~А1уотг0ьт 6..!2) гз ап х-1таиетза! а!уотгЯтгг ~от Иге Ъ уретсиое. Ртоо~. Ая !я еая11у яееп Ггопг 1Ье а18ог1~1пп а с1ес1з!ои 1я 1ь!сеп айег 2" Ьорз оГ гЬе 1о)сеп. ! ег 1Ье !пй!асог Ье ра апс1 1ег р* Ье ~Ье ргосезз 1Ьат, гесе1чев гЬе со1сеп ( ппгп, й ).
Рог еьсЬ !с < 2", тЬе 1ьЬе1в о! рг, ап~ рг,+г с11йег 1и опе Ь!т„оГ гчЬ1сЬ СЬе 1пйех 1я с(епойес! Ьу !(Й), зай!згу1щ )' тг — 1 Ы В=О ~ 1Ье 1агдевй ! гчйЬ 2'1/с Ы lс > О. Весапяе 1ог еасЬ г < и ~Ьеге аге ап еиеп пгппЬег о1 й Е (О, ..., 2"1 гч!гЬ !(!с) = г, ра = р ., сЬе с1ес1я!оп 1ь1сея р1асе !и Же 1иЖа~ог. %ЫЬ ап ьгьггтпеп~ я1гп!1аг со 1Ььс пяес1 !и ~Ье ргоо1 оГ ТЬеогеги 6.27 Ы сап Ье зЬогчп сЬа~ р, = рг, ипр1!ез 1Ьа~ 2" ~ (6 — а), гчЬ!сЬ !пгр1!ея 1Ьа1 а11 ра, ..., ра. г аге с!!ггегепт,. Ргогп сЬ!з !с Го11огчз гЬас а11 ргосеяяея Ьаче Ъееп ч1в!наес! гчЬеп ~епшпа~!оп осспгя, апс! сЬьФ х+ 1 ргосеявея Ьаче Ьееп ч!зйес! айег х то)сеп развея. П б.
3 Ттагьетга1 А 1уотгь)ггтв чггг ивсгГр(д) Ьоо1еап 1п1Ф (а1ве 1ог еасЬ д Е №гу1гр (' 1пйса ев чЬесЬег р 1гая а1геас1у вепс со д ') 1аПатрРгоссвв1п1тгы161 Гог сЬе жс1асог оп1у, гссесисе опсе. Ъерп 1айет:= р; сЬоозе д Е Хегу1г„; ивейр(д):= 'ьтие, верьте ( йо1с):о д епс1 Рог еасЬ ргосевя, ироп гесе1 рс оГ ( Ы1) Ггогп до. Ъефп гГ1агьгет = игге1 СЪеп 1айет:= до, 1Г Уд е 14егр1гр: ивсдр[д1 тЬеп аесЫе е1ве 1Г 3д е №гуьгр ' (д ф1агИет Л -гьвегь ~д1) с1геп Ъефп сЬоове д Е №гдар ~ ЦаЯетргт гчгСЬ ивесьр(д); ивес1рггд~1:= гтие; вепс1 ( го1с) го ь епс1 е1ве Ьефп ивеа!р~~а1лвт г'' ..— — ГтгьР; вепс1 ',Фо1с г го 1айет епс1 А1КогЫЬгп 6.13 Тлям'я тклчккзлг. лг.соагтнм. 6.3.4 Трагьет втпд СоппесГесГ Жейшот4св А ~гачегза1 а1дог1Жш Гог агЬ11гагу соппессес1 пеггчог)сз нрав 81чегг Ьу Таггу 1п 1895 1Т1895]. ТЬе а1 огйЬгп гя Гогтпгг1асес1 Ъа сЬе Го!1огч1пд ~жо гп1ев; яее А18огЖпп 6.13.
К1. А ргосезв печег Гоггчагс)з т)ге го)сеп сгч1се СЬгогь8Ь тЬе яагпе сЬаггпе1. К2. А пог1-1шг1а~ог Гоггчагс(з сЬе то)сеп Фо 1тв Гайет (сЬе пе18ЬЬогГгогп гчЬ1сЬ Ы багз~ гесе1чес1 ~Ье то)сеп) оп1у 1Г 1Ьеге (в по ос)гег сЬаппе1 ровв1Ые ассогйп8 то гп1е К1. ТЬеогеп1 6.29 Татг у'в а1уотг0гтп (А1уотгйтп 6.151 и а Гтагьетва1 а1уотггйтп. Ртоо1. Весапзе тЬе ~о)сеп 1я зепи а1 тозй опсе 1п еасЬ с11гес~1оп тЬгопоЬ еасЬ сЬаппе1, й 1в раззес1 а1 гпов1 2~Е~ ~ппев ЬеГоге тЬе а1дог1~Ьгп $еггп1пагея. Весапве еасЬ ргосезз вепс1в ~Ье со)сев ~ЬгоггоЬ еасЬ сЬаппе1 а~ шозг опсе, еасЬ ргосевв гесегчев сЬе йо)сеп тЬгогг8Ь еасЬ сЬаппе1 ас шовс опсе.
ЕасЬ 11гпе 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) .4П сйалле1я ьпсЫелг !л .Ье ~лгНайит /исае Беел ияел олпе гп еасл Ьтес1~ол.
ЕасЬ сЬаппе! Ьаз Ь~ и ивой Ьу 1Ье !и!Г!агог го ьепс1 гЬе ~о!реп. огЬегжле гЬе а1~ог:гЬш жои1й поФ 1епшпаге. ТЬе !и!г!агог 1гм гесеюей гЬе го!'еп ехасМу ая оЕгеп ая !г Ьая яепг гЬе ~о! еп; Ьесаиье ~с Ьм Ь е-:и гесе!ъей гЬгои~Ь а и'Гегепг сЬаппе1 еасЬ г!гпе, !г Ео11оья гЬаг ЕЬе гс4еп Ьаь Ьееп тесЫ,. овсе гЬгои Ь еасЬ сЬаппе!. (2) Рот еасл ллГед ртосеяя р, иП сопеле!я тсЫелй го р Ьаие Ьееп изей опсе гл еасл а1тесггол. Аяяиш!и гЫя !ь пог гЬе саве, с1гоояе р го Ье гЬе еаг!!еяг ~!я!гей ргосеяь Еог ютЬ!сЬ ~Ь!в ргорегФу !я пос багие, апй < ',яе~~е ~Ьаг Ьу (1) р !я пог гЬе 1п1г1а1ог. Ву йе сЬо!се оЕ р, а!1 спаппе!я !пс!йепг го гаглет Ьа~е Ьееп изей опсе ш еасЬ й!гесг!оп, Р тЬ!сЬ ипр1!ея гЬаг р Ьм сепг гЬе го!реп 1о йя ЕагЬег. ТЬ!в !шрЬев гЬаг р Ь а ияей а11 !пс!йепг сЬагше1я го яепс1 1Ье го!реп; Ьиб м гЬе гоЫп епйя ш гЬе !и!г!аког.
р Ьм гесеюей гЬе ФоМеп ехасг1у м ойеп ая р Ьав зепи гЬе го!реп, во р Ьая гесептей гЬе го1геп опсе гЬгои~Ь еасЬ !пс!йепг сЬаппе1. ТЬ!в !з а сопггай!салоп. (3) АП ртосеьяая Ьаие беел ильей алй еасй слап ле1 агав оеел ива олсе тл 6о;л йтссйалз. 1Е 1Ьеге аге ипч1яЫей ргосеввея, ~Ьеге аге пе!дЬЬогз р апй О яисЬ гЬа~ р Ьав Ьееп чж1гей апй д Ьм пог Ьееп ~1яйей, сопггай!сг!п~ гЬаг еасЬ сЬаппе1 оЕ р Ьаз Ъееп изей ш Ъо1Ь й!гесйопз. Бо а1! ргосезвез телеге ч1з!гей, апй а11 сЬаппе1я аге изей опсе !и Ьо~Ь й!гесс!опя Ъу ро!пг (2). ЕасЬ соп.ри1аИоп оЕ Таггу'в а!дог!ГЬш йеЬпея а ярапп!пц аггее оЕ ГЬе пегъог1 Ъу яЬо~чп 1и Е ерша 6.3.
ТЬе гоо1 оЕ гЬ1я аггее 1в 'гЬе 1пЖа1ог, апй еасЬ поп-!и!г1а1ог р Ьм ягогей !гя ЕагЬег !и гЬе аггее !п 1Ье ~аг!аЬ1е ~апет аг гЬе епй оЕ гЬе сошрисаМоп. 1Е !г, !я йея!гей ~Ьаг еасЬ ргосезя зЬои1й а1во ! по~ч (аг гЬе епй оЕ гЬе сотрига6оп) ъ Ь1сЬ оЕ !Ся пещЬЪогя аге Ыз вопя ш гЬе ггее. ~Ь!в сап Ье асЬ!е~ей Ъу зепй1пд а врес1а1 шеязаве го Еайет~. 6.4 Т1гпе Сопгр1ехйу: 1)ергЬ-гггвФ БеагсЬ ТЬе ргосеявея 1п Таггу'я а1дог1гЬш аге реп зиЕйс!епг, Егеейогп, !п сЬооз1п~ а пе1дЬЬог 1о ~тЬ!сЬ г,о Еогвагй ФЬе 1о1геп, 1о а!!ой а 1агКе с1мз оЕ ярапп1пд Типе Сотр1ет~у: Верй-~гз~ $еппЛ 205 1геея 1о аг!яе и а гезц11.
1п гЫв яесгюп а1догйЬшя М11 Ьс Й1яспзяес! гЬа1 сошрпге зрапп!пя 1геев М1Ь йе аИЖопа! ргореггу ЕЬаг еасЬ Егопс! ес1~е соппесгз ги о пос1ев, опе оЕ и ЫсЬ !в ап апсея1ог оЕ йе ойег. А Егопс! ег!ье 1ь ап ес14е ГЬаГ с1оев по1 Ье1опя Го г1.е ярапп!п~ ггсе. С1чеп а гооГес! яралп1п~ аггее Т оЕ С, Еог еасЬ р, Т[р) с1епогея гЬе вег оЕ ргосеьяея 1и '.Ье япЬггее оЕ р, .аппо 41р~ с1епоСея йе апсеьсогя оЕ р, 1.е., сЬе пос1ев оп сЬе ра~Ь 1и Т Ьегиееп гЬе гоаб апо р. ОЬьегче йЬаг д Е Т1р~ с=ь р Е А1ц]. ОейпЖоа 6.30 А яропптд 1тее Т о1 С гя а Иерй-„6|~1 яеигсй 1тсе ь1, 1ог еас1ь 1гопг! езде ру, ц Е Т(р! 'ч' у б А1р).
ЭергЬ-йгяг яеагсЬ ггееь . ге ывей гп шапу гарЬ а1~ог!гЬшя, яысЬ ав гЬояе Еог гезг1пт р!апаг1гу, Еог 1ея!,1по Ысоппес1!ч1гу, апй Еог гЬе сопвггпсг!оп о1' 1пгегча1 !аЬе1!п~ ясЬешея (вее ЯпЬвес~юп 4.4.2). 1г ж111 Ье г1егпопя'гагей !и Яесг!оп 6А.! гЬаг а гЫпог шогЬйса6оп оЕ Таггу'з а1~ог1гЬш (паше!у, а гея1г1сг1оп оЕ йе Егеег1ош оЕ сЬо!се оЕ йе ргосеььея) епаЫев где а!дог!Йш ~о сошры1е г1ерй-йгяг ьеагсЬ ггеея.
ТЬе гези1г!п~ а1 ог!' Ьтп 'ыП Ье геЕегге1 го ав гЬе с1авз~са1 г!ерй-стяг веотсИ а1допйт. !и ЯцЬяесг!оп 6.4.2 гидо а1- 6ог1ГЬшз и !11 Ъе с11ясыязес! ГЬаГ сошрп1е йергЬ-йгзГ яеагсЬ 1геев 1и 1еяя Ггте гЬап гЬе с1мзЕса1 а1дог1гЬш. То гЫя епс1 гЬе г1ше сошр1ех1гу оЕ с1!вгг1Ьпгес1 а1~ог!гЬгпя и!11 Ъе г1ейпес! Ье1ож 1и ЯцЪяесбоп 6.4.3 а г1ергЬ-йгвг яеагсЬ а!догй1ип ил!1 Ье ргеяепгео Еог пе1ъог1гя МЕЬ 1и!г1а! !спи 1ес1~е оЕ пе1~ЬЬогв' 1г1еп~!г1ея. 1и СЫя сме ТЬсогегп 6.6 доев пог арр1у, апг! 1и Еасг ап а16ог1Мпп цв!пд оп1у 2У вЂ” 2 шеяяаяев сап Ъе рчеп. ТЬе Ф1гпе согпр1ехйу оЕ г11ягг1ЬШегЕ а1дог1яЬгпз. Яо1е1у го апа1ухе гЬе г1ше сошр1ех!гу оЕ а г1!вгг!ЬШес! а1дог1СЬгп, сегда!и Ыеа1!хес1 г!ш!пд мяшпрМопя аге шас1е; !и по тчау г1оез гЬе соггесгпезз оЕ ~Ье а1~ог11Ьш с1ерепо оп йеяе мяпшр1юпя.
ОеггпМоп 6.31 ТЬе Ите сотр1ехНу о1 а ЙвГтйигей а1дотъйт ы Йе тахгтит Ите 1айеп Ор а сотри1а6оп о1 Йе а1дотъйт ипЫет Йе 1оПоиппд й35итрЯъопв. Т1. А ртосеяя сап ехесЫе апу ~псе питает о1 еие7~Гя ж ~ето рте. ТЯ. Тйе 1гте 5е1шееп вепйшд апг! тасеЕр1 о1 а тиеяяаде и а1 товГ опе Ите итие. ТЬе 11ше сошр1ехЖез оЕ а11 ~чаче а!дог!СЬгпя оЕ гЫз сЬаргег аге 1!яСес1 1и ТаЫе 6,19. 1~ !в 1еЕЕ м ап ехегс!ве ~о $Ье геайег 1о чегЕЕу ~Ье ча1иез !чеп 1и ФЫя $аЫе гЬаг аге по1 ргочес! ш 1Ыя сЬаргег.
А1гегпаг!че с1ейпЖопз оЕ Мше сошр1ехйу аге с1!зсыязео !и ЯпЬвес1юп 6.5.3. 206 6 И~аие апЫ Ттаиетза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Г 3д ~ №1дЛ„.
(Ц ф ~аГЛст„А, изефт[д]) Впеп Ьефп 1Г.ЙГЛстр ~ дс Л -азсср]дс! '.Ьеп д:= дс е1зе сЬоозе д е №здЛ„~ ЦагЛетр) ийЬ и~сир(д]); изеГрф:= гтие: зепи (йо1с) го д епй е1зе Ьефп изеазуаГЛет ]:= Гтие; зепс (Фо1с) го ~ай.зт епс1 А1еогИЬгп 6.14 Тне сьляясль пяртн-я|нят янднсн льсонгтнм. Ртоо~. ТЬе п~еззаеев аге ехспапеес1 яепа11у, апд еасЬ гпау га1се опе г1гпе пппб. (:) 6.4.1 0ьвйпЬиЬей ЭерФЬ-~ьтвг БеатсЬ ТЬе с1аяя1са1 йергЬ-йгя$ яеагсЬ а1еог1гЬгп 1я ойа1пес1 М~еп гЬе 6еедогп ~о сЬоозе а пе1~ЬЬог 1о 1огтчагй тЬе 1о1сеп 1п Таггу'я а1яог11Ьгп 1в гейг1с1ей Ьу а~орг1пд ФЬе Ео11оМпд йЬ1гс1 гц1е; вее А1догйЬгп 6.14.
В.З. реп а ргосеяв гесеюея 1Ье ~о)сеп Ы яепй й Ьас)с йЬгощЬ йе яап1е сЬапле1 Ю сЬ1з 1з а11о~чет1 Ъу ги1ез В.1 апс1 В2. ?.егпгпа 6.32 Рот Гтаеетза1 а1дотйЛпи ГЛе Итпе сотпр1ехйу ециа(з йе тез- заде сотпр1слГу. 6.„псе Сотпр1ех11у: Оерй;Ям Яеа,са 207 ТЬеогеп1 6.33 Тйе с1авзгса1 г1ер1Ь-~тй зеатсЬ а1уот.Мтп !А1лопйтп б. Ц) сои~риГез а Йер1Ь-~тз1 зеатсЬ зрапагпу 1тее из1ад 2(Е! ~пеззадез аль 2~Е~ Итие апов.
ОЪ~а1п Ггопь ~Ь1в ра~Ь а ровя1Ь1у яЬог1ег ра1Ь Ьу гер1ас1п аП райегпз т~, т2, т„~чЬеге т1 т2 1в а йоичу, Ьу т~. Ву зЬе ргеч1оив оЬвегча11оп аП Ггопй ег1~ея Ьзче по1ч Ьееп подач гегпочес1, ~чЬ1сЬ 1гпрйев 1Ьа~ ~Ье геяи1Мпя ра~Ь 1я а ра1Ь 1и Т, сопвЫ1п~ оп1у о1 ес1еез изей ЬеГоге гЬе йгвг, ияе оГ рч. Н а 1в по1 ап апсез1ог оГ р 1Ь1з 1гпр11ея ~ЬаС СЬе езде агою а го ~айшет, ъм ыяе6 ЬеЕоге гЬе ес1де ар чая ияег1, согйгайсг1пд где К2 оГ .Ье а1дог1г?ш~.