Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 52
Текст из файла (страница 52)
) Егора 9: Ьед1п 1?' ц ~ ~осетр йЬеп (~ гер1у 1ог 1пй1а1е тевваде ') Ьефп п" -;. беегш1 ФЬеп Ьес.п бее1ш1р .— — ш; бев1сЛр .—— 9 епс1 тес„:-= гсср + 1; герогг епс1 е1ве ',~ ру 1в гне сс:е е~яе *) Ы в1оге 1Ьеп ргасе..:- сЫь гпеввар 1агег е1ве 1? и > бевгш1г, 1Ьеп сбипуетоо1 е1ве ~Г ш = беегшгр — — м ФЬеп в1ор епс1 (10) ргосес1иге сбапуетооа Ъефп 1Г йасбр[беегсйр, '— — бтапсб СЬеп вепс1 (сЬащегоой) го бее1сар е1ве Ьефп вепй,'соппесг, 1еие1р) го Ьевйсбр ейасбт, беягсар]:= бтапсЛ епс1 епс1 (11) 1)реп гесе1рГ о? (сЬапдегоо?,): Ьефп сЬ.апуетоо1 епс1 А1дОг?Г?ИП 7.12 ТНК СЛЬЬЛСКВ,-НПМВЬКт-БИВАЛ М.СОя1тНМ (РЛКт 3).
а4асеп~ еда о1 ~Ыя пос1е; зее (1). А (соппесй, 0) гпеяяаце 1я вепг, ч1а 1Ыз ес1ее. Меха сопя?с?ег 1Ье саяе ?Ьа~ а певуч ~гаатпеп~ 1в Гоггпей Ьу согпЫп1пд ?жо Ггарпеп1з, соппесЫоп Ье1пц Ъу езде е = рд. 11 гЬе Ьчо согпЫпей ?гадгпеп$в тчеге оГ ФЬе залпе 1ече1, Ь, Ьо?Ь р апй д я?11 Ьаче веп1 а (соппесФ,.г') гпезва~е ч?а е, апй яч11 Ьаче гесе?чес1 а ( соппесФ, Ь ) гпевваде 1п ге$ыгп чгЫ1е ~Ье в~аспз оГ е 1в бтапсЬ; вее асс1оп (2). Ес1~е рд Ьесогпев 1Ье соте еда о1 1Ье Ггаагпеп~, апд р алй д ехсЬаще ап ( 1п1Иайе, Ь + 1, Ф, Я ) гпевва~е, рч1пд ~Ье певуч 1ече1 аль пампе оГ ВЬе ~гарпепг,.
ТЬе папье 1в со(рд) впй ФЬе вФаФпв ~пс1 сапзев еасЬ ргосевв 1о враг~ зеагсЫпд Гог йе 1отчея1-тче1дЬ? опфо1п~ ед~е; яее асИоп (3). ТЬе пьеяяьие ( 1пМасе, Е+ 1, У, Я) 1я лоос)еб бо еасЬ поде !и С!те иеж тгарпеиС. П сЬе 1ече1 от р таз яша11ег тЬаи тЬе 1ече! о' ц, р М11 Ьаче яепС а (сопиесС.
Е) тпеяяа е ч!а е, апд М!! Ьаче гесс)чес1 ап ( 1п1С1аСе, т"'. Ф, 5) тезза~е !и гетигп Ггош д; зее асС1оп 12). 1п ",Ыя саяе. Л' апд Ю аде СЬе сиггепС 1га птепт 1есе1 ьттд пате о1 д. аид СЬе пале япд 1ече1 о1 СЬе иодея оп с'я я!де от СЬе ефе до иоС сЬапде. 0п р'я я!де Л СЬе едье СЬе 1и!с!аСе тпевяаде !я Яоодед со ь11 сЬе подея (яее ас оп (3)). Саыя1иь ечегу ргосеяя Со ирдате !Ся Йаьшепт патпе аид 1ече1. И 7 гя сигтеит!у яеагсЬ!ид 1ог СЬе 1о~чеяС-ъефЬС опт~от~ ед е (5 = )тпрр) СЬе ргосеяяея ~и р'я Ггазтпепт !о!и СЬе яеьгсЬ Ъу са11!щ тезт.
Еьсп ргосеяя ш СЬе 1гьдтиепс яеагсЬея т Ьгопфь 1Сз ед ея (11 1т Ьт я ьт,...-ее (4), (5), (6), апд (7)) Со яее М СЬеге ~я оие 1еад!п~ оис от' СЬс 1гаК."пеит. апс1 !1' яо. сЬоояея СЬе опе оГ 1оъеят ъе!дЬт. ТЬе 1оч:еяС- че!дЬС оЩо1т ь ед е 1я терогтед аког еасЬ зиЪСгее ия1ид (герогС,м) шеяяььея: яее (о). Ходе р со~штя СЬе иигпЪег о1 (герогС,ы) шеяяьдея !С тесе!чея, ия1ид СЬе чапаЫе геся, жЫсЬ !з яеС со 0 ~чЬеп СЬе яеагсЬ ятьгтя (яее (3)) аид и сгетиемед ю1СЬ еасЬ тесе)рС о1 ь (герогС,ы) теязаде: яее (9). КьсЬ ргосеяя яеидя а (герогС, ы ) шеяяаде Со !Св ГаСЬег ч Ьеп 1С Ьая гесе1чед яысЬ а шеяяа~е Ыш еасЬ о1 !Ся яопя апд Ьая йп!яЬед СЬе !оса1 яеагсЬ Гог аи оиСво!иц едье.
ТЬе (герогС, ы) шеяяадея ахе яепС 1и сЬе д1гесС1ои оГ сЬе соте ед~е Ьу еасЬ ргосеяз, аид СЬе шевзадея оГ СЬе Сто гоге подез сгояя ои СЬе едКе; ЪоСЬ гесе1че СЬе шеяза~е тгош СЬе!г ~айег; яее (9). ЕасЬ соте иоде иа!Ся ипС!1 !С Ььз зепС ь ( герог+, ~ ) шевяаде !Свею ЪеГоге 1С ргосеязея СЬе тпеязаде оГ СЬе оСЬег ргосевя. ЖЬеи СЬе Сжо (герогС, м) шеяяа~ея оГ сЬе соте подея Ьаче сгояяед, СЬе соте подея 1по~ч СЬе ~че!яЬС оГ СЬе 1о~чеяС-~'ефЬС опСКо!пК едде. ТЬе а1цог!сЬтп сегит1пасез ас сЫя рошс !1 ио оис~о!пд едде жаз герогсед ас а11 (ЪоСЬ шезвадея герогС СЬе чь1ие со).
?Х ап оиСцошд едде ~чая герогСес1, СЬе Ъеят едде 1я Гоипд Ъу Го11оМщ СЬе беятсЬ ро!пСег !и еьсЬ поде, ятагС!п антош СЬе соге поде оп иЬове з!де СЬе Ъеят едье ~чая герогСед. А (соппесС, ~) тпеявще шият Ъе яепС СЬгощЬ СЫя едде, апд ь11 ~аСЬет. ро!птегя тп СЬе 6ьцшеиС пшвС рошС ш СЫя д!гесС!ои; СЫя 1з доие Ъу зепд1п~ а ( сЬапдегооС ) шеззаяе.
ТЬе соте поде ои ъ.Ьояе я!де СЬе 1осчезС-же!фй оыСдошз едце 1я 1осаСед яеидя а (сЬаттдегооС ) шеязаце, счЫсЬ !в веиС ч1а СЬе Сгее Со СЬе 1оъезС-тче1фй оиС~о1пц ед~е; яее (!0) апд (П). ахеи СЬе (сЬаттдегооС) шеззаде агг1чея аС СЬе иос1е !пс1деиС Со СЬе 1оч~еяС-же1фй оиС~о1п~ ефе, СЫв поде яепдз а (соппесС, Б) лезвие ч(а СЬе 1ожеяС-~чекой опт~о!пд ед~е. ТевС1ид СЬе еддев. То йид !Ся 1оъ~еяС-ъе!фй оитдо!пз ед~е, поде р шяресСз 1Ся баятс елея оие Ъу опе !и шсгеаз1пд огдег оГ тчефЬС; яее (4). ТЬе 1оса1 зеагсЬ 1ог аи еаде епдя е!СЬег жЬеп по ефе гетпа1пя (а11 елея аге 1 о -о- 7 Е1есЕЕоп йдопйтпв ге~:с! 1г Ьтавси), зее (4), ог Мнп опе ег1р !з !с1епС!Бес! ая оцгцо!пь; ясе ',6).
Вес; ияе оЕ СЬе огс1ег 1п юЬ!сЬ р швресСь Ье едигея, ЕЕ р !с1епС!Е!ез опе . 1 е аь ооС„о1п СЫв пшьС Ье СЬе !оке. г-ъе!фй ейное оиСро!п,„Егоп1 р. То и1ьресС сс! е р яепбз а,,еяС, Ееее(„. вате,,) теьяадс Со д ап1 жагя !ог *и апяжег, жЫсЬ сап 1 е а! ге ",.сС ). ' ассерс ), ог,' СеьС, Е,, Г) теяяаде. А (ге3есС ) тсзяац" Ся зепС !зу ргосеяв д !яее (5)) .! д,п1с!я сЬаС р я Ега, пгепС пагпе, аз !и СЬе С;ьс 1пеяьа~р. о1псйея тч!сЬ д'я Ега~тепС пате; по0е а а1ьо ГС3 ССя СЬЕ ЕС1оЕ Ш С!ПЬ СаяЕ.
ОП ГЕСЕ!рС ОЕ СЬЕ (ГЕ1ЕСС) П1Еьяа Е р ГЕ)ЕССя сс1„;е рц апс! или' лея СЬе !оса1 ьеагсЬ; вее (7). ТЬе (ге1есС) теья, е 1я о л!ссес! и' сЬе ео~е рд юая )пвс,яед Ьу а а1яо Со зепи а ( СезС, Е, Е) теяза е; !и СЫя саяе л я ! еяС, Ь. Г) т-. яви яей",з аз СЬе гер1У СО р я п1еяявД, 'яее ~5). 1Е с'..е Ега тепг пагпе оЕ д с!г1сгв Егот р'я, ал ( ассерС ) теяьа е сь ьепС.
:Ь1 гасе!рг оЕ сЬ!я п1еяяаде р сегтпшаСез гся 1оса! яеагсЬ Еог опсзо!и едигея МСЬ е~!! е ро вз Ье ЬевС 1оса! сЬо1се; яее (6). ТЬс ргосеяяЬщ оЕ а (СевС, Е, Е) тевваае Ьу р 1я с1еЕеггес! !Е Ь > 1ече1„. ТЬе гевяоп !я СЬас р апс! о тау асСиа11у Ье!оп Со сЬе мгле Ега тепС, ЬцС СЬе ',1гпС1аСе, Л, Г. 5) теяяа~е Ьая поС уеС геасЬес! р. Хог!е р сои!с! еггоп~оця1у гер1у со Ч ъ.!сЬ ап (ассерС) п1еьяа~е, СогпЬ!и!пд СЬе Ега гпепСв. АЕСег СЬе 1ожеяС-ы.е! ЬС оифо1пд ес1ье оЕ а ~гаупепС г = (пате, 1еие1) Ьаь Ьееп с!еСегт!пес!, а (соппес'., 1ече1) тевяаье гь яепС чЕа Ыз ес!ге, апс! гя гесе1чес! Ъу. а пос!е Ье!опрпа Со а ЕгараепС Г' = (пате', 1еие1'). Са11 СЬе ргосезя зепй!па' СЬе (соппесС, 1ег е! ) тевяаде р длс! СЬе ргосезв гесе!ч!пя 1С д.
Кос!е о Ьая еаг11ег яепС вл (ассерС) теяваде Со р !и гер1у Со а ( СеяС, 1езе1. патпе ) тезяаяе, Ъесаияе СЬе веагсЬ Еог СЬе ЬеяС оиСдо!п~ ес1~е !и р'з Егадп1епС Ьая Сегт!паСес!. ТЬе ~ча!С!А !пСгос!исег! ЬеЕоге апяъег1пд СезС тевяаяез (зее (5)) 1тр11ея СЬаС 1еиеЕ' > 1еЫ. Ассогйпд Со СЬе сотЬ!п!по гп1ев с!!всцвяес! еаг1!ег, СЬе (соппесС, 1еие1) 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п1С1аСе, 1еюе!', пате', 5) тевваье. Саяе В: 1Е СЬе С~чо ЕгарпепСв Ьаче СЬе вате 1ече1 влс1 СЬе ЬезС оиС~ош~ еа~е оЕ ЕгарпепС Г' !в а1яо рд, а певуч ЕгаатепС !я Еогтес1, оЕ юЫсЬ СЬе 253 7.3 АтЫтагу №1шотЬ 1ече1 гя опе Ь1~Ьег апй СЬе паше !я СЬе ~че1~ЬС оЕ ефе рц; яее (2).
ТЬ!я саяе осспгв !Е СЬе С~о !ече1в аге ег!па1 апй СЬе соппесС теяваде 1я гесе!чес! ч!а, а ЪгапсЬ ефе; оЪвегче СЬаС СЬе яСаСпв ог ап ес! е Ъесогпея ЬтапсЛ 1Е а соппесС теяяаае !я яепС СЬгоы Ь !С. 1Е пе!СЬег оЕ СЬеяе Сгчо савея осспгя, Егаггтепс г тпвс ка!С ппг!! е!сЬег д вепря а (соппесС, Е) п1евва~е ог СЬе 1ече1 оЕ д'я Егадп1епС Ьав !псгеаяед впЕйс!епС!у Со пийе Саве А арр1!саЫе. СоггесСпеяя апс! согпр1ех!Су.
Ргот СЬе илеса!1ег! г!еьсг!ргюп оЕ СЬе а1- ~ог1СЬт !С яЬоп1с! Ъе с1еаг 1ЬаС СЬе ефе СЬгощЬ ~чЬ!сЬ а Егаатепг вепря а (солпесС, Ь) п1еяяаее !я !пйеед сЬе 1ожевС-ъе!дЬС опв~о!пц езде оЕ СЬе ЕгагтепС. То еСЬег ъ!СЬ Ргороя1С!оп 7.19 СЫя !тр1!еь СЬаС сЬе МЯТ!я сотрыгес! соггесС1у !Е еасЬ ЕгадтепС !пс!еег! вепря впсЬ а тевяа~е апг! 1о1пв СЬе оСЬсг ЕгадпепС., ш йевр!Се оЕ СЬе ъа!С!па !пс1псег! Ъу СЬе а1цог1СЬт.
ТЬе гпояС сотр1ех теяяаце сопса1пя опе еда жещЬС, опе 1ече! (пр Со !ода) апс! а сопвгапС пшпЪег оЕ Ъ1Ся Со !пс!!саСе тевва~е Суре апс! поде вгаге. ТЬеогепг 7.21 ТЬе Са!!адет-НитпйеС-$ргта а!допита (А!дотьйт 7.10/ 7.11/7.12) сотригев йе твйита! враппгпд Стее, ияпд аг товг 5Лт1оа Лт+ 2~Е~ тпеввадев. Ртоо!. аеас!!оса роСепС1а11у аг1вея !и в!СпаС!опя чтЬеге пос!ея ог ЕгарпепСв ппиС чта!С ппС11 яоп1е сопг!1С!оп оссшв ш апоСЬег пог!е ог ЕгадтспС. ТЬе чта!С!п~ 1пСгойпсег! Еог ( герогС, м ) теввадев оп СЬе соге ес1~е с!оев поС 1еас1 Со а йеаг!1ос!г Ъесаияе еасЬ соге поде ечепСпа11у гесе1чея герогСя Егот а11 вопя (пп1еяя СЬе йадшепС ав а тчЬо1е уча!Ся Еог влоСЬег Егав:тепС), аЕСег жЫсЬ СЬе теяяаде М11 Ъе ргосеяяес1.