Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 37
Текст из файла (страница 37)
Тп тЬе тетпа1пт1ег оЕ тЫв виЪвест1оп 11чс1осТт-Егеепевя оЕ 1Ье ЬиЕЕет дтарЬ соп- тто1!егв М11 Ье ргочеб; тЬе ехтепя1ос ~ Еог тЬе ипвттистигесТ яо1ит1опя ате Ьт1ейу тепт|опей ат тЬе епт1. ТЬе Ьийег-~гарЬ соптго11ег. 1т сап Ье т1ептопятта~ед тЫ тЬе соптго!1етя оЕ Бес»!оп 5.2 аге 11че1ос1т-Егее ~ч1гЬоит йтттЬет тпоййсат1оп 1Е ФЬе1т гпочез Тп ап Тпйп1те ветТиепсе ват1яЕу а тшшЬет оЕ Еа1тпеяв азвиптрт1опя.
Г1 апт1 Г2 ате вттопд 1а1гпезв аяяишрт1опя апо г 3 1я а ъ:еа1т Еа1гпевя аявитпрМоп. т 1. 1Е тЬе ~епетат1оп оЕ а рас1тет р 1з соптшиоив1у аттегпртед гЬеп еасЬ 1т1йп1те сошритат1оп 1п тчЫсЬ „т'6(р) 1я Егее 1п 1пйпйе1у тапу сопйиигат1опз сопта1пя тЬе депетаИоп оЕ р. Г2. 1Е ш сопйаигат1оп у рас1тег р п|ивт Ъе Еогжагт1ей Еготп и то ы тЬеп еасЬ 1пйп1те сотприта6оп зтатт1пд 1п у 1п жЬ1сЬ па(р, а) 1з йее ш 1пйп1те1у тпапу сопй~игМ1опз сопта1пя 1Ье Еогжагйп~ оЕ р. ЕЗ.
?Е а расТсет р 1в 1п 1:я сТезт1паИоп Еп сопйдигат1оп .у тЬеп еасЬ 1пйп11е сотритат1оп ятагтш~ 1п у сопталпв тЬе сопзитпрИоп оЕ р. 1 егптпа 5.24 Е~ тйе уаттпезз аззитпрттапв Г2 апд г 3 ате затихшей йетт гп еасоф тп~пт1е сатпри1аЕЕап оу Ьдс еасЬ Ьи~ет тз ~тее тп~Ые1у а~1еп.
Ртао~. ТЬе ртооЕ 1я Ъу йоюптчагт1 шт1ис0оп оп тЬе Ъийег с1ввяея. Аз ш тЬе ргооЕ оЕ ТЬеогетп 5,7, 1ег В Ье гЬе 1аг~еят Ьийег с1авя. ВетешЬег тЬа1 ш сопйвигабопя геасЬаЫе ипт1ег Ьас а11 рас)те~в гея1т1е 1п яи11аЫе Ьийегз. Егетсгзез 173 Саяе г = Л: А ЬиГГег оГ с1аяя Л Ьм ио оиг~о1ид ес1деь, аиИ соияецггепС1у а рас1сеС 1п яцсЬ а Ьггйег Ьая геасЬес1 1Ся с1еяС1паС1ои. Непсе, Ьу яяяпшрС1оп г 3, аЕСег еасЬ сопйдгггаС1оп гп еЫсЬ яисЬ а Ьпйег 1ь оссггр1ес1 СЬеге ггч11 Ъе а сопйрггаС1оп 1п ~ЫсЬ 1С гя ешргу. ТЫя гшр1гея сЬаС 1С 1я етрСу 1п гийшСе1у шапу сопйаигаС1опя.
Саяе г < Л: ?еС у Ье а сопйгггггаС1оп 1п юЫсЬ Ьггйег 6 оГ с1аяя т ( Л гя оссггр1ес1 Ьу рас1сеС р. 1Е р Ьм геасЬес1 1Св с1еяС1пас1ог1 СЬеге и111 Ъе а 1аСег соийвгггаС1оп ш гг~ЫсЬ 6 1ь егпрСу Ъу ГЗ. ОСЬегж!яе, р пшяС Ье Еогжагс1еИ Со а ЬггГГег п6(р. 6) оГ а ЬпГГег с1аяя т' > т. Ву 1пс1ггсС1оп, ш еасЬ гийЫСе сотприСаС1оп ьгагС1ид 1п 7 СЫя Ьпйег 1я етрСу гпйЫСе1у оЕСегг. ТЫв 1шр11ея Ьу Г2 СЬаС р М11 Ье Гога.агс1ес1 апс1 Ьепсе СЬас СЬеге М11 Ье а сопйвпгаС1оп аЕСег -~ ш ггЫсЬ 6 гя етрСу.
ТЬеогегп 5.25 Г~ йе 1агтпезз азьигпрСгоггз РГ, Р2, апИ ГЗ ате заггзДеИ Сггеп гп еасл пфпг1е сотлригаггоп еиету расМег огуетеИ Го Яе легшот1. шгП 6е солзггтлеИ гп ггз Иезггпаггоп. Ртоо~. Ву г епииа 5.24 а11 ЬиГГегя аге еи1рСу 1и шйЫСе1у игаиу соий~ыгаС1оив. Ву Р1 СЫв 1шр11ея СЬаС еасЬ рас1сеС СЬаС 1я сопС1гшоггя1у оГГегес1 Со СЬе пеСъгог1с гг 111 Ье цепегаСес1.
Ву Р2 1С ггл11 Ье Гог~ггагс1ес1 ггпС11 1С геасЬея 1Ся с1еяСшаС1ои. Ву РЗ 1С гг 111 Ье сопяшпес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сеСя аге а11оъес1 епСгу МСЬ ЫеЬег рг1ог1Су.
ТЬе ггпзСгггсСгггес1 яо1ггС1опв. ТЬе сопСго11егя оГ ЯесС1оп 5.3 пшяС Ъе шос1- 1йес1 1и огиег Со ша1се Сйепг Ьг е1ос1с-Ггее. ТЫв сап Ье яееп Ьу СЬе сопзСгцсС1оп оЕ ап 1пйп1Се сошрггСаС1оп ш гчЫсЬ а сопС1пггопя йоъ оГ рас1сеСя савве СЬе сопСго11ег Со ЕогЬ1с1 СЬе Гогюагг11пд оГ яогие рас1сеС, Тоггед [Тои80Ь) рдея япсЬ а сошригаС1оп (Еог РС) апгГ ргеяепСв а шог11йсаС1оп оГ РБ СжЫсЬ Гя я1ш11аг Со СЬе опе ргевепСес1 Ьеге Еог СЬе ЬиГГег-дгарЬ сопСго11егя) гггЫсЬ 1я 1ле!ос1с-Ггее. Ехегс1вев Со СЬарСег 5 Яесйкт Б.М Ехегс1ве 5.1 оггоггг глаС йете етиСз по ИеаИ1ос1с-атее сопГто11ет ЙаС ггзез оп1у опе билет рет поИе апИ аПогзз еасЬ поИе Со зепИ рас1сеСз Со аС 1еазГ опе оС1гет поде. 5 Леала!осМтее Рас1.сг $плгслглд Яесйоп 5.2 174 ЕхегсЬе 5.2 ЯЬош йа1 с1е81 гв по1;1еаагос1:-атее г~' расЬе1 тоибпд гв ав гп Р;дите о.2.
Ехегсгее 5.5 ('ТЬе Ьорв-го-до всЬегпе) Сие йе ИиДет дтарИ. ать йе ~Ъ аМ ггЬ |ипс1голз,'от а соп~тоПет Яа1 ивев ЬиДет !„Ц 1о в1оте расйе1в гЬа1 Ьаие г тоте Ьор 1о 1тапе1 1оиатаз Йегг Незйпа1гоп. Юиаг гв Йе Ъи~~ет с1азв о~ И„Ц 1з П песевзату йо тагпгагп а Ьор соип1 гп еагИ расйегз Ргщес~ 5.5 Ртоие йаг Йете ехгвгз а йеагПос7г-атее сопгтоПет, ~от расЬе1 ьшг1сЬгпд оп я ЬуретсиИе, шЬгсЬ ивез опт гшо ЬиДетв гл еасЬ лойе алЙ аПошз расМеЬ го Ие тоигей ога тлгпгтлатгг-Ьор райз.
1з гг роввгЫе го ойгагп йе соПес1гоп о~' ивеЫ райв Бу гпеалз о~ 1Ье гпгетъа1 тои1глд а1дотъгЬгп (ЯиЬвесггоп ~.~.2)д Хв гг розвгЫе 1о иве а!элеат гп1етиа1 1аЬе1глд всЬепгеУ ЯесФгоп о.Я Ехегсгве 5.6 Ртоие гЬа~ ВС апЫ ВБ аге йеагПосМ-атее сопЬоПетв. Ехегсгзе 5.7 Ртоие йаг еасЬ тлоие аПошей бу ВС гз аЬо аПошей бу е С. Ехегсгее 5.4 Сотр1е1е йс ртоп~ Йа1 йе угарЬ ВС (Авалей гп Йе ртоо1 о1 ТЬеотелг 5.13~ гз гинеей а ЪиДет дтарЬ, г'.с., 1от еасЬ рай Р ~ Р йете ехыгв а диатапгеей раМЬ илй глгаде Р ЯЬош гЬаг, аз с1агтлеЫ, 1".о апН пб Но гл гееа' гезстгое а рай гп В6' .
Каче аль Тга~'егяа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йз раг~ оГ ~Ье 1приг,. ТЬеяе ~аз! з аге а1;чауя регГогтей Ьу раяяшд теяяааея ассогй1пд 1о зоте ргеясг1Ъей, 1оро1оцуйерепйепФ всЬегпе гЬа1 епяигев 1Ье рагг1с1ра6оп оГ а11 ргосезяея. 1пйеей, м М11 Ьесогпе тоге еч1йеп~ ~о гЬе геайег 1п 1аСег сЬар1егя, гЬеяе ~ав1сз аге яо 6шйатепга1 1Ьа1 яо1иг1опя го тоге сотр11са1ей ргоЫетя висЬ ая е1есЫоп (СЬаргег 7), гепп1пайоп йе1есйоп (СЬарвег В), ог тигиа1 ехс1ивГоп сап Ье рчеп 1п яЫсЬ соттип1сабоп ЬеГ~чееп ргосеыея оссигв оп1у ч1а гЬеяе теязаце рмв1пя: ясЬетез.
ТЬе ипрог1апсе оГ тезва~е-раявшд зсЬетев, са11ей ~чаче а1~ог1~Ьтя Ггот подач оп, !ивййея а яерага1е ггеаФтепФ оГ гЬет 1и 1во1аФюп Ггот а раг'»1си1аг аррЬсаМоп а1дог1Иш~ ш тчЫсЬ гЬе ясЬетез сап Ье етЬеййей. ТЫз сЬар~ег Гоппа11у йейпея юаче а1дог1гЫпя (ЯиЬяесйоп 6.1.1) апй ргочея яоте ~епега1 геяи1гя аЬои1 ФЬет (ЯиЪзесЫоп 6.1.2). ТЬе оЬяегча~1оп ~Ьаг, ~Ье вате а1~ог1$Ьтя сап Ье изей Гог а11 оГ 1Ье Гипйатеп1а1 ~м1 я 11вСей адоче, 1.е., Ьгоайсмйп~, вупсЬгоп1кагюп, апй сотриг1п~ ~1оЬа1 Гипс~юпя, ъч11 Ье гпайе г1~огоив (ЯиЬзес1юпз 6.1.3 1ЬгощЬ 6.1.5).
Яесйоп 6.2 ргеяеп~з воте и1йе1у изей жаче а1дог1гЬтз. Яесг1оп 6.3 сопв1йегз ~гачегза1 а1~огЖш~я, жЫсЬ аге чаче а1цог1ФЬтя ъч1Ь ~Ье айй1гюпа1 ргорегеу 1Ьаг, йе ечеп~в оГ а сотригагюп оГ 1Ье а1~огйЬт аге Го!а!!р огйегей Ьу саияа1йу. Яесг1оп 6А рчев яечега1 а1~ог1йтв Гог а й1вГг1Ьи~ей йер1Ь-Йгй яеагсЬ. ТЬе ггеа1тепФ оГ тчаче а1~огйЬгпя аз а яерагаФе 1ввие.
ечеп гЬоидЬ ~Ьеу аге изиа11у етр1оуей м яиЪгоигшея 1и пюге шчо1чей а1~огЫЬгпв, 1я ияеГи1 Гог 177 о И'аз~ ыд Тттетза1 А1уот~йтв гасо геьяопя. Р1гзй, йе 1пггодьс,",1оп оЕ йе сопсерг Еас1йа~ез йе 1а~ег ггеаг; тепе оЕ гпоге 1пчо1чес1 ь1дог1гЬ пя Ьесапне С1~е ргорег6ев оЕ гЬе1г япЬгопг1пея Ьаче з1геаг1у Ьееп яйс11ес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орез ог Еог ЖЕЕегепй аяяитр6опя аЪоиг, гЬе!пЖа1 1 по~ч1ефе оЕ ргосезяез. ТЬЕв сЬарСег 1я Ьаяес1 оп 1Те191Ь, Яес11оп 2], ~чЬеге ЕЬе сопсер1 оЕ тчаче а1дог1йтя гв яййей ипг1ег 1Ье пате Еаза.,"!~атгйтя. 6.1 Вейпй1оп .,..и1 Бяе оЕ 'чаче А1догЫЬгпя 11п1еяя ягагег1 ойегызе, 1г г- гяящпей гЬгои~Ьопг, 1п й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я аявшпег1 ~Ььг, ~Ье яуя~ет пяея авупсЬгопопя теязаяе рыв1щ апг1 гЬа1 йеге 1я по потоп оЕ ~1оЬа1:1те ог геь1-Ыте с1ос1сз.
ТЬе ь1~о 1ФЬгпз оЕ ~Ыя сЬьргег сап а1яо Ье ивег1 М:Ь яупсЬгопоыв теязаде раяв1п~ ','рояя1Ыу ж1+Ь яогпе ята11 тог11йсайопя го ачои1 г1еас11ос1ся) ог М~Ь д1оЬь1 с1ос1ся 1Е гЬезе аге ача11аЫе. Ножечег, воте оЕ ~Ье тоге депега1 гЬеогегпв .ге пог, багие 1п гЬеве савев; яее Ехегс1яе 6.1. 6. 1.1 .Ое~жизогг оу РРаие А1дотъУитпа Ав мчав оЬяегчег1 т СЬаргег 2, ь с11ягг1Ьи~ес1 а1яог11Ьт ияиа11у а11оъя а 1агде соПесбоп оЕ ровв1Ые сотрифьг1опв, где го поп-йе1егт1твт 1п 1Ье ргосеяяев ая ъе11 аз 1Ье соп тцп1саМоп яиЬвузгет.
А сотрп$аЫоп 1я а со11есг1оп оЕ ечепгв, рьгбаЛу огйегес1 Ьу гЬе сьиза1 ргесес1епсе ге1абоп "( ая с1ейпей Ео11оМпд 1)ейтбоп 2.20. ТЬе пцтЬег оЕ ечеп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~ог11Ьтв 1п гЬ1я сЬарсег яисЬ ап ечепФ 1в з1тр1у гергезепгег1 Ъу гЬе йа1етеп1 г1есЫе. А жаче а1дог11Ьт ехсЬап~ея а йт$е пптЬег оЕ теяяа~ея апг1 1Ьеп ть1гея а г1ес1з1оп, ~чЫсЬ с1ерепг1я сапза11у оп вопи ечепг, 1п еасЬ ргосевв. 1)ейш1юп 6.1 А шаие а1долйт Ев а йМиЬиГей а1дотИЬт йаг яапя5ея йе ~оПоштд Угее тедиьгетеп~я 6.1 ийол алН Узе оГ Хаие Атдотъйтз (1) Тегпипат1оп.