Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 30
Текст из файла (страница 30)
?С Сыгпз оыс СЬаС Еог депега! пеЬчог?гв СЬе опа1?Су оЕ Сие гоыС1щ гпеСЬос! 1в роог, ЪпС Сог вечега1 с1аязея оЕ врес?а1 пеЬчог1с горо!оду СЬе цпа11Су оЕ СЬе всЬегпе 1з чегу Ооой. ТЬ1в та?сев СЬе теСЬос? яшСаЫе Еог ргосезяог пехот!св МСЬ а геьп1ьг вСгысСпге, япсЬ ав СЬояе пвей Еог СЬе ппр1етепСаС1оп оЕ рага11е1 сотрпСегв МСЬ а ч1гСыа? у;1оЬа! яЬагей гиетогу.
?С тя иоС 1по~чп ехасС1у Ьоч, 1ог ап агЫСгагу пеСъ.ог!с, СЬе ЬезС шСегча1 1аЪе11пв,' ясЬегпе сотрагез МСЬ ап орС1та! гопС1п~ а1~ог1СЬт. Боте 1о~чег .'оийлд шьГй СотлрасГ ссоинлд Таисез е1в О апс1 б аге длес1 со пос1ея Ьгз Ьох Рфиге 4.17 Тнк яршкн сален счстн тнакк вся. Ъоыпс1з .'ог сЬе ра~Ь 1еп сЬв, 1шр1ушц 1Ьас ап ор11ша1 11 Я с1оея по~ а1жауя ех1я~, ~чеге рчеп Ьу Н,пх1сКа. ТЬеогегп 4.32 [Впх88~ Тйете ехиМ а пе1шотИ" С зисй йа8 ~от еасй иа1зй 1с,о' а~С Йете ехЫ пайез и апй х зисй сйас а расИе1 ~тизл и 1о и сз Йе1Ьиетес1 оп1у а~Гет ас 1еаз1 ~.0а йарз.
1с Ья а1зо пос Кпоюп Ьож ~Ье ЬеяГ с1ерсЬ-йгяс яеагсЬ 11.Б Гог а пеЬчогК согпрагев ~ч|ФЬ СЬе очега11 Ьевс 1~Б Гог сЬе ваше пе~~чогК. Ехегс1яе 4.7 к1чев а чегу Ъас1 с1ерсЬ-6гя1 веагсЬ П Б Гог а пеЬчогК ~Ьас ас~па11у ас1ш1ся ап орМша1 1ЬЯ (Ьу ТЬеогеш 4.37), Ьп1 сЬеге гпау Ье а Ъессег с1ерсЬ-йгя~ яеагсЬ 1ЬБ Гог 1Ье яаше пе~тчог1с. 1п зЫпаМопз ноете шов$ о1 1Ье соппппп1са~1оп 1з Ье~ъееп пщЬЬогз, Ье1пк пещЬЬог1у 1я а япйс1еп1 гес1п1гешеп~ Гог ~Ье 1ЬЯ. Аз сап Ье яееп Ггош Рцпге 4.15 а с1ерСЬ-Яхве яеагсЬ П Б 1я пос песеяяаг11у пефЬЪог1у; пос1е 4 Гогсчагс1в рас1се1з 1ог пос1е 2 ч1а пос1е 1.
1с Ья еяяепйа1 1ог сЬе арр11саЬ111йу оГ ~Ье пйегча1 гоцйп3' ше~Ьос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я. ТЬе арр11саЬ1!Ыу о1 1шеагш1егча1 1аЬе11пк всЬешез счяя 1пчеяг1да~ес1 Ьу ВаККег, Ъ'ап Ьеецисеп, апс1 Тап [В1 Т91). ТЬеогегп 4.33 Тйете ехсзМ а пеАшо~~с ~от шйссй по иайЫ 1теат-тп1етиа1 1айе11пу зсйетпе ехи1л.
142 4 Яоипид 41дот1йгпз А А А э Ко~1е ~ — 1 ~1'+ ~Х/21 А «$ '1осе ~ : (-1 А КоЫ с+ (У/2'~ )а '.~ос1е 1+ 1 А = Эевг1паИопя гоигей ап6с!ос1сМяе Ьу поде 1 С = Веяг1паг1опя гоиге6 с1осЬч1яе Ьу пос1е г. У1диге 4.18 Огт~маг. П.Я ~ой а ымс. ВаЫег, Чап 1 ееыъеп апй Тап сотр1еге1у сЬагасгегже гЬе с1авя оГ пе~ юог1с горо1орея 1ЬаФ айш11 а зЬоггев1-ра~Ь 11пеаг П Я, апй ргевеп~ а пшпЬег о1 гези1Гв сопсегп1пд ГЬе с1аввея оГ дгарЬ 1оро1о81ев гЬаФ ас1шй ас1ар~и~е апй ш1п1шыгп-Ьор 11пеаг П.Бз. Орг1гпа11гу оГ 1п1ег га1 гоШ1пр врес1а1 Форо1офев. 1Г 1игпя очаг, 1Ьа1 ~Ьеге аге ор6ша1 1пгегъа1 1аЬе1~щ всЬеп1ез аког зе~ега1 с1аявез о1 пегъог1гя Ьалп8 а герйаг в1гис~иге. Хе~~ог)гя оГ ФЬеве зФгцссшез аге пзег1, Гог ехаш- р1е, ш гЬе 1шр1ешег1гаг1оп о1 рагаПе1 сошрпйегз.
ТЬеогегп 4.34 (1 Т87] Тащете ехиУ а тщгтпит-бор ЫЯ ~от а ппд о1 У поЫея. Ртоо~. ТЬе поде 1аЬе1в аге аяз1епей Ггош О го Ю вЂ” 1 1п с1ос1гюие огс1ег. Рог пос1е ь' СЬе с1осЬлве сЬаппе1 1я авв1апей ~Ье 1аЬе1 ~+1 апд 1Ье апбс1осЬч~ве сЬаппе1 гя авз1~пес1 (г + (Ф/21) шод М; яее Р18цге 4.18. ЖЫЬ гЫя 1аЬе1ш8 ясЬеп1е гЬе поде М1Ь 1аЬе1 ~ зепс1з рас1ге1в 1ог пойея г+1, ..., (г+ (Ф/21) — 1 ла г,Ье с1ос1сМве сЬаппе1 апг1 рас1сегз 1ог пос1ея (4+ ~И~21),..., ~ — 1 чи сЬе апйс1ос1лляе сЬаппе1, ~чЫсЬ 1я орг1ша1. П Ртоо~'. Сопзйег а зрЫег гарЬ М~Ь гЬгее 1ер оГ 1епфЬ био, ая с1ер1сгей ш Р1цше 4.17. ТЬе яша11еяг 1аЬе1 ('О) апс1 1агдевй 1аЪе1 (6) аге авв18пес1 йо гъо подев, ьпс1 ая йЬеге аге гЬгее 1еЕв, гЬеге 1я (аг 1еая1) опе 1ед 1Ьай сопСа1пв пейЬег ~Ье яша11ез~ пог гЬе 1аг~ев~ 1аЪе1.
1,ег х Ье йе йгвг пог1е ~гогп гЬе сеп~ег ш гйв 1ед. Иоде х 1огаагс1я рас1еФя аг1с1гезвей ~о О апй 6 го 1Ье сепгег, апс1 гЬе оп1у 11пеаг ш~егча1 гЬа1 соп1а1пя ЬогЬ О апй 6 1в 1Ье епЫге зе~ Хр. Сопвес1иеп11у, х а1зо 1ог~кагдя рас).е~в Гог Кя огЬег пе1дЬЬог Гоъагйя ~Ье сепгег, ап~1 1Ьеве рас1сегя печег геасЬ гЬе1г йезйпабоп. П Лгпд ипгй Сотпрасг Кои!гпд То6!ез 143 Со1 ! Со! и Со1 1 Вотч 1 (у — 1)п Ц вЂ” 1)п+ (с — 1) Н.оъ г ТЬе сЬаппе! !аЬе!гп-~ го с!е Ц вЂ” 1) . + ! — !) ТЬе поде !аЬе!!щ Рщиге 4.19 Ортыль 1!.5 воа ая и х п-саго.
Аз 1Ье П Я !п гЬе ргооГ оГ ТЬеогегп 4.34 !я орс1гпа1, 1г 1з пе!3ЬЬог1у; !с !я по$ 1!пеаг. ТЬеогегп 4.35 !г Т87) ТЬете ея:гяур а тгпгтитп-йор П,Я !от ап п х тг дтгН. Ртоо~. ТЬе пос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 д и; яее Яр~ге 4.19.
1г 1в погч еаву 1о чеЖу гЬас гчЬеп пос1е и 1огжагс!в а рас)сег со пос1е и. Сазе 1: Е и 1я !и а гогч Ыфьег сЬял и, сЬеп и зеп !я сЬе рас1сес ч1а 1ся пр-сЬялпе1; Сазе 2: Е и 1я 1п а гоч 1оъег сЬап и, сЬеп и зепс1в гЬе рас)сеФ ч!а !сз с1огг исЬаппе1; Саяе 3: Ы и !я !и сЬе ваше гогч яя и Ьпг со сЬе 1ей, сЬеп и зепс1я 1Ье рас1сес ч1а Йз 1ей-сЬапле1; апс! Сазе 4: М и !я !и сЬе яагпе гогч м и Ьиг со гЬе щИ, сЬеп и яепс1я сЬе рас1сеФ ч1а 1тз гфЫ-сЬаппе1.
1п а11 смея, и вепс1з ФЬе рас1се1 со а пос1е с1овег со и, гчЫсЬ 1гпр11ев сЬас сЬе сЬояеп ра~Ь !в орс1гпа1, П ~ лоа1?пд Л1допйпи Л.- гйе ??.Б 1п '.Ье ргооЕ о1' ТЬаогегп 4.35 1з ор1ш~а1, 1г 1я пе1дЬЬог1у; йЬс ьс1~е пе 1я а1ьо 11псаг, 'Р е яг аде гЬс Ео11оь 1п~ гъ о геьи1~з ъл11~оиг ргооЕ; гЬе сопяггис11оп оЕ 1аЬе1- пи; ятЬегпея ая с1а~ь,-'Й 1п ФЬе 11ыогепгя гя И: ав ап ехегс1яе Еог 1Ье геаЙег.
ТЬеотегп 4.36 ТЛсте ехгв1в а ~ппптлитл-Епр Ьпелт ЕЕЯ~от Ие Нуретсибе. ТЬ огегп 4.37 Р.?ВВ) Тащете ~пай а яЬютгевГ-ра0~ П.Б ~от ои1етр1алаг лег;. отй» ивой аг",~',.тпту слалле1 т~дйв. ?п:егъа1 гоийп~ Ьаз а пшпЫ г оЕ агггасю.е а.Ьап~я~ея, ая Ео?1оъя, оъег с1аякса1 гоиг1п„-„гпесЬап1згпз Ьаяес? оп ягог1п~ а ргеЕеггег? оицо1щ сЬаппе1 Еог еасЬ йевбпагып яерагаге1у ,?) Еош яраса сотр1етгГр. ТЬе гоиг1п„гаЫев сап Ъе з~огес? 1п 0(дед. 1о» Т) Ы+я 1ог а пог?е оЕ с1е~гее Нед. (3) Ефсгепг со~лри1аЕ~ол о~ гоиг~пд 1ап1ея.
Воийп» ТаЫея Еог а Йер1Ь- йгяг яеагсЬ ?? Я сап Ье согпригес1 ив1п~ а йв1г1Ьигег? г?ергЬ-йгяг, веагсЬ 1гаъегва1 оЕ ~Ье пегъог1с, ъ Ь1сЬ сап Ье с1опе из?пу; 0(Е) гпеввааез 1п 0(Аг) ~нпе; яее Бесг?оп 6.4. (3) Орйта??~у. ТЬе гоиг?п~ гпесЬос? 1я аЫе го сЬоояе ор~ппа1 ра1Ья Еог ве~ега1 с1мяея оЕ пейъогК сЕ. ТЬеогегпь 4.34 1ЬгоиаЬ 4.37.
ТЬеье ай~ап~а~еь' гпа? е ~Ье гпегЬой яш1аЪ|е Еог ргосеяяог пе1тчогЬ ъ11Ь а геяи1аг соро1оду. Ав Тгапвригегя аге ойеп изес? го сопв1гис~ висЬ ~оро1орез, гЬе ?птоя С?04 гоиИщ сЫрз (вее ЯиЬяесМоп 1.1.5) аге г?ея?~пег? го иве 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п~ ГЬе авв?дпгпепг оЕ пеъ асЫгеяяея (1аЪе1в) го еасЬ пос1е. (2) Уоп-орйтаМу.
А с1ер~Ь-йгз~ яеагсЬ ??.Б гпау гоиге рас1е1з йа рагЬя оЕ 1епфЬ й(Л), е~еп 1п смея оЕ пе~жог?ся оЕ згпа11 с??агпе~ег; яее Ехегс?ве 4.7. Чои1тпу ый СстрасГ ЯоаГгпу ГаЫез (* Л рас1ге+ МгЬ аННгевь Н вяз гесеюей ог Кепегагей аГ поде и ") 1Е Н = 1„ ФЬеп НеЬег гЬе рас1сег 1оса11у е1яе Ье~1п о,:= гЬе 1оп~езг сЬаппе1-1аЬе1 я.г. а, < Н; весси рас1ег ч1а гЬе сЬаппе1 1аЬе1ес1 ~ч1гй о, епс1 А1Ког1ГЬгп 4.20 Ракиях юкълюъс (гон воок и), 4.4.8 Ртах ЯоиБпу То о~егсоше гЬе йяасЬаптацея оЕ 1пгегъа1 гоцу~, Ва1-1 ег, Ъап Сеец~~еп, апд Тап '1ВЕ.Т93] йев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пз а яша11- йергЬ враппшК аггее ав ш Е.ешша 4.22. ТЬе пос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 аа, апй шцяг, Еогюагд а рас1гег м6й. асИгезз ааЪЪс.
ТЬе сЬаппе1 1аЪе1в ааЪЪ, ааЪ, апй аа аге ргейхея оЕ ааЪЪс, апй гЬе 1опдезй оЕ йЬеяе йЬгее 1аЬе1з 1я ааЪЪ, Ьепсе гЬе цойе Еогжап1я гЬе рас1се1 тра гЬе сЬаппе1 1аЪе1ес1 ааЪЪ. ТЬе Еогтчагйпд а1~ог1гЬш 1я реп ав А1~ог1ГЬгп 4.20. Же ъг1ге а з Д 1о с1епосе 1Ьа1 гг 1я а ргейх оЕ,о. ВеЕ1п1Ф1оп 4.38 А рте6х 1абейпу зсЛете (оиег Е,) ~от а пе~гоогй С тз (1) ап азпуптепг оЕ Нт~егеп1 зЫпдз ~тот Е го Йе поНзз о~ С; апН (2) ~от еасЬ лоНе, ап азяуптепг оЕ Йфетеп~ зГгтуз го гпе сЬаппе1з оЕ" йаг поНе, ТЬе ргейх гоц~1п~ а1~огй?пп аяяцшез 1Ьаг а ргейх 1аЪе1шд зсЬегпе (РЕ.Я) 1в рчеп, апй Еогжагй райеФз ая 1п Л1дог1йш 4.20.
14б ! КЯА1пу А!уоиатпз Эег1пМоп 4.39 А ртах Еазеппу зсЬетпе Ез иаИ, Е~ аП раскегз ~отшатдеа 1п ЙЕз шау еиетйиаПу теосЬ К!' г девЕтаЕЕоп. ТЬеогет 4.40 Рот еасЬ соп".;.Гед пеЕшотЬ С а сайд Р1Б ехЫз. Ртоо~. Же яЬа11 депе а с1аяя ~Е ргейх 1аЪе11пе ясЬегпев апд ргоче, ав 1п ТЬеогегп 4.25, ~Ьаг ЕЬе всЬега*.з 1п ~Ыз с1аяя аге ча11д. 1.еВ Т депорте ап агЪЫгагу гоосед ярапп1п ~гее оЕ С. '0ейпМоп 4.41 А атее РЕ.,'ог С (ай тезресг го Т) 1з а рте~~х !аое!впу зсЬете л шЬЕсЬ Йе ~о!!озлпу "и1ев ате ваЕгфед. (1) ТЬе поде !аЬе! о~' Й.,-.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
