Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 68
Текст из файла (страница 68)
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СЬ ргоЪаЫ11Су опе. 1Г Гог яоше 1ече1 1 СЬеге зге Й ) 1 ргосеявев СЬаС зепегаСе а Со)геп аС 1ече1 1, СЬеге и а ргоЪаЫЬСу Р» > О СЬаС ехасС1у опе ргосеяз сЬоовез СЬе ппшша1 ЫепС1Су Гог СЫя 1ече1, ш чтЫсЬ сазе СЬе а1цопСЬш СегшшаСев.
ЬеС Р Ъе СЬе ныппппш очег Й оГ Р», поч~, 11' Со)гепз аге ~епегаСей аС 1ече1 1, СЬе згг У Аиопутпоиз МеСшотЪз ргоЪаЪШСу СЬаС Сойепв иШ Ъе 8едегаСей а1зо аС 1ече1 Е+1 ж аС шовС (1- Р). СопзепиепС1у, СЬе ргоЪаЪШСу СЬьС СЬе а1вог1СЬтп Ьвв лоС СегшшаСей айег Е 1ече1в 1в Ъоидс1ей Ъу (1 — Р)', мЬЕсЬ Ьм СЬе Ьшй хего 11' Е 8оез Со 1п8пЕСу. П А ргоЪаЪйзСЕс апа1ув1з (81чеп ш 1ЖЗЦ) гечеа1в СЬаС СЬе ехресСес1 пишЪег о1 1ече1з ж Ъоши$ей Ъу е.,Еч'(Ю,— 1). ТЬе ехрессей дишЪег о1 шевварз рет 1ече1 ж Ъоипйес1 Ъу 0(Х1о8У) (СЫв ж вЬочгп Ъу ап агхишедС вЬп11аг Со СЬе опе изей л ТЬеогеш 7.6), МисЬ ЬдрЬез СЬаС СЬе ехресСей сошр1ех1Су оГ СЬе а18отЕСЬш ж 0(Х1о8Ф) шевва8ев.
АгЪ1Сгагу пеСччог1св. 11в1п8 чету в1ш11ат Ыем, ап а1вог1СЬш сап Ъе в1чеп 1от е1есС1од ш агЫСтату пе~лчог1ж. ТЬе а18опС1ип ж Ъмей оп А18ог1СЬш 7.9 гаСЬет СЬап оп СЬе СЬап8-В,оЪегСв а18ог1С1ып. А ргосевв "ж1пз" ш а 1ече1 оГ СЫв а18от1СЬш И 1С Ьаз 1шС1аСес1 СЬе есЬо а18опИыд апй тесе1чев ап есЬо 6от з11 пе1КЬЪогз. Аз ш СЬе 1Са$-КойеЬ а1вопСЬш СЬж 1в поС а зийс1епС сопйС1оп 1от Ъесопид8 1еайет, Ъесаиве 1С Ев ровв1Ъ1е СЬаС вечега1 ргосезвев члСЬ СЬе ваше ЫепС1Су Ьаче ииС1аСес1 ап е1есС1оп. То с1еСесС СЫз, СЬе в1ве оГ СЬе Стее содзСтисСес1 Ъу СЬе есЬо в18от1йлп и сошриСей м ш А18ог1СЬш 9.1; 11' СЬеге аге вечега1 1п1С1аСогв тч1СЬ СЬе ваше МепС1Су, еасЬ о1 СЬе есЬо ш'чосаС1опз сопвСгисСз а Сгее сопСаш1п8 оп1у а виЪзеС ог СЬе ргосеввев.
реп а ргосевв сошр1еСез СЬе есЬо а18огИап (Ьу гесе1ч1п8 ап. есЬо антош ечегу пещЬЪог) 1С 1спотчз СЬе в1зе оС СЬе Сгее 1С Ьм 8епегаСей. Н СЫз иве еииа1в Ф, СЬе ргосевв Ъесошев е1есСей; оСЬегжже, СЬе есЬо а18ог1СЬш ж 1дЖаСес1 аС а Ы8Ьег 1ече1. ТЬе гези1С1пх а18огЕС1ип и рагС1а11у соггесС апй СегшшаСев ъйЬ ргоЪаЪ11- 1Су опе; 1Св сошр1еСе йевсг1рС1оп 1в Ьипс1 ш [Те194).
ОСЬег а18ог1СЬшз Гог е1есС1оп ате Гоши1 ш 18889), ЕМА89). 9.4 СошриС1пЕ, СЬе ХеФщог1с Ез1зе Уаг1оив гези1Сз ш СЫв сЬарсег Ьаче шйсаСей СЬе 1шрогСапсе оГ 1спсм1ей8е оГ СЬе пейчог1г зие. 1п СЫв весС1оп СЬе ргоЫеш оС' сошриСпщ СЬе в1зе оГ зп апопушоив г1п8 мгШ Ъе сопви1егЫ. ТЬе гищ в1зе сап Ъе сошриСес1 оп1у Ъу а шевва8е-СеппшаСищ а18ог1СЬш алй ч~1СЬ а под-вето ргоЪаЪШСу оС' аптчш8 аС а втоп8 апвъег. Я. Е.1 ИедаСте Вевийв ТЬж виЪзесС1оп содСапж Мо Ьпровв1ЪШСу геви1Св содсепппВ сошриСаС1оп оГСЬе гш8 вие.
ТЬе ргоой цве СЬе и1еа ш СЬе ргооГо1'ТЬеогеш 9.8, паше1у, .~ Сотприйпу |Ье Ме|шойс Зие З2З ТЬеогеш 9.12 ТЬете еизМ по ртосезз-геттпгпаИпу а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 вециепсев то тЬе ргосеязев оЕ |Ыв пппб ч61Ь йе Ео11опч1пд ргорегФу. ТЬе 6гзт, х, Ъйв оЕ р', ате ФЬе ваше м |Ье 6гв| Ь Ъйз оЕ рр. ТЬе 6гвФ.Е Ъйз оЕр', Еог | < К, ахе ФЬе ваше ая |Ье 6хзт Е Ъйз оЕ о„|чЬеге д 1в |Ье ИЬ апМс1осЫилве пефЬЪот оЕ р ш ФЬе Ю гшд. реп а зецшетй оЕ 1епфЬ К + 1 1з 6хес1, |Ье ртоЪаЪйту оЕ висЬ ал мз1дпшепФ 1з чету зша11, паше1у> 2 |~т+Пт.
ТЬете ехЫз а р'-сошри|аФ1оп С оЕ А оп |Ье 1агяег гшд 1п |чЫсЬ ргосезз р, зепй ехасг1у |Ье ваше шеяяаяев |чЫЬ ~гасез оЕ 1епфЬ < К + 1 — | м |Ье йЬ ый1с1ос1лляе пе1|гЬЪог оЕ р ш Ср~. ТЫв 1в ргочес1 ехаст1у м ш ТЬеогеш 9.8. В Ев вееп йат Еог влу 6хей яецше~й оЕ 1епфЬ К + 1 $Ьеге 1з а ргоЪаЪ1Ву оЕ а$ 1емй 2 <х+ц|' |Ьаг ~Ье ргосеявез ш |Ье яецшепй гер1ау сошри$абоп Ср~, ш |чЫсЬ саве ргосевв ро Фегш1паФез М1Ь тезий = Ф, |чЫсЬ ж шсопес$. ТЬе ргоЪаЪШ~у тЬМ тЫв оссигя оп опе 6хей мршеп~ 1я ехггеше1у зша11; Ъи1 Ъу пийш|я ФЬе г1па вйе чету 1зхде СЬе ргоЪаЪ11йу тЬай Ы Ьаррепя воше|чЬеге оп гЬе г1пд сзл Ъе пийе агЫгагу 1зхде.
1 ее а ргоЪаЪ|1йу т ) О Ъе 1пчеп. СЬоозе а па1иха1 |шшЪег В висЬ йа$ (1 — 2 |х+ц т')" < т зЫ сопвЫег а гша оЕ в1ве В(К+1). ТЫя г1пд Ьм В йз)опт яерм~йв оЕ 1епфЬ К+1, аЫ Еог еасЬ оЕ тЬеяе зеу;шептав ФЬе ргоЪаЪ|Ь|у 1з ай шовФ 1-2 ||т+ц.т' йай йз 1мт, ргосевв сашю1 тегшшаФе |чу ап шсоггест, апяюег. 1Ф Ео11о|чв $Ьаг $Ье ргоЪаЪй$у 1Ьа1 по ргосезз сап ~епп1па~е ~ЮЬ ап, шсоггес~ апяч~ег 1з зша11ег тЬап т, П йЬе гер1ау оЕ а рчеп (ргевишаЫу соггесй) сошритат1оп |и сИГегепт, рзхйз оЕ а 1ащет жщ. Рот ртоЪаЪйзЫс а1~от|ФЬтпз й п|изФ Ъе йепюизста$ей |Ьа| зисЬ а гер1ау Ьм а поп-зего ргоЪаЪЖФу, ЪиФ тЫз Ео11ожи Его|и |Ье Еасоф |Ьа| ш а 6шФе ехесиМоп а ргосевз изез оп1у а 6пйе ртейх оЕ Ыз зеоиепсе оГ гзЫош Ъ1тв.
324 У Апопутпоза МегшогЬ Бз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допйш.
ТЬеогетп 9.13 ТЬеге ехьйз по тезааде4етттаИпд а1дог|Мт ~от сотпри$- жд йе г|пд вые йа3 и соттес3 ипМ ргооаЫ|тр оне. Ргоо~. Аззише А 1з а ргоЬаЬИ1вбс а1 рт1Йш ФЬЮ Ьзв а р-сошри1абоп См оп |Ье г1пх оГ в1ке Ф, |чЫсЬ шемахе-1етшшаФез ~ИЬ гевийр —— Ф Гог ноше р. ЕасЬ ргосезз ехеси1ез оп1у 6ш1е1у п|апу мерз ш См, 1ет Х Ье ~Ье 1агды1 пишЬет о1 згерз ехеси1к1 Ьу апу ргосезв |и сошри~аФ1оп С|ч. ХишЬег гЬе ргосеыез оГ ~Ье в1зе-Х тшК м ро ЙгоицЬ рм-|. Хомич сопвЫег а з1ге-2Х гшд оГ |чЬ1сЬ гЬе ргосеввез ате пишЬегей в~ Йтои6Ь Ьм-| ап|1 ап мв1рнаеп$ р' оГ Ь1ЬЫпр зисЬ Йа1 $Ье 6гвФ |, Ъ1гз о1' р', ап|1 р,' „аге йе ваше аз ФЬе йтв~ Е ЬЫв оГ р„, аког аН | ( Ф. А р'- соп~ригаМоп оГ А оп гЬе з1зе-2М гцщ 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з 2 'чт', жЫсЬ 1з роз1|1че аги1 зЬоъз гЬаг А йоез пот сошриге йщ в1зеи соггес|1у |ч1|Ь ргоЬаЬИ1~у 1агхег ГЬап 1 — 2 ~чт'. 0 ТЬе с11Еегепсе ш гЬе ргоЬаЬ1Ьг1ев |чЫЬ ~чЫсЬ ртосыв- от шеззаае-1етш1паг1п~ а1~от1гЬшз сап Ье соггест сзл Ье ехр1а1пес1 шГогшаИу м ГоИояз.
А ртосезз-гепшпаЫп~ а1вопй|п в1чез зл шсоггес~ гезий И сегФаш ип1ис1гу гзл|1ош сЬо1сез аге шас1е 8отпеиАеге ш йе гшд. Ву па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е ече77ийеге ш гЬе пщ. АМюифь Й1з сап печет Ье ехс1иг1ес1, ~Ье ргоЬаЬИ1|у йаг Й1в Ьаррепв 1в Ъоипг1е$, ахи ш тас1 г1есгеавев треп ФЬе т1пц з1зе Ьесошы 1агке. СотприЬьпу йе Хетшог)с Яыз 325 (1) А 1о1сеп и тесней йаг сотйагпз ап езтлтпаЬе ззс ипй езФ > езгр.
Аз 11 и епзвгес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в с11вегепс 1гош р апс1 Ьевсе Ю ф езг. А со1сеп тчИЬ язв < ез$ 1в рвгяес1 (1.е, 1ся ргора~ас1ов 1з аЬогсес1); вее А1~ог10ып 9.5.
з еишж 9.14 ТЪе а1уотъйтп тпеззауе-$еттпта$ез <фет ехсйапрпу О(№) тпеззауез. 1п йе 1етттипа1 сопруитасгоп аИ ез$р ате еуиа1, ать йей сатптпол за!ие и боишЫ 6у У, йе., ~от ад р апй у, ез1„= езЦ < .У. 9.4.3 Ап А1дотЫЬтп $о СотпрЫе йе Яжд Яие ТЫз явЬвесс1оп ргемт4в а пиите-Мгшша1шц МоМе Саг1о а1~ог1йш йг сошрн1шд йе гищ я1яе. В мчБ Ъе яЬощв се жЬев йе а1дог1ФЬгв Фегпыпа1ев, ей = М Гог а11 р мчФЬ а ргоЬаЬШФу йас сав Ъе шас1е агЬ1сгаг11у 1агце Ьу сЬоов1гщ а рагашесег Я оГ сЬе афогЖыв. ТЬе а1догМыв и яшй1аг 1о йе а1догЫЬш в1~теп Ьу Иа1 апс1 Вос1еЬ [Ж81!, Ьвс з1щЬФ1у ашрЬвес1.
Ргосевз р шапйа1вв а 1оса1 езсттпа$е, ез$„, оГ сЬе гша вые, Гог ттЫсЬ Ы 1я двагыйеес1 сЬаФ а$ апу вше й1я мбшасе 1з соввегчас1че, 1.е., ззс < М. 1п11!а11у язв„= 2. ЖЬепечег р гесеЬтев ийогша11ов 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ттеи а вппИаг 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еФесФес1 а1сЬ ЬщЬ ргоЬаЫЬсу; еасЬ ргосем сЬоозев а гавс1ош 1аЬе1 Ггош (1, ..., Я) авс1 шс1вс1м 11 1п ФЬе Фо1сев.