Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 50
Текст из файла (страница 50)
7.3 АтЬИтату ЖегшотЬ 24! Р!8иге 7.8 Л совн цтлт~ои жггн .г~чо ылоккя. Ртоо~. ТЬе й(М1о~М) Гегш !в а !ожег Ьоипй Ьесаияе агЬ!ггьгу пеглчогЫ !пс!ис1е г!пав, Еог жЬ!сЬ ап й(К1ое Ю) 1ожег Ьоипс! Ьо1с1в. То вее гЬаг ~Е~ шеяяа~ез !в а 1ожег Ьоипй, ечеп 1и гЬе Ьев1 оГ а11 согпригаг1опя, аввише 1Ьаг, ап е1есг!оп а!~ог11Ьт А Ьая а сошри1аМоп С оп пеглчог1 С !и лчЬ!сЬ !ежег гЬап ~Е~ тпеяяаяея аге ехсЬапяей; яее Г1яиге 7.8. Сопяггис: а пеглчогМ Г Ьу соппес6п~ ~жо сор!ея оГ С ж!гЬ опе ес!це Ье1жееп пог!ея !пзеггес! оп ап ег1~е гЬаг 1я по1 изег! 1п С.
ТЬе ЫепгЖез 1и Ъо1Ь раггз оГ гЬе пе1ъог1с Ьаче гЬе ваше ге1аг1че огйег ая 1и С. Согпригаг!оп С сап Ье в1ши1агег! в!ши1~апеоиз!у 1и ЬогЬ рагнов оГ С', у!е1йп~ а согпри~айоп !п жЬ!сй гжо ргосеяяея Ьесоте е1есгес!. П СогоНагу 7.16 А Ыесепйа!Ыей шаие а!уогйЬт ~от атбйтоту тьегшот!гз илйои1 пещЬ5от !гпо'ш!ег!зе Ьав а тпеввауе сотр!входу о~ а1 !еаза Й(~Е~ + Х 1о~ Х).
7.3.1 Ехйисйоа апг! а Раз1 А!дотъУлп Ап а1~ог1гЬш !ог 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у опе жале ж111 гип 1о а бес!в!оп, пагпе!у, ФЬе жаче о1 1Ье зта!!ей !пЖа1ог.
А11 огЬег жачев ж111 Ье аЬог~ес! Ье1оге а бес!я!оп сап Фа!се р1асе. Рог а жаче а1~ог1йгп А, ~Ье е1есйоп а1~огйЬш Ех(А) 1в ая 1о11ожз, ЕасЬ ргосезз !з арче ш аФ шова опе жаче а1 а Фнше; гЬ!я жаче 1в Йя ситтепйу асйзе шаче, Йепогед саш, жЫЬ !пав!а! ча1ие иг!е~ 1пЖа~огз о!' гЬе е1есбоп ас1 аз 1г ФЬеу !пМа~е а жаче апс1 яе1 сам Фо 1Ье1г ожп ЫепЫу. 1Г а шеяваце оГ зоше жаче, зау СЬе жаче шЖа~ей Ьу д, агггчея а~ р, р ргосеязея СЬе шезваде 7 ЮссГГсп АЦатГйтв : 'Р цпс»ег : р : 1п~евег : р 1л1г 'ЫсГ; 1п11 ", 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 вйагс.,:=- 1сайсг е1ве вГабер .— — 1оаС А1аог1СЬгл 7.9 Ехтъст~ок ~ррыкэ то тнк кено Аг.сомтнм. ая Го11ожз. Н д > саар, СЬе тевваде 1я з1шр1у 1кпогей, ейесСте1у саызшк а'з ч~ат е со Са11. Н д = сашр, СЬе гпевяаде 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п д), а щ11 Ье е1есСей. Н СЬе ~чаче а1копСЬпь 7.3 АтЫтптч, М гчцаткв 1в яисЬ гЬа~ гЬе ЛесЫег 1я пог песеяяаг11у есчиа1 го сЬе 1пйьчог,:Ье йесЫег 1пГоггпз йЬе 1пЖаФог ч1а йе ярапшщ ггее ая себиеб 1и Ьепппа 6,3. ТЬ1я гачев аг шова Л вЂ” 1 чпеязь|ез; чче 1япоге гЬеяе 1п:Ье пехг "Ьеогеш. 'ХЬеогепч 7.17 чГ А чя а сечч~тайлеЫ шаие а1дотч9т ивччд М чччеявадев рет шаие, йе ачдотЖчта Ех(А) е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оея поч Ъесогпе 1еайег. 1Г р ф' рв 1з ап 1п1Иа~ог, ь ччаче чч1~Ь Ыепчпу р чч1П Ъе вгагФес1 Ъич а ч1ес1в1очч Гп чЬ1в ччаче 1я ргесес1ео Ъу ь яепд ечепг (Гог ч1ия ~аче) Ъу рц, ог ~а1сез р1асе 1п рв (Ьешша 6.4). Ая ра печег ехесичез а яепс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е ая гЬе 11ше сошр1ехйу оГ 4, Ъич ш воше ип1ис1чу сазев 1г, п1ьу оссиг 1Ьач ~Ье 1пЖайог ччЫЬ ягпаПея~ ЫепЮу я1агй Йз ччаче чегу 1а$е.
1п 1Ье ~епегь1 саяе а 11ше сошр1ех1'у оГ 0(Ф.~) сап Ъе яЬоччп (ччЬеге . '1я чЬе цше сошр1ехйу оГ:Ье ччаче а1дог1~Ьп'). Ъесаияе ччйЬ1п 1 г1ше ишаев айег 1ш11ачог р в~аг~в Йз ччаче, р'з ччаче Йес1оея ог апогЬег ччаче 1з зчьггей. 1Г ехИпс1юп 1з арр11ей $о чЬе гиц а1 ог1гЬш, ~Ье СЬап -КоЪегчя ь!~ог1ФЬгп 1я оЫь1пед; зее Ехегс1яе 7.9. А1~огйЬш 7.9 гачев гЬе е1есйоп а1догйЬш оЫа1пес1 Ггош 1Ье есЬо ь1~ог1йш. То ишр11Гу ФЬе с1еясг1рйоп 1г 1я аязчипей ФЬа~ ичГе~ > а Гог аП а е 7.
'ч''ч"Ьеп ехаш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пя ~Ьеш 1о ',егш1паге чЬе а1~ог1$Ьш. 7 Е1есбоп А1ропУпти 7.3.2 Тйе Сайадет — НитпЫгг-Яртта А1дотйЬт ТЬе е'.есг!оп ргоЫеш ш агЪ!!гагу пег~гогЬ !я с1ояе1у ге1ьгес! ~о;Ье ргоЫет . !' с~ шриг!и ь ярьпп!п~ ггсе:л йЬ я с!е.еп~га!!яег! ь1догй!пп, м 1Ье 1о11оМп~ лг;~ шеп! ге"еа.' . ' ! С' Ъе 1.ешсяв, 'есошр1ех.'".уоГгЬее1есс!»- гоИеш, ьпг! Ст ~Ье соп!р!ех!гу о1 с .»прпг!ид а ярапп!и 1гес. ТЬеогеш 7.2 ипр11ев гп.1 Ся ( Ст + 0(Ю), апи .' .
айаг !в З~.а!?пЬ10, ь,лрисп!пя тгее сап Ъе " ~п-~стой Мй 2~Е! гпеяяьоея ' !сЬ гЬе е Ьо !»»ог!г.'~гп, «ЫсЬ:шр1!ея ~Ы Гг 5 Ся -~- 2~Е~. ТЬе !о«гег Ъ т ..Ы оп С'я ',Т:.еогеш 7 .5) !напр!!ея гЬас гЬе г~ ргоЫеп.в аге оГ !Ье яаш ог»!с г оГ гпь и!!ис1е, папи 1у, гЬаг гЬеу гег!и!ге сг !ел:,'. Г(Л!о Ю+Е) шея иг я. Т?пя яиЪяес~!оп ргеяептя .Ь~:ь1!аваев-НишЪ1е;-5р!гь (СНБ) а!дог!Йш кг согпри:!пс ь,ш!и!ша1) в мпп!п 'гее ив!пц 2~Е~ + 5%!о~У теяяаяея.
Т'.ия яЬожв '.?а: С; ьпс! Ст ьге 0(Г !оя К вЂ” ' Е). Т1ия а!дог!йЬ~п;чм риЪЬвЬе»! !и !СНЯ83!. ТЬе а1~ог!! Ьш сьп Ъе ем!!у шог!!Бес! (м М11 Ъе !и:!!сьйес! ьг гЬе епй оГ гЫя яиЪяесг!оп! ~о е1ес~ а !еас!ег !и гЬе соигяе о1 а сотри1а- ~!оп, яо гЬа1 а веряга~е е1ес;!оп ая !пг!!савей !и гЬе аЪоъе агдишепГ, 1в по!, песеяяь»гу. ТЬе СЧБ а!~ог!тЬш ге11ея оп ~1~е !о11оъ1п~ мяишр1?опв. (1) ЕасЬ ес1яе е Ьая г ипсне ие!гЬт, ~(е).
1с М11 Ъе мвишей Ьеге гЬа1 ы(е) !я а геа1 пишЪег, Ъиг пйе~егв аге а!яо рояя!Ые ья ей е ~е1~йя. 1!' ипщие ефе ъе1в;Ыв аге по1 ьча!1ьЫе а рПоП, еасЬ ес1„е сап Ъе рчеп а ю«е!цЬг $1~яг !я !огшес1 1гош ~Ье !с)епг!Мея оГ гЬе пос1ея соппес~ей Ъу ~Ье ег1~е, гЬе вшь11ег о!' 1Ье Фжо йгв1. СошриМп~ ~Ье ельце тчефИ гЬия геои!гев ~Ьаг, а пос1е 1гпоъв ~Ье !г1епИМея оГ !гя пе1~ЬЪогя, т~ЫсЬ совая ап асЫп!опа! 2!Е! шеяяа~ея !и йЬе шй!ь1!яайюп рЬме оЕ гЬе ь1~ог!Ипп.
(2) А11 пойез гЬощЬ !и!г!ь11у яя1еер агя1геп Ъе1оге гЬеу варяг~ гЬе ехеси6оп оГ 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п Т, апг! Т !в саПей а тпгтптаЕ .~раппгпд аггее, ог МЯТ, (яотпег!шев ш!и!ша1-же!АЛЬФ ярапп!пд аггее) !1' по аггее Ьм а яша11ег юе1~Ы ~Ььп Т.
1~ ?я авяишей ш 1Ыя зиЪяесФюп 1Ьа1 еасп ес1~е Ьая а ипщие ~че1~Ьг„Ье., г!!Кегеп1 елея Ьаче Ййегеп1 жефЫя, апй 7.3 АтЬИтатд МеГшотЕгв 245 !С !я а ие11-1гпоъп ЕасС СЬаС !и С?ия сазе СЬеге !з а ипщие гп!и!ша? зрапп!пК Сгее. Ргоров?С?оп 7.?8 17 ий еЫде шегдйа ате ЙДетеп~, йете Ея оп1д огге МБТ. Ртио~. Аяяигпе, Со СЬе соыСгагу, СЬаС ЪоСЬ Т~ апс? Т, (ъЬеге Т ф Т>) аге шш!гпа1 яралпиц Сгеев. 1еС е Ье СЬе 1ожеяС-ъе!рЬС ес?~е СЬаС !я ш опе оЕ С?м Сгеея, Ьиг поС !и ЬоСЬ; висЬ ап ег?~е ех1вгя Ьесаияе Т~ ~ Тз. Авзите, МС1)оиС 1ояв оЕ депега1!ьу, СЬаС е ?я !и Т~ ЬиС поС !п Т~.