Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 38
Текст из файла (страница 38)
Яасй сотритаттап 1з ~пгте: ЧС: (С~ с оо. (2) Пес1в1оп. Еасй сатпри1атГап соп1атпз а1 Маза опе аесттЕе еиеп1: 179 юС: Зе е С: е Ез а ттесЫе еиепт. (3) '0ерепдепсе Гп еас6 сотпри1иЬоп еасоф сКесйе еъепг 1з саизаИу ртесейетГ 5р ап с"'еп1 Еп лсЛ ртасезз: ЧС: Че Е С (е тз а йстгГе еиепт =~ 1д е Р 3~ Е С,: т -~ е). (1) Сеп1таЬгайоп. Ап а1дог1тЬтп 1я са11ей сепЕтаГиетЕ 1Е ФЬеге шпв1 Ье екас11у опе ш1т1атог 1п еасЬ сотприса6оп, апй НесепттайзеЫ 1Е йЬе а1~ог1гЬтп сап Ье втаг~ес1 вроптапеопя1у Ъу ап агЬйгагу я1тЬяе+ оЕ ~Ье ргосеввев. Септга1жей а1догйЬшя вге а1во са11ей зта1е-зоитсе а1- дог1Ишж, апд йесеп~га1лей а1догйЬтпя аге са11ед тпийг'-заитсе а1дог1ФЬтпя.
Септга1йат1оп Ьав ап 1шрогСапФ 1пГ1пепсе оп тЬе согпр1ех1Су оЕ жаче а1~ог1тЬтв, ав сап Ье вееп Ггогп ТаЫе 6.20. (2) Торо1оау. Ап а1 ог1йтп тпау Ье йея1~пей Гог а ярес1йс 1оро1о1,у, зттсЬ ая а г1щ, атее, с1щпе, е1с.; яее БпЬвесбоп 2А.1 апй Весйоп В.2. (3) ЬиЕта1 Кпота1еНде. Ап а)дог1тЬтп тпау азяме тЬе ача11аЫЬту оГ чаг1оття ~урез оЕ 1п1Ма1 Йпочт1ефе ш тЬе ргосеязез; вее ЯпЬяесМоп 2 4.4. Ехашр1ея оГ ргегес1п1гей йьоъ1ес1де шс1пде тЬе Ео11оМпд: (а) Ртосезз Ыепй.'у. ЕасЬ ргосеяв шй1а11у 1гпоня йв осчп ппире патпе, А соп1рптайоп оГ а .~аче а1~огйЬтп 1я са11ег1 а 1ааае.
Ая ап аг1Ы1опа! потаг1оп, 1п а сошрптаиотт оГ ап а!цогйЬтп а йят1пс11оп 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чей 1п ФЬе а1 огйЬтп оп1у чЬеп а тпевяа~е оГ тЬе а!яог1Мип атг1чея апй гг1цдегв гЬе ехеспИоп оГ ФЬе ргосевв а1~огЖпп. ТЬе йгят ечепт оЕ ап 1пЖагот 1ь ап 11птегпа1 ог вепд ечепт, вЬе йгвт ечепт оГ а поп-1т116атог 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яо ТаЫе о.19. б '..йпй~оа апН Уве о/ Юаие А1допйтв 1егпгпа 6.2 Рот еасЬ виспа е Е С йете епвСв ап югСгаСот р апй ап еиепС ~ Й~ С, вис1 йаС ~ -с е. Ртоа~, СЬоояе 1ог ~ а ш1шша1 е1ешепС 1и гЬе ЫзСогу о1 е, 1.е., ~ ~ е апс1 СЬеге 1я по ечепС ~' ~ 1'. ЯпсЬ ап ~ ех1яСз Ьесапяе СЬе ЫяСогу оГ еасЬ ечепС 1в йп1Се. 1С гета1пз Со вЬо~ч СЬаС СЬе ргосеяя, р, иЬеге Г" Са1сез р1асе 1в ап 1п111аСог.
Г1гяС, поСе СЬаС ~ 1я СЬе йгяС ечепС оГ р, оСЬегМве СЬе еаг11ег ечепСв оГ р ~чоп1й ргесес1е Г. ТЬе йгзС ечепС ог а поп-1шС1аСог 1я а гесе1че ечепС. ъЫсЬ ~чоп1й Ье ргесес1ес1 Ъу СЬе соггеяропс11п зепи ечепС, сопСгас11сС1п СЬе ш1п1ша11Су оГ ~. Непсе р 1я ап 1п1С1асог. П А иаче ~ч1СЬ опе 1шС1аСог с1ейпея а ярапп1п~ Сгее оГ СЬе пег~чог1с ъ Ьеп Гог еасЬ поп-1пЖасог СЬе сЬаппе1 1я яе1есСес1 СЬгощЬ ~чЫсЬ сйе йгяС теяяаяе 1я гесе1чес1.
Х егпгпа 6,3 .1 еФ С Ье а шаве шгй опе пиССагот р аль, ~от еасЬ поп-ьпгИаСот д, 1еС ~айет йе йе пеьдЬЬот о~у 1тотп и;йгсй д гесегиес1 а тпеввауе 1п Йз 5твС еиепС. Тлел йе угара Т = (Р, Ет), май Ет — — (ут: ц ф р Л т = ~айет,) и а враппйу Стее ЫгтесСеа Со шатов р. Ртоо~.
Ая СЬе пшпЪег оГ пос1ея оГ Т ехсеес1я СЬе ппгпЬег оЕ ес1дея Ъу опе 1С япйсез Со зЬою СЬаС Т сопСа1пв по сус1е. ТЫз 1о11оия Ьесапзе, МСЬ ец СЬе йгвС ечепС 'ш ц, цт Е Ет 1гпр11ея е, -< е„апс1 -~ 1я а рагС1а1 огс1ег. П ТЬе еъепС ~ ш СЬе СЫгй с1апяе о1 Эейп1С1оп 6.1 сап Ье сЬояеп Со Ье а яепс1 ечепС Гог а11 д оСЬег СЬап СЬе ргосеяя ч:Ьеге СЬе Ыес1с1е ечепС Са1сея р1асе. Ьегпгпа 6.4 ЬеС С йе а шаие апИ с1„Е С а с1есЫе еиепС ш ртосевв р. ТЛел Чд у~ р: 3~ б С,: (~ -< с1р Л Г" м а вепс1 еиепС). Ртоо~ Аз С 1в а тчаче СЬеге ех1яСв ап ~ Е Св СЬаС сапяаИу ргесес1ея ~„; сЬоояе г Со Ье СЬе 1авС ечепС оГ С, СЬаС ргесес1ез И .
То вЬою СЬаС г 1я а зепо ечепС, оЬвегче СЬаС СЬе с1ейшС1оп оГ сапва11Су (Вейп1С1оп 2.20) 1гпрЬев СЬаС СЬеге ех1яСз а яес1пепсе (сапза11Су сЬа1п) ~=ео, е~, ..., е~ -— с1р, япсЬ СЬаС аког еасЬ ~ ( 1с, е; апс1 е;+~ аге е1СЬег сопяесыС1че ечепСз 1п СЬе ваше ргосеяв ог а соггевропс11пд вепре — гесе1че ра1г. Ая ~ 1з СЬе 1аяС ечепС 1п о СЬаС ргесес1ев ~„, е~ осспгя 1п а ргосеяя с11йегепС ггот д, Ьепсе г 1я а зеис1 ечепС. П 182 б И'ате апН Ттаиетза1 А1уот1йтпз Р1~иге 6.1 1~яяаг1о~ оГ а ~аосязз !~го ~~ п~сяяп сн~~~вг,.
1.о~чег Ъоипс1в оп ~Ье сстпр1ехйу оГ чихачев. 1.егпп1а 6.4 1гпшейа1е1у ппр11ев * 1о~чег Ъоппс! оГ Л- оп гЬе пшпЪег оГ гпевяадев 'Ьа~ аге ехсЬапвеа Ы а юаче. П а десне ечепг ассов 1п гЬе оп1у 1пЖагог оГ а ~чаче ~.,чЬ1сЬ 1в а1ч:аув ~Ье саве !и а ггаъегва! а!вогйЬт) 1Ье Ъоипй !в Ф теяяадея, апс1 враче а1~ог!гЬгпв Гог агЪйгагу ае~тчог1я иве а~ !еаза )Е~ п~евяадев.
Ртоо~, Ву 1епппа 6.2 еасЬ чепэ 1п С !в ргесес1ес! Ъу ап ечепй 1п р апг! ив1пц а сааза!!гу яес!иепсе висЬ ая ~Ьа~ 1п гЬе ргоо1 оГ 1.егпгпа 6.4 й !я еая1!у яЬоъ п гЬа1 а$ 1еаяг, опе зепи ечепг, осспгя 1и р. Ву 1.епцпа 6.4 а вепй ечеп1 а1во оссигв 1п еасЬ о1Ьег ргосевя, ъЬ1сЬ Ъг!пдв 1Ье пшпЪег о!' яепс! ечеп~я го Х. П ТЬеогегп 6.6 Ье| А бе а шаюе а1уотчгЬтп ~от атЫхату пегшотЬ шгГЬоиГ гпЖа! 1;пош1еаде о~1Ье пещЬЬотз' ЫепМьез.
ТЬеп А ехсЬапуез аг 1еай ~Е~ тпеззауез гп еасЬ сотири1а6оп. Ртоо~. Льзигпе А Ьав а согпрп акоп С 1и ъ.Ь!сЬ 1езв гЬвл ~Е~ гпезяабев аге ехсЬапдей; гЬеге !я а сЬаппе1, вау хр, ~Ьа~ сыт1ея по гпевва~е 1п С; вее Раве 6.1. СопяЫег пегжогМ С' оЪгашес! Ъу 1пяегг1п6 опе поде з оп ~Ье сЬаппе1 Ъе~иееп х апс! р. Ая ~Ье пойев Ьаче по ЫоМефе о1 йе пе!вЬЪогв' ЫепМФу, 1Ье 1шЫа! яСа1е оГ х апг! р 1п С' !в ЫепЫса! ~о 1Ье !и!С1а! я1аФе 1и С. ТЬе загпе Ьо1дв ог сошяе !ог а11 о1Ьег пос1ея о!' С. Сопвес!пепи!у аБ ечепгз оГ С сап Ъе арр1!ес1, !и гЬе загпе огйег, вгагг!пд Ггогп ш гЬе !пса! сопйдигайоп о! С', ЪиФ поъ.
1Ье ИесЫе ечеп~ !з по1 ргеседег! Ьу ап ечепФ !и г. П 1и СЬар1ег 7 а Ъейгег 1о~чег Ъоипй чьей Ъе ргочей оп ~Ье гпевяаае сотр1ехйу ог йесетйтаЬхейюаче а!дог!гЬгпв гог г1пр апй агЪЫгагу пеФ~чогй М1Ьоиг, пефЬЪог 1спо~ч1ефе; зее Сого11аг1ея 7.14 апй 7.16. ТЬеогегп 6.5 7е1 С бе а шиве ива опе тйга1от р, зисЬ Йа1 а йсЫг еюеп1 Нр осситз т р.
ТЬеп а1!еазг.'Ч тпеззадез ате ехсЬапуей гп С. бЛ исоа апН Уяе оЕ И~аве А1уопИтв 6.1.3 Рторадайоп о~ 1пЕоттиаБоп шт',Уь РеегйисЕг, 1п Й1з зиЪзес11оп 11 чтП1 Ье яЬоъчп ьЬаь ъчаъе а16огпЬгпь аге ргес1яе1у гЬс а16ог1~Ьгпя опе пеес1я ъчЬеп яогпе 1пЕоггпаг1оп пшяг Ье Ьгоадсмг го аП ргосеыея апд сегга1п ргосеввев пшя1 гесегче а побЬсв 11оп оЕ ъчЬеп йе Ьгоаас~в-. гв сотпр1еге. ТЫв гщшгегпепг, 1ог гЬе ргора~аг1оп оЕ 1пЕог~паг1оп ъч1гЬ ЕееоЬас1г (Р1Р) 1в ъЬе Ео1!оъч1п~ ргоЫегп (Яе683).
А яцЬвег оЕ ргосеяяея 1з Еоггпеа Ьу гЬозе гЬаг Ьаъе а гпеяваде М (аП оЕ гЬеяе Ьаче гЬе вате гпеяваде), .ч1исй пшвг Ье Ьгоас1смг, 1.е., аП ргосеяьея пшяг гесе1ъе апг1 ассер1 М. Сег а1п ргосеыев пшяг Ье поС4егЕ оЕ Геггп1паГ1оп оЕ 'Ье Ьгоадсаят,: ГЬаг 1я, йеу пия". ехссиге а ярес1а1 поЩ ечепг. МЙ гЬе гес1шгегпепФ гЬаг а погод ечепг пгау Ье ехеси1ег1 оп1у ъчЬеп а11 ргосеявев Ьаче а1геайу ге е1чес1 "Ье гпеяяаде Ы ТЬе а1дог1гЬгп пшят, изе йп1ге1у пипу гпевяа~ез. Хог16саг1оп Ьу йе Р1Р а1 ог1ГЬгп 1я сопя1г(егес1 м а ЫесгЫе ечепг.
ТЬеогепг 6.7 Еоегу РГР а1уотИЛтп Ея а !вазе пЕуотъГЬт. Ргоо~. 1ег Р Ье а Р1г а1аог1гЬгп. 1г 1я гецШгег1:Ьаг еасЬ сотпригаг1оп о1' т1з Йп11е апг1 1ЬаХ 1п еасЬ согпрпгаг1оп а поЫсьг1оп ечепг (НесЫе) осспгя 1Е 1п яогпе сопгрига6оп оЕ Р а погЖсаЫоп г1 оссигя гЬаг 1я по~ ргесег(е6 Ьъ апу ечепг 1п а ргосевв ц, ГЬеп Ъу Тпеогеш 2.21 апс1 Раст 2.23 ап ехесцГ1оп оЕ Р ех1вся ш ъчЫсЬ тЬе пог16саг1оп оссигв беглове д Ьая ассергед апу и еяяаяе, ъчЫсЬ сопГгайсгя ъЬе гес1Ыге~пепГв.
П Же пшяг Ьеаг Еп гп1пг1 йаГ ТЬеогет 2.21 оп1у Ьо1г1в 1ог вув~еп в ъч1й аяупсЬгопоия теязаце раяя1пд; яее Ехегс1ве 6.1. ТЬеогегп 6.6 Епету шапе а1уоп0пп сап ое етпр1оуегЕ ая а Р1Г а1уотг0ьти. Ртоо~. 1ег А Ье а ътаче а1~ог1гЬгп. То егпр1оу А яз а Р1г а1цог1гЬш, ргосеыев 1пЖаПу 1спочт1пц М аге згаг~егв оЕ А. ТЬе 1пЕоггпаМоп М 1я аррепг1ес1 1о еасЬ гпевзаце оЕ А. ТЫя 1я рояя1Ь1е Ьесаияе Ьу сопвггпс11оп я1аггегя оЕ А )гпоъч М 1п1йа11у апс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г а16ог1йпп Ьм ъЬе загпе пгеяяаде согпр1ех1гу м А апй а1яо вЬагез ю1гЬ А аП $Ье о~Ьег ргорегг1ея гпепг1опег1 1п БиЬвесФ1оп 6.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гу оЕ А Ьу ш.~Е~.
6.1.1 Яупсйтопьхайоп 1п гЫя . цЬяес!1оп 1г гч111 Ье яЬоюп гЬа! каче а1~ог1йшь иге 1;тес!яе!у гЬе ь! олгЫпя опе пеейя ~чЬеп я ~1оЬа1 яупсЬгоп!гаг1оп Ьег чееп йе ргосеявея пшл Ье асЫечей. ТЬе геоцпепьеп~ Еог яупсЬгоп1каг1оп (БУ~) !я ягагей ~п йе !о!!ой'.и ргоЫет !г1п79], Еп еасЬ ргосеия с ап еч и: а, пшя~ Ье ехе< цгес1. аггй !и яогпе ргоссяься ап ечепг 6~ пгцяг Ье ехесигей. яисЬ йат йе ехссиг!оп оЕ а11 а, ечепгя пшяг Ы.е .а1 еп р1асе ге~прогцЬ ЬеЕоге апу оЕ ~Ь 6, ечепгя 1я ехесцгей.
ТЬе а1чог1гЬгп пшяг цяе ццпе1у гыпч ~пеяяа ея. 1и а ЯУХ а1 ог1гЬгп гЬе 6 ечепгя МП Ье сопя1йегей ся аестсе ечепгя. ТЬоогегп 6.9 Еиету о"УТ а1уоп1Ьп и а шаие а1уотгйтп„ Р7оо!' Е.ег 5 Ье а Я г М а1дог1гЬг~. Ег 1я геоц1гей гйьг еасЬ сошрцга11оп оЕ 5 )я Ипате апй гЬьг ип еасЬ сотрцгаг!оп ап ечепг 6р (Нес!се) оссигя. 1Е !и яогпе сотрцтаг1оп оЕ Я ап ечепг 6„оссцгя г1~аг 1я по~ сацва11у ргесейей Ъу п„гЬеп (а~а1п Ьу ТЬеогегп 2.21 апй Расг 2.23) гЬсге 1я ап ехесцв1оп оЕ 5 гп гчЫсЬ 6, оссигя Ье1оге а,. П ТЬеогегп 6.10 Еиету тиаие а1уотьЯтп сап 6е етпр1оуеа ая а ЯУУ а1уотМтп.
Ртоа~. Е ег .1 Ъе а жа~е а1~ог1~Ьгп. То ешр1оу А ая а ЯЪ"'61 а1дог1гЫп, еасЬ ргосеяя д 1я геоц1гей го ехесц1е а, Ье1оге д вепйя апу гпеяяа е оЕ А ог йес1йея 1и А. ТЬе ечеп~ 6„гачев р1асе айег а Несйе ечепг 1и р. Ву Е егьа 6.4 еасЬ НесзНе ечеп1 1я сацяа11у ргесейей Ьу а, 1ог еасЬ д. П ТЬе сопяггисгей Я"г'г! а1~огйЬп~ Ьая ~Ье яагпе тевяаде согпр1ех1гу ая А апй а1яо яЬагея тч1тЬ А а|1 о~Ьег ргорегМея тпепМопей 1п ЯиЪяесМоп 6.1.1. 6.1.5 Сотпри8айоти оу 1иЯтпитп Рипсйопз 1п гЫя яцЬяесг1оп 1т, ъч11 Ъе яЬоеп гЬаг ~чаче а1~ог11Ьпм аге ргес1яе1у тЬе а1дог1гЬгпв опе пеейв ччЬеп а Еипсг1оп пшят, Ье согпритей тчЬояе ча1ие йерепйя еввепба11у оп ФЬе 1при1 оЕ ечегу ргосеяя. Ая а гергеяеп1айче с1вая оЕ яисЬ Еипсйопя а1цог1йшя М11 Ье сопв1йегей ~Ьа1 согпри~е йе гп~тпии очег а11 1пригв, ъЬ1сЬ пшя~ Ъе йга~чп Егогп а рагГ1аПу огс1егес1 ве1. 1Е (Х, <) 1я а рагг1а1 огйег, гЬеп с Ев саИей 1Ье й~~тит оЕ а апй 6 1Е с < а, с < 6, апс1 ча: (а' ( а А а' ( 6 =~ а* ( с).