Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 97
Текст из файла (страница 97)
Ехегсие 14.10 Роев йе зе1 А„1п А1дотдЬт Ц.6 вайв1у июйЬ(А ) < 6 ~от а11 соттесФ рд Ехегсьве 14.2 $тйа3 м 1Ье Ь1дЬев1 пыпЪет о~ тевзадез веп$ Ъу соттес1 ртосезвез Ы А1допМт Ц.4 Ы ехеси1юпз йа1 йесЫе оп О з Апзшет Ъо1Ь ~от 1Ье сазе шЬете Йе депета1 и соттес1 апй 1Ье сазе шЬете 1Ье депета1 1з ~аийу. ТЬе ягаЪйащ а1зогИЬтпв сопя1т1егей ш ФЫя сЬар1ег асЫече Гаиш-то1егагй ЪеЬайог ш а шаппег гайса11у сИЯегеп~ 6ош тЬа1 оГ ~Ье тоЪив~ а1зот1~Ьшя вФаИес1 ш ~Ье рге~лоив сЬарСегя. В.оЪия1 а1допМши ГоПож а реявгтыйс арргоасЬ, яизрестшц аЛ ш1огшаМоп гесеией, апт1 ргесет1е а11 втерв Ъу ви1йс1епт сЬес1тв ~о рьагахйее тЬе ~аИ1ту оГ а11 в1ерз оГ согтест ргосеяяев. Ча1и1- 1ту шияС Ъе р~агапФеей ш тЬе ртеяепсе оНаи1ту ргосеввев, ~ЫсЬ песеяв11 атея тейг1сбоп оГ сЬе пишЪег оГ Гаиш апй оГ сЬе Гаи1т шойе1.
ВаЪИ1яш~ а1догИЬтпя ате орйтгзйс, МйсЬ шау саияе соттес~ ргосевяев ~о ЪеЬалге шсопяЫепт1у, Ъи1 р~атахйее а ге1игп то соггес~ ЪеЬач1ог ж1тЫп йд11е Мше айег а11 Гапку ЪеЬа~лог семез. ТЬа~ 1в, ягаЪ111яшд а1зогЖшж рго1ест, азашя~ йгапзьеп1 Га11игез., еъе~йиа1 гера1г 1я мвишей, аЫ тЫя мяишр6оп яйлов ив ~о аЪапйоп Ьл1ите шойе1я апй а Ъоипс1 оп тЬе пишЪет оГ 1а11игея. Ва1Ьет тЬап сопз1т1етшз ртосевяея ~о Ъе Гаиш, 1т 1в мяишес1 1Ьат а11 ркосевзев оретте соггесФ1у, Ъи~ йЬе сопйдигай1оп сап Ъе соггирйет1 агЬЫгаг11у йитшз а ~гапя1епФ Га11ите. 1здогшз йЬе Ыя1огу о1 тЬе сошри1а6оп биге ФЬе йПите, ~Ье сопйрпаМоп ат чкЫсЬ ч~е йат~ тЬе апа1ув1в о1 ~Ье а1зоп1Ьт, 1я сопзЫегет1 тЬе ш1Ма1 оае оГ тЬе (соггес~1у орегатш~) а1зотИЬш. Ап.
а1допГЪш 1я тЬететоте са11ей вгаЪйяш~ Ы Ы ечептиа11у зваться то ЪеЬаче соттесФ1у (1.е., ассогйпа то сЬе ярес1йсай1оп оГ тЬе а1Ког1гЬш), гезагйезв о1 1Ье ш1Фий сопйр~гай1оп. ТЬе сопсерС оГ яйаЬШяайоп вм рторовес1 Ъу 1)ц$в~та [Щ74], Ъит, Ис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 Ъе ргевепйей. 459 460 15 ВаЫтгагтоп ТЬе ~егш "з~аЬ111вш11" 1в изей йгоп~Ьоы$, жЬегеяз "веМ-йьЫЬзпщ" 1з Йецпетй1у 1оппг1 1п ФЬе Йегатпге. 15.1 1пФгобисМоп г Б.1.
М ЭеЯлзячолз ЯгаЫ11гшд а1догйЬшв аге шойе1ей яя Фгапя16оп вувтешв тчИЬопт, шМа1 сопйрьгаМопя (сошраге 1Ыз йейлШоп жЫЬ Эейл111оп 2.1). ОейпШоп 15.1 А зрз$етп тз а ратт Я = (С, - ), тзйете С тз а зе1 о~ сопЯуитайопз апН - и а 6юатр Рапзйтоп те1агтоп оп С. Ап ехесийоп о~Я тз а тпахттпа1 зеуиепсе Е = ('уо 'у~ 'уг, ...) зисЬ йа~ ~от аП $ > О,.т' -' ~+~. 11п1йе ш ПейшМоп 2.2, еасЬ (поп-ешрФу) зи1йх оГ а сошрп1аМоп 1я пою а1яо а сошрпта$юп.
ТЬе соггес~пезя оГ ап а1зогЖшь, 1.е., ~Ье йез1ге1 "сопз1зтеп1 ЬеЬачюг оГ ргосезвез", 1з ехргеззе6 ая а врес1йсайоп, тчЫсЬ 1я а ргейса1е (пзиа11у йепотес1 Р) оп зеоцепсез оГ сопйдигат1опв. 1)ейп1$1он 15.2 Ярзгетп Я зтаЫчгез 1о зресфсайоп Р т~ Йетз ехтзй а зибзе1,С С С, о~ 1едййпаге со~фдитайопз, Мй йе ~оПоштд рторетйез. (1) СоггесСпевз. Еюету ехесиИоп з1ат Ипд ш а сопЯитатзоп пь С за3- тз~ез Р. (2) Сопчег~епсе. Еиету ехесийоп сотМайи а сопЯдитаИоп от'С. ТЬе яе1 оГ 1ерФ1шаФе сопйр~гаг1опв 1з ывиа11у с1озес1, 1.е., К 'т я,С ахк1 ~ — 6 тЬеп 6 Е .С, Ьпс ав ~Ыз 1в пот, изей ш ФЬе ргооГ оГ ~Ье Го11вчш5 ген, же Йо по~ 1пс1пйе с1ояей~евв ш сЬе Йейшс1оп.
ТЬеогегп 15.3 Ц зузГетп Я з~аЫыез 1о Р, йеп еиету ехесийоп о~ 5 Ьаз а поп-етирФу зим загтз~уьпд Р. Ртоо~. Ергу ехесит1оп соЫа1пз а 1ертгшвАе сопй5пгат1оп Ьу зЬе сопчегзепсе ргорегсу, ахки а зий1х зтаг~ищ 1Ьеге за$1яйея Р Ьу тЬе соггесФпеяя. П Рго~г1п~ з$аЫ11хаФ1оп. ТЬе пзе оГ 1е51т1шаФе сопйдпгаИопз а11опз из 1о пзе ~Ье зтапс1ап1 чег1йсат1оп ~есЬлщпев Фо вЬою тЬе зтаЬИхат1оп оГ ап а1- дог1Мшь. Сопчещепсе 1в вЬо ел~ Ьу а погш йшсФ1оп. 1.егпша 15.4 Аззитпе йаг (1) аП Мтттипа1 сотЯита1топз Ыопд $о Е; (2) йея ежай а гипс1гоп ~: С В', ыЬете И' и а жег-~оппйИ зе~, ап4 ~от еасй йапяййт у д, У( у) > У(б) ог б Е Е ЬоЫв.
Трап,С за1ьзЯез сопиатдепсе. То зЬонт соггесгпезв, опе шау регГогш а с1явя1са1 а1яог1~Ьш апа1ув1з, сопвЫ- епп~,С м ФЬе яеФ оГ шШа1 сопйяига$1опв; 1пйее6, оп1у ехеси~1опз згагг1па ш Е аге сопяЫегей. Ргорегйев оГ вФаЬШяащ а1~огИЬпи. Б~аЫ11япц а1Ког1хЬшя ойег хЬе ГоВосчиц ФЬгее 6шйашеЫа1 айчалФщез очег с1мз1са1 я1цогМша. (1) Гаий Мелиссе. Аз км оЪзегчей ш $Ье ш1гойисйоп хо 1Ь1з сЬарФег, а зФаЬШк1пя а1догЫЬш ойеги 6Й1 апс1 аиФошаФ1с рго$есйоп ада1пяФ зП 1гапв1етй ргосезв йь1игея, Ъесаияе ФЬе а1яопФЬш гесочегя йош влу сопйдигаМоп, по шахах Ьоч~ шисЬ $Ье баха Ьм Ъееп соггир1ес1 Ъу й11игез. (2) 1пйьа1иа$чоп. ТЬе пеес1 оГ ргорег аЫ сопз1з1епх 1шйаЕкаФ1оп оГ ФЬе а1допхЬхп 1в еНшшахей, Ъесалие яЬе ргосенвев сап Ье вСагФес1 ш агЫФгагу з1аФея злй уеФ ече~йиа1 соогйпа1ех1 ЪеЬач1ог 1я яиагыйеей. (3) Пуиатьс горо1оуу.
А вяаЪШх1щ афопФЬш сошри$1пя а 1оро1ояус1ереЫеЫ 6шсбоп (гоиФйц ФаЫев, зралхипд аггее) сопчегцез 1о а певуч зо1их1оп айег 1Ье оссиггепсе оГ а Форо1орса1 сЬапце. А ГоитяЬ ас1чяхйаяе, паше1у, гЬе ровв1ЪШФу оГ "вециепг1а1" сошрозЫ1оп чгИЬоий ФЬе пеев Гог Фепп1пайоп йехесйюп, 1я йвсивзей ш ЯиЪзесбоп 15.3.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орв 6хгФЬег. Оп яЬе оФЬег ЬаЫ, хЬеге аге Мье Го11о~ч1пК Ихгее с11зЫчапгаяез. (1) Ьийа1 жсо~имФеасмз. ВегЪге а 1ерх1шМе сопйдига$1оп 1в геасЬес1 ФЬе афо~СЬш шау зЬоч~ ап 1псопв1зФепх оиФриФ.
(2) Науй сотр1ехйу. ТЬе вхаЪШяшд а1~оиМшв 1шсжп 1о баха аге изиа11у йг 1езв ешс1ей 1Ьап сЬе1г с1авв1са1 соипхеграгхз 1ог хЬе ваше ргоЫеш. (3) № Йе$есйоп о~ зЬабйхаЬои. 1С 1з пой ровв1Ые Фо оЪвегче йош тчЫЬш йе яуяхеш хЬах а 1ербшахе сопйрпах1оп Ьм Ъееп геасЬех1; Ьепсе ФЬе ргосеввев аге печег алехе оГ ~чЬеп хЬе1г ЪеЬач1ог Ьав Ъесоше геЬаЫе. 4В2 Ы БтаЫиатьои Реево-зСаЬ111заС1оп.
ТЬе ргорегСу о1 вСаЬйзшК а1вог1СЬшв СЬаС ч~м ргочеб ш ТЬеогегп 15.3 сап Ъе Сайед зв ад з1СегпаСгче бебшСюп: 1с и СЬеп в1шр1у гет1ц1геб СЬаС еасЬ ехесцС1оп Ьм а вийх ваСМушв СЬе врес16саСюп. ТЫз доС1оп, Ьоеечег, и поС еоц1ча1епС Со оцг бебп1С1оп апб и теГеттеб Со вв рзецбо-в1аЫиаИоп Ьу Вцгпв ет а1. 1ВСМ93]. То вЬою СЬе б1йегедсе, сопв1бег СЬе вувСеш Я ~ч1СЬ сопбрааС1опв а апб 6 апб Сгапз1С1опз а — а, а - '6, аш1 6 — 6. Брес16саС1оп Р геабв "а11 сопбрааСюпв аге СЬе ваше".
Весацве Я сап пюче 6ош а Со 6 аС шовС опсе, 1С и ем11у вееп СЬаС ечегу ехесиСюп Ьм а вцй1х сопв1вСищ оС ес1иа1 соп6~- шаС1опв. Соп6хцтаСюп а саппоС Ье сЬовеп м 1еа1С1шаСе, Ьесаизе СЬе ехесиС1оп (а, 6, 6, ...) вСагСшв 1д 1С боев поС ваСиГу Р; Недсе СЬе Я-ехесиС1од (а, а, а, ...) (а1СЬощЬ ваСиГу1да Р 1Сзе11) боев поС сопСаш а 1ерС1шаСе соп6р~гаС1оп.
Вцгпв е$ а1. вЬом СЬаС СЬе вгеа1сег гес1шгешепС оГ рвеибо-вСаЫЬваСюп а11оатв зо1иС1опз 1ог ргоЫешв СЬаС Ьаче по вСаЪЙяша во1иС1оп; опе екэхпр1е и баСа-веоиепсе Сгапвш1вв1оп. Оп СЬе оСЬег Ьапб, ш рзеибо-вСаЪ111зпщ во1иС1опз (СЬаС ате поС зСаЪЙзищ) СЬете 1в по иррег Ъоипб од СЬе пишЬег оГ зСерв СЬаС СЬе вузСеш сап Са1те Ье1оге зрес16саС1од Р и ваС1вбеб, юЫ1е Гог вСаЫЬзш8 а1зопСЬшв висЬ а Ьоцпб сап Ье фчеп.
1п СЫв сЬарСет юе вЬа11 гезСг1сС оигзе1чев Со СЬе вСибу оГ вСаЬШз1щ а1вот1С1шв. 15.1.2 СотптпипьсаЬхоп хп БваЪъЬхипд ЯрзФетз 1п шовС о1 йе еагЬег сЬарСегв ш СЫв Ьоо1т тче Ьаче мвишеб ап ыупсЬгопоцв шобе1 тч1СЬ сопппцшсаС1оп Ьу шеввазе рмвшз, ЬиС СЫз пюбе1 и поС абеоиаСе Гог вСибуыщ вСаЪ61зша а1аог1СЬшз. 1пбееб, 6гвС сопв1бег ап мупсЬтопоив шевваве-раввшз а1зопСЬш ш ~чЫсЬ СЬете 1в а ргосевв р Сот мЫсЬ ечету вСаСе и а веш1 вСаСе (1.е., р сзп вепб а шеввазе ш ечегу 1оса1 вСаСе), ТЫя вувСеш Ьзв ап ехесцС1оп сопвиСша оп1у оГ вепб асС1опв Ъу р, Мы1е аИ оСЬег ргосеввев тешаш 6озед ш СЬе1г циС1а1 зСаСе, апб СЫв ЪеЬач1ог боев поС ваСМу апу шеахшщ1и1 доп-Спч1а1 врес16саС1оп.
Бесоти1, сопз1бет ап афопСЬш ш ччЫсЬ, Гог ечегу ргосевв, СЬете ате вСаСев ш з~ЫсЬ йе ргосезз боев поС вепб (ЬиС сап оп1у тесе1че ог бо ап шСетпа1 вСер). Ечегу сопб~итаС1оп ш юЫсЬ ечегу ргосевв и ш висЬ а вСаСе апб а11 сЬаппе1в аге ешрту 1в а Сетпипа1 сопбвигаС1оп апб СЬегеГоге шцзС заСЫу СЬе вресИсаС1оп. А~аш, по поп-Спч1а1 врес16саС1оп и ваСибеб Ьу а11 висЬ сопбуьгаС1опв. А вСаЬйзш~ чегв1оп оГ йе МеСсЬзхще а1аог1СЬш ч~м ргевепСеб ш 1Те191а), ив1па С1шегз ш еасЬ ргосевв апб ап цррег Ьоцдб оп СЬе шеввау-беИчегу 15.1 йФгойистгод 463 Мше.
ТЫв авзишрСюп шау ~чог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е1з, сошшишса0од Ъейчеед ргосевзев Ев Ъу Мо гефвФегв зЬагег1 ЪеЬчееп 1Ье й~чо ргосеявез; еасЬ ргосевз сап ген опе оЕ тЬеве апт1 и тле 1Ье оФЬег. А ртосевз сап тгапвЕег Ййегеп1 1пЕогшаИоп Фо напоив дещЬЪогв Ъу тг1тшд йЯегай ча1иез ш Вв йй гефвФегз.
Же Еигйег йзФ1пдияЬ ЪеЬчееп геев-оде апг1 геохи-аП шобе1з, ш ~чЬЕсЬ а ргосевв сап, тези ш опе а1ош1с в1ер 1Ье вСаФе (ог Ьп1г гев1яФег) оЕ опе пещЬЪог, ог оЕ а11 пещЬЪотз, гезресг1че1у. 1$.1.3 Ехатпр1е: Рфсв1ла'в ТоЕсеп Нгпд ТЬе Ятями в1аЪйвшв а1вопФЬшв счете ргоровег1 Ъу Оц1сягга ~0ц74) алг1 гЬеяе а1дог1йипя асЫечей гиигиа1 ехс1илоп ш а гшв оЕ ргосевзев. Рог ФЬ1я ргоЪ1етд й 1в мвишег1 ФЬЮ ргосезвез шият зошеМшев ехесиСе сггйса1 вестгодв оЕ ~Ье1г сот1е, Ъиг й 1я гес1и1гет1 ФЬЮ аФ шовт оде ргосезв ехесиФев а сгЖса1 яесг1оп ат апу фчеп Фппе.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
