Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 51
Текст из файла (страница 51)
ТЬе г ~рЬ T 0 (е) сопСа!ля а сус1е, апс! ая Т, сопСа!пя по сус1е, аг 1еаяС опе ей е оЕ СЬе сус1е. и' яву, !в поС !и Т,. ТЬе сЬо!се оЕ е Ьпр1!ев ы(е) с ~(е'), Ьиг СЬеп СЬе Сгее ~ ~ (е) ~ (с') Ьав а ила11ег ие1дЬС гЬап Тв, ъЬ!сЬ сопсгайсгя СЬаг Т !в ап .~.!ЯТ. Ргоров!С!оп 7.18 сопя!г?егаЬ?у Еас!1!аСея СЬе г?!яСг1Ьигей сопзСгисг!оп оЕ а ш!пипа! врапп!пд Сгее, Ъесаияе по сЬо!се Егор а со11есС!оп оЕ 1еа!С!гпаге апвжегя пеев Ье (й!ягг!ЬиС!ъе1у) тас?е.
Оп СЬе сопСгагу. е~егу пог?е ЬаС !ось11у яе1есгя ег?дея гЬаС Ъе1опд Со апу пип!гпа? ярапгип~ ггее С1гегеЬу сопСг?ЬиСез Со СЬе гопвСгисС!оп оЕ СЬе ~1оЬа?1у ип!оие МБТ, А11 а1цог!сЬгпз со сотрисе сЬе ппп?та1 ярагиипа сгее аге Ьаяег? оп сЬе по?юп оЕ а ЕтадтпепС, ъ Ь!сЬ !я а яиЬСгее оЕ СЬе МЯТ. Ап ефс е !з ап ои.'додд езде оЕЕгарпепС Г !Еопе епг?ро1пС оЕ е !я ш Г ап6 СЬе оСЬег ?я поС. ТЬе а?дог!СЬтв вСагС МСЬ ЕгарпепСз сопв1яг!пд оЕ а з!псе пог?е апс! !псгегпепСа11у еп1агде ЕгарпепСя ипс11 СЬе МБТ ?я сошр1еСе, ге!у!щ оп СЬе Ео11ожшд оЬвегчаС!оп.
Ргороя?С?оп 7.19 ЦР и а ~тадтиет~~ апН е и йе 1еаяС-шегдЬГ оиСдошд езде очаг', йеп ГО(е? гг а~тадтелС. Ртоо~. Аяяише Г 0 (е3 1я поС рагС оЕ СЬе МЯТ; СЬеп е Еогшя а сус1е ъ.!СЬ зобе ес?дез оЕ СЬе МЯТ, апг? опе оЕ СЬе МБТ ефев !п СЬ?з сус1е, зау Е", !в ап оиС~о!пд ес?де оЕ Е. Ггош СЬе сЬо!се оЕ е, ш(е) < ш(Е), ЪиС СЬеп с?е1еС!щ Е Егогп СЬе МБТ апг? !пяегС!п~ е юоиЫ р~е а Сгее сч!СЬ вша!!ег же!дЬС СЬап СЬе МЯТ, ~ч?исЬ !я а сопСгаг?1сС!оп. П Же!1-?спотк яеоиепС!а! а!дог!СЬгпя Еог сошриС!п~ ап МЯТ аге СЬе а!дог!СЬшв оЕ Рг!гп апг? Кгия?га1. РгЬп'в а?дог!СЬгп [С1 В.90, БесС!оп 24.2~ вСагСя МСЬ а з!па1е ЕгаагпепС апс? еп1агдез !С !и еасЬ зСер МСЬ СЬе 1оъевС-юе!дЬС оиСдо!пц ес1ае оЕ СЬе сиггепС ЕгарпепС. Кгийа?'з а?аог1СЬгп 1СЖ90, ЯесСюп 24.2~ вСагСв ~чЫЬ а со??есС!оп оЕ яшв1е-пос?е ЕгарпепСя апг? пегая ЕгацгпепСя Ьу адйщ СЬе 1о~евС-жефЬС оиС~о1п~ ефе оЕзоте ЕгщгпепС.
Весаизе Кгив?гаГз 7 ..1асИоп Л1дот11ипи а1дог1г.,ш аПоччя яечега1 Ега,рпепйя со ргосееб 1пйерепдепг1у, Ы 1з гпоге яш1- аЬ1е Еог 1шр1ешетйаС1оп ш в г1Ъ:г1ЬиСес1 а1дог1йЬт. ~.3.3 СГоЪи1 Оев ."~рЕготъ оГ где СНБ А1дотЕ0ьтп. 'Те гчП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з ша1пг*1пей, зпсЬ гЬаг, гЬе пп1оп оЕ аП Ега гпеп~я согйа1пя а1~,~ойез. ('2) 1пЖаПу 1Ь1я соПес11о соп1а1пя еасЬ пос1е ая а опе-поде Егавтеп~. (3) ТЬе пойез ш а Егарпе.й соорегаге 1о Бпс1 1Ье!отей-же1~Ы оЩо1п~ ес1де оЕ:Ье Егарпепг. (4) ЪЧЬеп йЬе 1оъея~-че1дЬг ои1дошд ефе оЕ а Егарпепй 1я Мпоъп, йЬе Егарпепг ~ч1П Ье сошьг~ес1 щйЬ апо~Ьег Егадгпеп~ Ьу асЫ1п„1Ье ои~- до1пд ест, 1п соорега.'1оп ъйЬ гЬе о~Ьег Ега шепа, (5) ТЬе а1~ог11Ьт тегш1пз~ея ~чЬеп оп1у опе ЕгаатпепГ геша1пя. ТЬе еЕБс1епГ, 1шр1ешеп:агюп оГ ~Ьезе яГерв геоп1гея 1Ье 1пГгойисМоп оГ зобе погагюп апй шесЬап1згпз.
(1) Ртаотпет2 пате. То ае1егшше гЬе 1оччеяг;~че1фй ои1цошд еда Ы шпя1 Ье розя1Ь1е 1о яее и Ье1Ьег ап еда Ея ап опг~ош~ ефе ог 1еайя го а пос1е ш 1Ье ваше Егадгпепг. То ~Ыя епс1 еасЬ Егарпеп1 МП Ьаче а пагпе, чЫсЬ М11 Ье 1шоюп го гпе ргосеявея 1п ~Ьаг Ггавгпеп~. Ргосеяяея 1ез". М~е.Ьег ап ефе 1в 1п~егпа1 ог оиц~ошд Ьу а сошрагЕзоп оГ 1Ье1г Ггадше~й пагпев. (2) СотЪ|тьжд 1атде ать зтпа11 ГтадтепГз.
реп ~во Ггадпепйя аге согпЬ1пес1, ~Ье ЕгарпепФ паше оЕ 1Ье ргосеязез ш а1 1еая$ опе оГ ~Ье Егарпеп~ сЬап~ез, жЬ1сЬ геошгев ап ирйаФе 1о майе р1асе ш ечегу поде оЕ а~ 1еаз~ опе оГ гЬе гтчо Гга~теп~я. То Меер й1з ирйаФе еЕ- йс1еп1, 1Ье сошЬипп з1гагеду 1я Ьавей оп СЬе Ыеа гЬа1 Йе з77га11ет оУ йио Гтадтпепгв сотЬшев ийо йе 1атдет оГ йе йчо Ъу айор0пч ~Ье Егврпеп~ пагпе оГ СЬе 1аг~ег Ггарпеп1. (3) Гтадте~Г 1аие1в. А 1М1е ~Ь1п1сшд гечеа)в 1ЬаГ 1Ье йес1зюп аЪои1 гЬ1сЬ оГ й~чо Ега гпепгв 1я ФЬе 1агдег вЬоыЫ по8 Ъе Ъавес1 оп 1Ье шипЬег оЕ пос1ез 1п йе Мо Ггаагпеп~я.
ТЬ1я ~чои1с1 гпа1ге й песеяяагу 247 7.Я Атд!С~иту ЧеСшатЬ Со ирдаСе СЬе -"гарпепС в!хе ш ечегу ргосеы оГ дой СЬе 1аг~ег апЫ, СЬе ягпа11ег сопвС1СиепС СгадшепС, СЬпз зро!1!пд СЬе дез1гаые ргорегСу СЬаС ап ирдаСе 1я песевяагу оп1у ш СЬе ыпа11ег. !пзСеад, еасЬ ЕгадшепС Ся авз1~пед а 1еюе1, ~чЫсЬ 1в 0 Сог ап ииС1а! опе-поде ЕгаушепС. 1С 1я а11о саед СЬаС а Ега~шепС Г~ согпЬ1пея !пСо а СгарпепС Г чт1СЬ Ь1цЬег 1ече1, айег жЫсЬ СЬе пеж йарпепС Г~ С! Гв Ьм СЬе 1ече1 о1 Гя. ТЬе пею СгарпепС а1яо Ьм СЬе !гарпепС паше о1 Г2, во по ырдаСея аге песемагу тог СЬе подев ш Г,.
1с пшяС а1во Ье розя1Ые 1ог Съо 1гарпепСя о1' СЬе загпе 1ече1 Со согпЬ1пе; !п сЫя сме СЬе певуч СгарпепС Ьая а певуч пате апд 1Ся 1ече! 1я опе ЫвЬег СЬап СЬе 1ече! оз СЬО сошЬ1п!пЯ Сга$тпепгз. ТЬе пе'Ф паше 01 СЬе ггарпепС 1в спе ъе1фк о1 СЬе едде Ъу я ЫсЬ сЬе С ко ггарпепСя аге согпЫпеа, апд сЫя ед е 1з са11ед СЬе соте еНуе оГ СЬе певуч 1гарпепС.
ТЬе С~чо подев соппесСед Ъу СЬе соге ед~е аге са11ед СЬе соте поНеа йегпгпа 7.20 1~' йеве сотпдтгпу ти1ев ате одеуеИ, йе патпдет оГ Сгтпез а ртосмв сдапуев иЬ ~таутпеп С патпе от 1ече1 гв аС толС Х 1о~ .'ч'. Ртоо7". Т1ге 1ече1 аС' а ргосеяз печег десгеазез, апс1 оп1у яЬеп 1С 1псгеаяея доев СЬе ргосевв сЬапце 1Ся 1га тепС пате. А 1гарпепС о1!ече1 А сопСа1пя аС 1емС 2г' ргосеввев, яо сЬе ша.дшпш 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еС ер депоСе СЬе 1оъеяС-чте1фй опС~о1п ед ео1Г, Вл1е А. П ер 1еадз Со а 6арпепС Г' = (ГХ', .г ') тч1СЫ, < Г, Г сотЪ1пея 1пСо Г', айег ~чЫсЬ СЬе пе и йарпепС Ьм пате ГМ' апд 1еъе1 Ь'.
ТЬезе певуч ча1пея аге яепС Со а!! ргосевяея 1п Г. Влйе В. 1Г ер 1еадя Со а ГгарпепС Г' = (ГЛ', Г) ийЫ = Ь' апс1 ер. — — ег, СЬе С~чо СгарпепСя сотЫпе 1пСо а пеъ ГгарпепС МСЬ 1ече1 1+1 апд паше м(ер). ТЬеяе певуч ча1иев аге яепС Со а11 ргосемея ш Г апд Г'. Кп1е С.
1п а11 оСЬег смеЯ (1.е., Х > Г ог Е = Ь' апд е т ф ер) 1гадшепС Г тпяС жа1С ппС11 ги1е А ог В арр11ея. 7 Пссгзоп А1усгМгпз (з1сзр, ~лс1, ~о цц.1): (Лаос, ЛгасгЛ., Р1ес1) 1Ьг еас11 с Е №1зЛр; геа1: , едет Ьг:с,й., 'аг з1пряр згасЛрЯ чс7азр 5г зйр" р !сЫр с"сЛр, .',, 'р,,а Лет (1) Аз;Ьс 11гзс ас~юп о1' еасЬ рг..сезя. 1)~е л1 'ог1с1пп пярну Ье 1пЖа11аес1: Ьее1п 1ег рс Ьс ~Ье сЬаппе1 о1 р:ряб зг;..! 1езз че~фй, з1асЛр,'с):= ЬгппсЛ, ~ется .= 0; ярой ( соппес1;. 0) го с епо (2) г роп гесс1рг оЕ (соппес- ., 1гаш 1: Ье 1п 11 ~ <!еы!р ФЬеп ( Соп.',101е р пЬ 1~И1е А ) Ьефп зП1сЛр(у1:= ргапсЛ; баева (1п1С1аФе.
1сЫ„, патер. згагер) Го д епг1 е1ье Г зсасЛр(у) = йьыс Имп (* Би1е С ~) ргосеяз Йе пезяаце 1асег е1яе (" Н.ц1е В ~) зепс1 (1пМасе. 1ере3р + 1.ы(рд),~пН) ~о д епс1 (3) 1)роп гесе1рт, оГ (1пЖайе, г, г, Я) Гго~п д: Ьефп!съе1 .= Е; пате,:= Г: з.агар:= Б; /агЛзтр.— — ц; ЛезГсЛр ..— — идя/; о'езЬизр .— — ж; 1ога11 т Е УсздЛр .. ззасЛ '1т1 = ЬтапсЛ А т ~ о с1о зепи (1п1с1асе,Ь,Г,5) ~о т; 11 згаГер — — рпс1 ФЬеп Ьефп теср .= 0; Заза епй епд А1~от1сЬзп 7.10 Тня Сль~лскк-Нпмвькт-Блюл л~соа|тнм (Рлвт 1).
7.3.4 .ОеФайей 3ЭеястърГъоп о~ Фйе СУЙ А1догйЬтп Хос1е апй 11п! ыа1ия. Ходе р гпаш1а1пя 'гЬе чаг1аЬ1ея ая шйса$ес1 ш А1 опсЬп1 7.10, 1пс1ыйщ 1Ье сЬаппе1 яйагпя згасЛр[д] аког еасЬ сЬаппе1 рд. ТЬ)я я1аГия 1я ЬгипсЛ 11 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~е 1еЫшд 1о ГЬе соге ес1ае оГ 1Ье ГгарпепФ, ТЬе яйле о1 пос)е р, я~азер, 1в ~пН Ы р и сиггеп11у епдадей ш гЬе Ггааше11$'я веагсЬ Гог гЬе 1очея~-ъе1 Ы оигдо1п~ еда апд /оипН о~ЬегМяе.
ТЬе а1Ког11Ьт и 1чеп ав А1догЖш~ 7.10/7.11/7.12. Яогпеб|пея гЬе ргосевв1пя оЕ а шеяваде 7.3 АтЫтиту ЖеГшатЬ (4) ргосейпге гев1: Ъерп 1Г Зц Е Лещ)~р: вгаспр(ф = аав.с йеп Ье .'и бевйсЬр:= а Мй вгасЬЯ = Ьавк апс1 ш(рд) гппшпа1: вепс1 (геяФ, 1ере!р. питаер) го 1евГсар епс1 е1ве Ъе 1п йв'сБр,— — ий.7'; теРог. 'епс1 епс1 (5) 1Хроп гесе1рг оЕ (Севй, Е, Г) Егогп а: Ъефп 1Е Е > 'ере1р ФЪеп (" Апвьег пшвс же *) ргосеяв гЬе тевваее 1агег е1ье ЕЕ Г = патаер СЪеп (" шсегпа1 ес1ве ') Ъеа1п 1Е вГасЬр~д) = Ьавсс сЬеп в~ас6рф:= тя~еес ЕГ 7 ф ~евссИр гЬеп жА 'ге„'есФ) го а е1ве 1е; епс1 е1ве вепй (ассерс) го и епс1 (6) Нроп гесе1рг оЕ (ассерс) 1гогп и: Ъефп ЕевЕсЬр:= ийе~, 1Е ш(рд) < ЬевЕшйр гЬеп Ьефп 5евгшгр:= ы(рд); аевгсар .—— д епс1; терот~ епс1 (7) 11роп гесе1рг оЕ (ге3есФ) Егор а: Ъее1п 1Е вгаеЬ (д) = Бавхс йеп вваеЬ (д):= те7ееЕ; Зева епс1 А1ЕогйЪвп 7.11 1 НЕ САГ,ЬАСЕК вЂ” НУМВГ,ЕТ вЂ” ВР!НА АГ.СОЫТНМ (РАНТ 2).
пшвФ Ье ЙеЕеггес1 цп01 а 1оса1 сопйг1оп Ея яаИя6ес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п сЬа$ пос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пЖа)1еаЕ1оп оГ сЬ1в поде, йе гес)п1гей ес1р.е 1я з1гпр1у йе 1о~чезг- юе1 Ы 250 7 1ес1лоп А190тгйтз (В) ргосейпге ~ рота Ьерп 1? теор — — ф (ц; з1а~ Лр[д] = бтапса л д ф ~айетр1 апс1 1ев1сйр = идее~ йЬеп Ье~?п Ма1ер .= „'~ааа; вес<1 (герог~, бев1ш1р) го уайет епс1 епс1 (9) 1~роп гесе~р~ о? (героп,.