Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 46
Текст из файла (страница 46)
И%а1 ате Йе тпевяауе, 1гте, ать Ы сотпр1ех1б1ея о~ уоит а1дот1йтп? ЕхегсЬе 6.9 Биррояе уои ыап1 1о изе а иаюе а1дот11Ьтп 1п а пебшотМ ыЬете с)ирЫса1юп о~ тиезвауев тпау оссит. ЕхессЬе 6.2 1п а рчтЬа1 оп1ег (Х, <) ап е1е~пеп1 б и саПег1 и бо1сога 11" 1огаПсс Т,б<с. 1+ ся ияеа' ~п йе ртоо) от ТЬеогетп 6.11 йп1 йе раг«'а1 ота'.г (Л, <) моея по1 соп1тп а бо:1отп. %бете? С:,п дои ~,:,се ап а1уогх1Ьгп 1Ьа1 согпритев тг1тпа гп а рагйа1 отйег М~Ь богяо~п, ап1 гз по~ а шаие а1уот1Ьтп? 221 Еле, сгвез (1) МЬа1 тпой5саЫопз вЬоЫй 5е гпайе 1о йе есЬо а1дотг1Ьт7 (?) ИтЬа1 тпойфсатгппз вЬоиЫ Ье тпайе 1о Ггпп'з а!уотгМтп? Бесботг 6.3 ЕхегсЫе 6.10 А сотр1е~е 5граг~гге дтарЬ гз а дтарЬ С = (У, Е) и:Ьете У = ~''г 0 У~ шМЬ Кг й У. = З апй Е = У'г х Ъ'г.
Сгг е и 2х-1таиетва1 а1уотгйтп ~от сотр1е1е огратИ1е пе1шотИв. Ргогесй 6.11 Ртоие от йгзртоие: ТЬе 1таиетза! о~ а Ьуретсибе шг1Ьои~ яепзе о~' йгтесИоп теуигтев 8(Ф 1ое Л) пгезвадез. Яесйоп 6.4 Ехегсые 6.12 Сгие ап етатр1е о~ а сотри1а1гоп о~ Татту я а1дотгйтп гп шЬгсЬ йе теяиИгпу атее Т гз по1 а 0т$ атее. Ехегсгьа 6.13 ВЖе ап а1дотгйт йа1 сопгри$ев Йе йерй-~тв1 зеагсЬ гп1егиа1 1аЬейпд зсЬетпе (вее 5ибзесйоп ~.~.ф ~от ап атбйтату соппес1ей пе1- шогlс.
Сап Ы бе йопе гп 0(К) ~стае ггпгЫ Сап й 5е йопе изгпд 0(Ф) тевзауез? Ехегсгве 6.14 Аззитае йа1 йе йерй-5тзЬ зеатсЬ а1уотгМ~тп шгй пегдИот 1спош1ейде гв изей гп а вуз1ет шЬете еасЬ ртосезз Йпошя по1 оп1у Йе гаепй1гев о~ гй пегдЯотв ЬЫ айо Йе зе1 о~ аП ртосезв гйепййея (Р). 5Ьош На1 тпеязадез о~ И Ыв еасЬ ате яиДьсгеп1 гп гЬгв саяе. Яесйоп 6.5 Ехессгве 6.15 Айар1 $Ье есЬо а1уотНьтп (А1дотг0ип 6.5) 1о сотпри1е йе вит оиет гЬе гприМ о~ Йе ртосевзез.
Ехегсые 6.16 Аззите йе ртосеззез гп Йе пе$шотЬ йергс1ей гп Ргдите 6.21 Ьаие ипгуие гйепЫгея апй еасЬ ртосезз Ьаз ап гп1еует гпри3. Йпгига1е оп 6ой пеЬлотМз а сотпри1айоп о~ Йе рЬазе аЦотгМти, сотрийпд 1Ье ве~ Б = ((р, г ): р Е Р) апй Йе виги оиет Йе гприй. Ехегсгве 6.1Т И%а~ гв Оье сЬагп-рте сопгр1ехйу о~ йе рЬазе Ыдотг0ьт ,гот с1ирьез ~А1уотгйгп б.8~у 1п гЬ1я сЬар1ег ~Ье ргоЫеп Л е1есНоп, а1яо са11ес1 1еайет Япдгпу, ч!11 Ъе д1всцявед.
ТЬе е1есг1оп ргоЪ1егп ашная йгяФ ровед Ъу 1е1 апп [1 е1 77), ~нЬо а1яо ргоровей гЬе Йгя1 яо!ц„'оп; яее ЯцЪяесСюп 7.2.1. ТЬе ргоЫап 1я го згагг, йод а сопй~ига~юп;нЬеге а11 ргосеззея аге 1п гЬе яагпе я~а~е, апд агг1не а1 а сопйркайоп ~н1геге ехас~1у опе ргосезв 1в 1п я~аге 1еайет апд а11 огЬег ргосеяяев аге ш гЬе яс.'.е 1ог~. Ап е1есМоп ипдег гЬе рго:еяяея пшел Ъе Ье1й 11 а сепгга11вед а1дог1~Ьгп 1я го Ъе ехесигес1 апд ~Ьеге гя по а рг1ог1 сапд1да1е го вегне ав 1Ье 1пЖа1ог о1 1Ыя а1воп1Ьгп. Рог ехагпр1е, ~1ия сои1д Ъе 1Ье сме 1ог ап 1п16а11яа11оп ргоседиге 1ЬаС пшяй Ъе ехесийед 1пЖа11у ог айег а сгаяЬ оГ 1Ье яуяСепь. Весаияе 1Ье яеФ оГ асане ргосезяея гпау поФ Ъе Ыоюп 1п аднапсе Й 1я пой рояя1Ъ|е Фо мв1~п опе ргосеяя опсе апд Гог а11 йо йЬе го1е оГ 1еадег. А 1агве пигпЪег оГ гези1йв аЪоиг, ФЬе е1есйоп ргоЫеш (а1дог1гЬпж м ъе11 м гпоге депега1 гЬеогегпя) ех1з~.
ТЬе гевиЬя ш 11ив сЬаргег жеге яе1есгед Гог 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в аге ге11аЫе, ~Ье яуз~егп 1я И1у азупсЬгопоця, апй гЬе ргосеявев аге д1зМпризЬей Ъу ипщие 1деп~1- Мея.
(2) Же сопсеп$га~е оп геяц1гз сопсегп1п~ пьевза~е сошр1ех1гу; а1вог1~1ипя я~ИЬ 1гпргонес1 1ппе согпр1ехйу ог гевцйз ипр1у1пд а 1гас1е-ой Ъе~~нееп Ыгпе апд п~еявще сотпр1ехйу аге по1 д1зсиявед. (3) Же зЬа11 сопсеп1га~е оп ФЬе огдег оГ шадги1иде оЕ ФЬе гпезяаде согпр1ехлйу, апй по1 ггеат гезий ~Ьаг, сопяг1Ъиге оп1у а сопя~апг, Ьс1ог Фо 1Ье согпр1ехйу. (4) Весацзе 1Ье гезий М КогасЬ е1 а1. (ЯесМоп 7,4) 1гпр1у йе ех1з1епсе 222 7.1 Епгтойисггоп оЕ 0(К1одЛ) а1дот1тЬтпя Еот веиега! с1аззея оЕ петжсг1тя. а1~от1гЬтпв !от а с!щие ялгЬ гЫв сопгр1ех1гу юге псг ггеагет! яерагаге1у. 7.1 1п1гос1исйоп ТЬе е1есг1оп ргоЫетп гет1и1тев гЬат, вгагг1п Егстп а сспй~игат!оп ~г Ьеге еасЬ ргосеяз !з 1п 1Ье ватпе закате, а сопй игаЫоп 1в геасЬет! гчЬеге ехасг1у опе ртосевв 1в !и а врес1а! тЬе втаге 1еатЕет, кЬ!1е а11 сгЬет ргссеяяея аге 1п!Ье ятате 1озг.
ТЬе ртссеяв тп ягаге 1еат1ет аС тЬе епт! оЕ тЬе сспгритат1стг тя са11ей гЬе 1еатгет апа !в ва!т! гс Ье е!естес! Ъу гЬе а1~сг1гЬ;и. Оейп1г1сп 7.1 Ап е1естгоп а1дотгт1гтп Ез ап а1дот"Мпп Йат затгз~гез Йе то1- 1огогпд ртореттгез, (1) Еасоф ртосезз Паз Йе затпе 1оса1 а1доггт1гттг, (2) Тйе а1доггйт гз йесепгга1гзей, г.е., а сотритатгоп сап 6е гпгтгайзеа' 6у ап атЫтату поп-епгрту зиЬзет о~ Йе ртосезвев. (3) Т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и ъ ЫсЬ а11 ргосеввев аге 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оз~. ~Че чл11 зоптег1тпев мзгипе гЬас 1Ье ча1ие оЕ втате, 1в в1еер ЬеЕоте р Ьая ехеси~ес! апу згер оЕ тЬе а1~ог1тЬтп, апй сапй !Е р Ьм 1о1пей йе сотпритаМоп ЪиФ 1в пот уеФ амате жЬегЬет 1т, Ьая 1ов1 ог ггтоп 1Ье е1ес11оп. Яотпе а)догйЬтпв изе асЫЖопа! Матея, висЬ ая асйие, раввйе, е1с., вЫсЬ гч11 Ье 1пйса~ей ъ.1тЫп СЬе а1дот1:Ьтп.
7.1.1 АззитпрНопз Майе гп Миз СЬартет ТЬе е1ес11оп ргоЫеш Ьм Ьееп втирает! 1п гЫз сЬаргег ипйег мзитпрт1опя гЬа~ ггте погч гейеггт. 7 Е!ест~оп А!доттйтя ТЬе ьувтет !в !ийр ивчисЛгопоиь. 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еш СЬеп Ьесошев осе оГ Нпг!!пц СЬе вша11еяС Ыепс!Су ы!СЬ а с1есепСга1!кем аког!СЬш. 1п СЬ!з сазе СЬе е1есС!оп ргоЬ1еш !з ге1еггей Со ая СЬе ехй ета-,т!ттйттд ргоЬ1еш.
А1СЬоцКЬ яотпе оГ СЬе а1еог!СЬптя т!!зсцявет! ш СЬ!з сЬарСег ~чете ог!рпаПу Гогшц1аСед во ая Со е1есС СЬе 1агдезС ргосеяв, ~че зЬа11 ш 1асС Согтпц1аСе шозС оГ СЬеве а!дог!СЬшз зо аз Со е1есС СЬе япта11езС ргосеяв; 1п еасЬ сазе ап а!дог!СЬш Со е1есС СЬе 1агдезС ргосеяя !з оГ соцгзе оЬСа!пей Ъу ге~егз!п~ СЬе огдег оГ сотпраг!вопя ЪеСжееп ЫепС!С!ея. Боте тези!!в ш йм с!тарСег соттсет7т сотприттвоп а!уоттйллв. Сот- рапяоп а1аог!СЬтпз аге а!дог!СЬшз СЬаС цзе СЬе сотпраг!воп ав СЬе оп!у орегаС!оп оп ЫепС!С!ев.
Ав сап Ье вееп Ьу !пзресС!оп оГ СЬе а!Кот!СЬтпв, а11 а1~опСЬтпз ргевепСет1 ш СЬ!в сЬарСег аге сотпраг!яоп а1аог!СЬтпя. %'Ьепе~ег а 1оьчег-Ьоццс! геяц1С 1з ргеяепСес1, ъе зСаСе ехрНс!С1у ~чЬеСЬег !С сопсегпз сотпраг1воп а!~от!СЬтпв. 1С тчаз зЬо~чп (е.~., Ьу Восйаепс1ег !ВойИЬ] Гог СЬе саяе о1 г!щ пеС- ~чогЬ) СЬаС ш азупсЬгопоця пеСюойв агЬ!Сгагу а!~от!СЬтпв асЬ1ече по ЪеССег сотпр1ех!Су СЬап сотпраг!яоп аког!СЬшя. ТЬ!я !я поС СЬе саяе 7.1 1п'тгойасттоп 225 1п зупсЬгопоиз яув~ешя, ая ъчП Ье яЬочттт ш СЬар1ег 11: ш сЬезе яув~ешв агЬ1сгагу а16от1йшя тпау асЫече а Ьессег сошр1ех1су '.Ьап сотпраг1яоп а1дог1сЬшв.
(4) ЕасЬ теяяауе тау соптатп 0(то) Ыя. ЕасЬ тпеяяъде шау сопса1п оп1у пр ~о а сопйап1 пшпЬег о1 ргосеяя ЫепсЖея. ТЫз азяшпрс1оп 1в шаде 1п огс1ег со аПо~ч и Га1т сотпраг1яоп Ъес иееп с1те сотппшп1сас1оп сошр1ех1с1ея оГ с1Птегепс а1~ог1с1тшя. 7.т.2 Е1есБопя апй К'аиев 1с Ьяз а1геас1у Ьееп гешаг1сес1 тЬас сЬе ргосевв Ыепт10ея сал Ье пиеа со Ьгеа1с зутттшесгу Ьесъееп ргосеяяез; опе шау Йез1дп ап е1есс1оп а1 ог1сЬш!и яисЬ а ~чу сЬа' 1Ье ргосеяя вчем 1Ье ягпа11еяс Ыетй1су М11 Ье йе ртосеы е1ессес1, Ассогс11пц со ~Ье геяи1ся 1п БттЬяесМоп 6.1.5 гЬе вшаПеяс Ыепсйу сап Ье сошрпсес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}
