Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 33
Текст из файла (страница 33)
А1~ЬощЬ гЬе сопФго11егь ~Ьас же яЬа11 йейпе тау ЕогЬ!с1 шоъ ея, !г, !я мяигпес1 айаг, СЬе пеС~чог1с аЬчауз а11о~чз гЫв пюче, !.е., !Е гЬе соп~го11ег йоез по1 ЕогЪ!й Ы, й !я арр1!саЪ|е, 1п вув1егпв тч!гЬ яупсЬгопоиз гпевзаде рмв!пд ЕЫз пюче !з ем!1у зееп Фо Ье а в!п~1е 1гапв!Иоп ая !п Оейп!г!оп 2.7.
1п яуягегпв чйФЬ аяупсЬгопоив теззаде разя!ид СЬе гпоче !в по1 а я!п~1е агапа!Моп ая !и ВейпЖоп 2.6, Ьиг, й сап Ъе !шр1етеп1ей, Еог ехашр1е, ая Ео!1о~чз. Хойе и геремей1у 1гапзгп!1я р го и~, ЬиФ йоея по1 й!всагй ~Ье рас1е1 Егош ~Ье Ьивег м !оп~ м по ас1споМейцетеп1 !в гесе!чей. 'реп пойе и гесс!чея йе рас1е1 й йес!йея юЬеФЬег Й чу!1 ассер1 йе расМеФ 5.1 Гпгго~истгоп ш опе оЕ !«я Ьггйетя. 1Г зо, СЬе рас1 е« !в р1асес1 !и СЬе Ь~Нег аис1 аи ас1спож1ес1детпеп« !я яеи« Со и.
о«Ьегщ!яе СЬе ряс!се«!з яиир1у !гпогес!. ОГ соигье, тиоге е«ис!еи«рго«осо1я сал Ье с!ев!пиес! «о !тир1етеп« СЬе гиоъе, Гог ехашр1е СЬозе иЬеге и с!оея ио«т,гпяпн«р ып«!! и !сгорбив СЬаС ю ж11 ассер« р. 1п е!СЬет сазе СЬе тпоъе .оия!я«я от" веъега! «тапа!С!оив оЕ СЬе «урез тиеп«!опес! тп 13ейп!С!ои 2.6, Ьгг« !С М1! Ье сопя!с!~тес! аз а я!п~1е в«ер Еог СЬе р«ггрояе оЕ «Ь!я сЬар«ет.
(3) СопяитпрСгоп. А рас1сеС р оссггру!щ а Ьггйет !и !Ся с!ея«!па«!ои пос1е !я гепго~ес1 Гтотп «Ье ЬиСтег. 1С !я аввитпе6 «ЬаС СЬе ие«лот!с а1ъауя а11оггя СЬ!я тио~е. Оеиосе Ьу 'Р СЬе со!1ес«!отг оГ а1! ра«Ья Ео11ожес1 Ьу «Ье рас1се«я. ТЬ!в со11ес«!ои !я с!е«егти!пес! Ьу СЬе гогг«!п а!~от!СЬти (яее ОЬар«ег 4); Ьо~~ !С !в с!е«егтп!пес! пеес! по« сопсегп ыя Ьеге. Е.е«!с Ъе «Ье ицптоег оЕ иорь. гп СЬе !опав« ра«Ь гп 'Р. 1С !в по« аявтгтпес! СЬа« 1с ес!иа!я «Ье с!!атие«ет оЕ С; /с тиау ехсеес1 СЬе с!!атие«ег !Е СЬе топ«!пц а!~от!«Ьиг с1оея ио«яе1ес« ти!тг!ишш-Ьор ра«Ьз, аис! й тиау Ъе втпа11ег «Ьаи СЬе с!!атпе«ет !Е а1~ соштиитиса«!отг ш С тз Ъе«жееп пос1ев а« 1!тп!Сес1 с!!я«апсез. Ая !я вееи Гготп СЬе ехатпр1е !~ел а« «Ье Ьерпи!и оЕ «Ь!я сЬар«ег, с!еас1- !ос1ся тпау ат!яе гГ а11 шочев аге а11оъес1 Со оссггг ггпгсз«г!с«ес!1у (Ьагг!тг СЬе Сг!ч!а! гев«г!с«!оп «1га« и типа« Ьаче ап етир«у ЬыЯег !Е а рас1се« !я лепета«ес! ги и апс! иг шиз« Ьаге ал етпр«у ЪпЕЕег !Е а рас1се« гв Гогттатоей Со и).
Же яЬа11 подач с!ейие а соп«гоИег ая ап а1 от!СЬпг СЬа« регги!Св ог ГотЬ!с!з ъаг!отгз тиочея ш СЬе ие«мог!с, втгЬ)ес« Со СЬе Ео11оМпа тес!штегиеи«я. (1) ТЬе сопяигпр«!оп оЕ а рас1се« (а« !Ся с1ея«!па«!отг) !я а1жауз а!!огас!. (2) ТЬе лепета«!оп оГ а рас1'е« !и а пос1е жЬеге а11 Ьгг!Еегя аге етпр«у !в а1т~ауя а!1оюес1. (3) ТЬе сои«го11ег цвея ои1у 1оса1 шЕогтпа«!оп. г.е.. СЬР сгес!я!оп гчЬе«Ьет а рас1се«сап Ье ассер«ес! гп пос!е и с1ерепс1я огг1у оп !пЕогтпа«!оп 1спотчи Со и ог соп«а!пес! гп СЬе рас!се«. ТЬе весопс! гес!и!гетиеп« ехс!пс1ев Сг!гт!а1 во!и«!опв СЬа« алло!с1 йеас11ос1сес1 рас1се«з (яее кейп!С!оп 5.2) Ъу геГия!иц Со ассер« алу рас!се« !и СЬе пе«сгог1с.
Аз !и СЬар«ег 2, 1е« У„с!еио«е СЬе яеС оГ в«а«ея оЕ иос!е и, апс! М Сие яе« оГ ровя1Ь!е тпевзааея (рас1се«я). Вейп1С!ои 5.1 А соп'тонет~от Ие пеСиотк С = (У, Е) гя а соПессгоп оГ рагтв сои = (Сеп„, Рот„) „ег, ийете Сеп„С Я„х М апт! 1'от„С Г„х М. г! с„Е Я„гя а яСаСе оГ" и ьЬете аП ЬиЦетя о~ и ате етрСу, !агап 1от аП р б М, (с„, р) е Сап„. 5 Оеаа!ос!т-атее РасИе! Яип,'.сЬ~пд 155 1:тейп!т!оп 5.2 Свеи а пПиогЕ С, а соп!го~!ет соп !от С, аиН и сотфдиаиап.т ат" С, а расяче! р (ассил~т,д и софдига!!оп т~ гв г!еайосМей Ч Йеге д па тедиепсе о! тоаев ати!ег сол, арр!тсаИе тп.т, гп ш6'са р !в сопвитей. А сапЯвгаттап и са!!ей а деай~осИ сопЯитагтагт т~ М сатйатя Йеай!ас!теа' пас че Гя. Ая т Ье ехашр1е оЕ Г!дите 5.1 яЬоъ в.
Йеай1ос! сопй~игаС!оия ех!ят Кот ечегу соигто!!ег. ТЬе 1ав1с о! тЬе соигго!!ег !в оГ соигяе 1о ачо!с! !Ьа! тЬе иеЬчогы ечег еи~егя яисЬ а сопй~игат!оп. ТЬе !и!!,!а! соп6 игат!оая оГ тЬе иетчтог1с аге соп!!у~тат!оиз !п ~чЬ!сЬ тЬеге аге по рас1сеФя !и йе пе1ь'ог!'. РейпИоп 5.3 А сопГгоПег м йеайосИ-атее г~ по аеат1~асМ соп~дига!гоп тв геасЬаЫе ити!ет йе сап!то!!ег ~готп ап тра! сатфдитатьоп. 5.2 ЯФтиститес! Бо1ит!опв чче вЬа11 подач Жвсивв а с1авя оГ соптго11егя ге!у!щ оп во-са11ес1 Ьийег рарЬя, !итгос!исей Ъу Мег!!п апг! БсЬъе!телег (ЫБИОа). ТЬе рг1пс1р!е оГ тЬеве Ьипег дгар1~в !в Ьавес! оп тЬе оЪяегчат!оп тЬат (!и тЬе аЬяепсе оГ а соптго11ег) а с!еас1!ос1. !я с!ие Фо а сус1!с чча!т я!тикси.
1п а сусЬс ъа!т в!тиаМои ФЬеге ех!ваяв а вес!иепсе ро, ..., р, ~ оГ расплетя, висЬ тЬат Гог еасЬ г, р, яап$в то гиоче то а Ьийег оссир!ес! Ъу р,+~ (!пйех соиптес! гиос1и1о я). Сус1!с юа!тя аге ачо!с!ей Ьу проч!пд ФЬе ряс!сетя а1оп раФЬв !и ап асус!!с дтарЬ (тЬе Ьийег тарЬ). 1п БиЬяестюп 5.2.1 Ьийег цтарЬя апй тЬе ге1аФей с!язв о!' соптго11егв М11 Ье дейпей ып! тжо яппр1е ехагпр1ев оГ ЬиЯег зтарЬв аге ртеяеп1ес1. 1п БиЬьест!оп 5.2.2 а итоге яорЬ!ят!са~ес! сопвтгист!оп о!' ЬиЯег .етарЬв чч!11 Ье я!ахеи, ада!п чч!$1т тюо ехяльр1ея. 5.2.1 ВиЦет СтарЬз 1.ег а петччог1с С ~ч!гЬ а вет В оГ Ьи! егя Ье рчеи.
Тпе соитго11ег соп а1!очтв йе ~еиегаг!оп о! а рас!'ет р !и иоде и., чтЬеге йе ятзте ~Г и !я с„. !! апт! оп1у Ы (с„р) е Ссп„аий а11оччя тЬе гогюагйщ о! раг!'с! р батоги и то ш !!' аий оп!у !!' (с„, р) Е Рог . ТЬе когтив! ЫейиМои о!' ь сои+то11ег соея иот !ис1ы!е оий!т!опз !ог йе сопяитрт!ои оГ рас1е1я, Ьеся иве йе сопяытпрСюп оГ а рас!'ет (ат !ея .!евС!иаг!ои) !ь а!раув аПо~чес1. 'Ье па~лез ог" йе иег~чог1с ипдег сои!то!!ег соп аге ехаст1у йове гиочев оЕ тЬе иетяс:1с тЬаг аге репш$тег! Ьу соп. А рас!ге! !и йе ие!аког' !я с!еяйос1:ес! !!' !т саи печет геасЬ !тя склеят!пат!оп !и аиу яес!иепсе с! точея о!' йе пет.чог1с. 5.2 Б|тис|итвс1 Яо1иггопв 1)ейп1с1оп 5.4 А Ьи)|ет дтарЬ Цот С, Б) гв а дгтесгед дтарИ ВС оп йе ЬиДатз о)' йе пе1,шотИ, г'.е., ВС = (Б, ВЕ). висЬ йаг (1) ВС гз асусйс (сопгагпз по агтес1еа сус!е); (2) ос Е ВЕ гтпр1гез йаг Ь апд с ате Ьи~етв гп йе вагпе поде, от ЬиДетв гп гшо подез соппес1ед бу а сбаппе1 гп С; апд (3) )от еас1г рай Р Е Р йете евгзгв и рай гп ВС шбове гпгаде (зее Ье1ош) гз Р.
ТЬе яесоид гес1шгегиепг 1пдысея а гпарр1п~ 1гоги райя |и ВС го рагЬя |и С; |Г Ьо, Ь|, .... Ь, гя а ратЬ гп ВС, гЬеп, 1Е и, |я гЬе пос1е гггЬеге Ьг|йег Ь, геяЫея, ид, и|, ..., и, 1я а вес1||еисе о1 иодея я||сЬ 1Ьас 1ог еасЬ г с з ейЬег и,и,+| Е Е ог и, = и,+|. ТЬе рагЬ 1п С оЬ~а1пед 1гогп 1Ь1я яес1|гепсе Ьу опнгг1щ япссеяя1че дпр11саг1оия 1я са11ед 1Ье гтпаде оГ гЬе ог1 1па1 рагЬ Ъо, Ь„..., Ь, гп ВС.
А рас1сег саииог Ье р1асед |п аи агЪ1ггаг11у сЬояеи Ъ||йег; 1с пшяг Ъе р1асед 1п а Ъ||1|ег Ггогп жЫсЬ 1г сап яг111 геасЬ 1гв дев|1па'1оп ч1а а рагЬ |и ВС, 1.е., а Ъггйег гЬаг 1в яг|1гаЫе 1ог |Ье рас1сег ассогд1щ го гЬе Го11ожпд дейп||1ои. 1:1ейпИоп 5.5 Ее1 р Ье а расИег гп поде и шгй дезггпаггоп о..4 билет Ь гп и гз виг1аЫе ~от р гУ йете гз а рай гп ВС ~тоти Ь бо а билет с гп г|, шбозе гпгаде гз а ра0| йа1 р сап (о11ош |п С. Опе зисб а рай гп ВС шг11 Ье девгдпагед аз йе диатапгеед рай апдпб(р, Ь) Йепо1ез йе пехФ билет оп йе диатапгееа рай.
Рот еас|г пеш1у депетаге6 расИег р гп и 0|ете ехгвгз а девгдпагес1 виг1аЫе билет ~Ь(р) гп и. Неге )Ъ апд пЪ аге асгопуп|в Гог йгвг Ъ||Яег апд пехг Ьггйег. ОЪяегче гЬаг гЬе Ьцйег пЬ(р, Ь) |я а1ъауя яп1саЫе Гог р. 1п а11 ЪпЯег |ггарЬв ивес1 |и гЬ1я яесг1оп пб(р, Ъ) геяЫея 1и а поде д1Яегепг Ггоп| гЬе поде гг Ьеге б геяЫея. ТЬе иве о1 "1игегпа1" елея 1п ВС, |.е., едигея Ьег|г~ееп ~л~о ЬпЯегя |п гЬе яап|е пос1е, М11 Ъе д1всггввес1 1агег.
ТЬе Ьпйег-дгарЬ сопгго11ег. А ЪиЯег рарЬ ВС сял Ъе ияед 1о 1пгр1егиеиг а деад1ос1с-Ггее сопгго11ег Ьцсяо рго~Ыед 1ЬаФ 1Ье Ьпйег пЬ(р, Ь) 1я еисос1ед |и еасЬ рас1сеФ аист/ог 1Ье в1а1е оГ 1Ье поде вЬеге р геяЫея. Оейп1йюп 5.6 ТЬе сопгто11ет Ъ|,сей гз де~пей ав ~оПошз. (1) ТЬ|е депетабгоп о~ а расИеб р гп и гв а11ошед г(апд оп1у г~ 0|е ЬиЯ'ет ~б(р) гв ~тее, Е)' йе расИе1 гз депета~ед г1 гз р1асед гп йгз би11ет. 5 Вепй1вс1 -~гее РасИе1 $шйсбчпд 15З ',2) ТЬе 1оттстйтд о~ а рЫсег р ~тот а билет т и го а 6иДет ш ш ГраяыЫу и = ш) и аПоыесХ 1~ асс! ои1у з~ п6(р, 6) (ж ю) м „ттее. 1~ !ие ~от.шатйпд 1аМев рЬсе р !я р!асев и и6(р, 6).
Тпеогет 5.7 Тбе сопгтоПет Ъ~сдс ~в а Ыеайосй-~тес сопГтоПет, Рто)!. !!' и 1в а иоде МгЬ а!1 Ъпйегя егор~у йе дсиега+1оп оГ аиу рас1сег !и и,я а!!окей, кЬ1сЬ !гир11ев Йаг Ъдс .д 1я а соисго11ег. Рог еасЬ 6 = В, г)ейпе гЬе вц~ет с!аяя оГ 6 ая ~Ье 1епфЬ оГ йе 1ои ея~ рвгЬ ш ВС 1Ьаг еис!з 1и 6. ОЪвег~е ~Ьаг гЬе ЪыЯег с1мзев оГ ЪиЯегв ои а рахй ш ВС (ш рал1сы1аг, ои г дыагапгеей ра1Ь) аге ягг1сг1у шсгеаз1ив, 1.е., гЬе Ъпйег с1авя оГ и6(р, 6) !в !в дег гЬаи ~Ье ЪыЯег с1ыв оГ 6. Ав гие сопгго11ег а11ожя р1асегиепс о1 рас1е~я оп!у ш вш~аЫе ЪиЯегв аиг! ая .Ьеге аге ио рас1егв ш1г1а11у еасЬ геасЬаЫе соийдига11ои о1 ~Ье иегиог1с циаег Ъасвд сои1а1ия оп1у расея 1п ЫаЫе Ъийегя. ?г сап Ъе еав1!у вЬо~п Ъу .
йо~чпюагй !ий~сг1оп ои '.Ье ЪцЯег с1азвез йЬаг по ЪцКег оГ ЪиКег с1мз г сои1а!пв а г1еаг11ос1ес! рас1ег 'и висЬ а соийдигабоп. ~ е1 Я Ъе 1Ье Ь! Ьея~ Ъиггег с1аяя. Саве " = Я: А ЪыЯег 6 ш исае и МФЬ ~Ье Ь1фьев1 розв~Ые Ъийег с1авя Ьм ио оиЦо1и~ едигея 1и ВС, ' оияес!пей!у, а рас1ег, аког ъ ЫсЬ 6 !в зшгаЫе Ьаь йеяг1иаг1оп и аис1 сап 'ое соизишес! тчЬеп 1г, 1в 1и 6. 1Ф Го11отчв ~Ьаг ио ЪцЯег о1 с1аяя Я сопга1иь а с!еай1ос1гес! рас1гег. Саяе т < Ж ТЬе 1идисг1ои ЬурогЬея1в 1я 1Ьаг 1ог еасЬ т' МгЬ т < г' < В, ио Ъпйег оГ Ъийег с1мв г' сои1а1ив а йеас11осМей рас1ег, (1и а геасЬаЫе соий~игайоп).
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
