Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 74
Текст из файла (страница 74)
Ппе Со СЬе йврегя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ос1йв 1С Ьм гесйиевйей, 1.е., Етее~(С) вв (С = Ледя ). ТЬе геяйг1сйей шобе1 оЕ й1еа61ос1йв жЬеге а11 гециезйв шияй Ье Кгапйеб ЬеЕоге а ргосевя Ьесоп1ез асйне 1в геЕеггей1 йо м СЬе АЛЮ тпоНе1. 1й сап Ье яЬончх СЬай ш СЬе АМП шос1е1 а й1еай1ос1й 1з еоп1~и1епй Со СЬе оссштепсе оЕ а сус1е ш СЬе шайй-1от утарЬ СЫя 1з а 8гарЬ оп СЬе ргосеяяев ~ЮЬ ал ес16е ущ 1Е р 1з Ыос1гес1 тчайй1п8 Еог О. А18ог1СЬшя Со сЬес1с Еог сус1ев ш СЫя БгарЬ Ьа~е Ьееп ргоровеб Ьу, е.8., СЬапйу, М1яга, апй1 Наав [СМН83[, Мепмсе апс1 Мшйл [ММ79[, ати1 М1йсЬе11 али1 Мепйй [ММ84].
Сопипшисай1оп с1еайПос1сз: СЬе ОН. пюйе1. А ргосевв соорегай1п8 АЛЕСЬ ойЬег ргосеявея ш а йвйг1Ьийей а1еог1СЬш шау епйег а Ыос1йей1 вйайе, 1п тчЫсЬ СЬе оп1у роввЕЫе ечепйв аге сопшшшсай1опя ю1СЬ оСЬег ргосеявея. ТЬе ехесий1оп оЕ апу сопшшп1сай1оп ечепй Ъпп8з СЬе ргосеяя шйо апойЬег иСайе, Егош тчЫсЬ 1С шау сопСпше 1йв сошрцйай1оп. Непсе Со Ьесоше асйгче 1С яыйсея СЬай а в1п81е геопевй оЕ а ргосевя Ез 8тапйес1, 1.е., В.ее ж Сгибе Еог е~егу поп-ешрйу впЬяей оЕ Яеоя .
ТЬе гевйпсйей1 шой1е1 оЕ й1еай11ос1йя ~Ьеге а вш81е 8тапй яишсея Еог а ргосеяв Со Ъесоп1е асй1че 1з геЕеггей1 йо аз СЬе ОВ тпове1. 1п СЬе ОВ. шой1е1, а с1еайос1с 1я щпгча1епй йо СЬе оссштепсе оЕ а 1йпой ш СЬе ята1й-Еог 8гарЬ. А18опйЬшя Еог СЫз шойе1 Ьаче Ьееп ргоровей1 Ьу, е.д., СЬапс1у, М1зга, апс1 Наав [СМН83] апй1 Хайага1ап [Хай86[, Еветс1зез 351 Ехегс1иев 1о СЬарйег 10 Яесбоп 10.1 Ехегс1ве 10.1 СопвЫет йе тедийаГзоп о~ йе 1оса1 впарэЬос о~ р аэ ап асЫЫгопа1 1п1етпа1 еюепг а . Ртоое йа$ 5' и тпеап1пд~и1 с=~ Юр, д: а ~~ а . Яесбоп МО.З Ехегс1ие 10.2 Сйе а Д11 с1езсттрйоп о~ Ме йаь-Уапд а1дотсГЬтп, гпс1исЫд тпесЬапитпз со еп~отсе сотпр1еИоп о~ йе зпарзЬо1 апН сопзЬисг1оп о~ Жз сЬаппе1 зФа1ез.
Ехегс1ве 10.3 Рто~евзот РтЫугзйотоз1су тот11ез: "Н.еас1шК СЬартег 10 ипргочес1 шу ппс1егвйапс11пд оГ ФЬе а18ог1ФЬшв оГ СЬарФег 8. 1п ЯаХга'в а1догЫЬш (А1цог1ГЬш 8.7), Гог ехашр1е, 1Ье Ьапс111пв оГ ФЬе 1о1сеп Ъу р яЬоиЫ Ъе вееп м с1ейп1пд р'в впарвЬоФ в1а$е, 1п сЬе сописгис~ес1 впарвЬоФ а11 ргосеввев аге рмвгче, Ъесаиие 1Ье Фо1сеп 1я оп1у Ьапс11ес1 Ъу рмвЬе ргосеявев. Во сЬе сошрпса$1оп о1 РЬоЫз оп1у гесригев а сЬес1с оГ юЬесЬег аП сЬаппе1в аге ешрсу, 1о ~тЬ1сЬ епс1 сЬе со1сеп со11ессв сЬе ииш оГ тЬе шивере сопев. 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 «1ше 6 аше 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оп йпгегв 6ош «Ье 1шрас«оГ зупсЬтошзш ш пе«'яюгЪ «Ьа« аге яиЬ1ес««о ЙЯигев; ш СЬар«егв 13 апй 14 1«М11 Ъе зЬокп «Ьа«1агдег с1мзея оГ Га11игев сзп Ье Ьапй1ей йе«егшш1з«1са11у И вупсЬгошвш 1в ехр1о1«ей.
БупсЬгоп1яш Ьм а1геайу Ьееп изес1 ш Бес«1оп 3.2 «о очегсоше «гапяпивв1оп Га«1игев. 1п «Ыя сЬар«ег ~1оЬа1 Мше М11 шаш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гв аге ача11аЫе апй ап иррег Ъоипй оп «гапяшяв1оп йе1ау 1в мвишей; вее БиЬяес«1оп 11.1.3.
А пе«жог1с орега«ш~ ш 1осйз«ер 1з изиа11у гейггей «о м а яуасйголоив пегшогМ. А иупсЬтопоиз пе«щот1« пшел«по«Ъе сопйзей чМЬ а пе~чог1« ~кЬеге шеявадез аге рмзей вупсЬгопоив1у. 1п «Ье 1а««ег «Ьеге 1з по фоЬа1 вупсЬгошвш. Оп1у реп «жо ргосеввея сотдшишса«е йо «Ьеу зупсЬгоп1ае «ешрогаг11у ш «Ье шеяваяе ехсЬапще; «Ьеу йо по«вупсЬгошие М«Ь ай ргосевзез апй «Ье зупсЬтопу 1я Ьго1геп ипшей1а«е1у айег «Ье шевваяе ехсЬап~е. 352 11.1 Ртя1чтшпаттез 353 61оЬаПу зупсЬтошгей петчтойз аге аЫе то во1че йвтт1Ьитей ргоЫешв ивйщ 1ем сошшип1сат1оп тЬап 6йу авупсЬгопоцв пеФчток1тя. ТЫз жШ Ье йешопзйгакей Ьу ргочЫшв вупсЬтопоця а1дог1йипв (аког ФЬе е1есйоп ргоЬ1еш) ч6тЬ а сошр1ех1ту Ье1очг йе ргочеп 1отчег Ьоши1я Гог взупсЬгопоиз а1~от1Мша Гок тЬе ваше ркоЫеш; вее Бесии 11.2. ТЬа~ вупсЬхопоив а1- у>г1кЪшв саппоро во1че шоке ргоЫешв ФЬап мупсЬхопоиз а18огЫЬтпз чтШ Ье вЬощп Ьу ргочЫшв во саПес1 вупсЬтотивет а1~огЖшы, Ъу чтЫсЬ азупсЬтопоиз пеФчтойв з1ши1ате вупсЬхопоив пеквог1ся; вее БесФюп 11.3.
ТЬе йез1яп оГ сПзкпЬитей а18опйшз 1я ойеп ем1ет Гог вупсЬгопоив пеФ- ттог1тз, Ьесаиве 1езв поп-йетеппппвш Ьав Ко Ье та1сеп 1пко ассошй. Ап азупсЬгопоив а18оптЬш шау Ье йев1дьей Ьу йтзт рч1пя а вупсЬхопоив а1дог1тЬш аж1 тЬеп сошЬишц й МтЬ кЬе вппи1айоп ФесЬпи1иев оГ Бест1оп 11.3. Ревр1йе тЬе очегЬеай 1пйгойцсей Ъу ФЬе вупсЬхоп1зег, ФЬе теяи1йш8 а1яогМш~ шау втШ сошраге ГачогаЫу МтЬ а18опйшв девицей йгест1у Гог мупсЬтопоиз петттог1з.
Аз вл аррИсак1оп оГ яуасЬтошяетв тЬе сопзтгисйоп оГ Ьтеяс1тЬ-Яхве зеагсЬ асеев чу Ье сопяИегей ш Бест1оп 11.4. Ечеп И' с1осйз ате пот ача11аЫе, зоше чету ~теа1с тшшщ мвишрт1опя шау Ье 1ивййе1, Гог ехашр1е ФЬЮ тЬе гат1о Ьейтееп тЬе ехесит1оп врезная о1 тЬе йз~еяФ апс1 ФЬе йюеяФ сошропепФ ш $Ье вувФеш 1я Ьоипйес1.
ТЫв вввишрМоп, ге1еккей то м тЬе АтсЬьтпейеап аааитарБоть 1Ю85], 1я с11всиввей Ьт1еЯу 1п Беск1оп 11.5. В Ьм Ьееп атдж1 ФЬЮ й 1з яепегаПу Ьеттет то ге1у оп 6йу мупсЬгопоив а18окЖши аЫ по1 Фо ехр1ой Ф1ш1пв аввцшрйопв, Гог вечега1 геввопз. 1п тЬе АгсЫше1еап 6'ашежог1с, а1док1йшм аге девицей зо тЬат тЬе1т соггескпевз моея пот ге1у оп Мш1пд мвишрйопв, чтЫ1е тЬе1т сошр1ехйу ргоИв 6ош яисЬ мзцшрФюпв. 11.1 Рге1ишлат1ев 11.1.1 БупсИтопоив МеФлттот4сз ?и а зупсйготюив йМпЬиФей вузкеш кЬе орегайоп оГ еасЬ ргосевв та1тез р1асе ш а (ром1Ыу шЯште) зеоцепсе оГ Жзсгеке ятеря, саПей рийеа 1п а ри1ве а ргосем Ятвт, яеж1я (вето ог шоте) шемаев, тЬеп гесе1чм (лего ог шоте) шмелев, ати1 ЯпаПу рег1огшз 1оса1 сошрцЫ1опз (сЬап8ш8 ФЬе втате). Ммвавм аге гесе1чей ш кЬе ваше ри1зе ав тЬак ш ~тЫсЬ тЬеу аге веЩ 1.е., Ы р вепс1з а шмеле ко д ш Ыз ВЬ ри1зе, тЬеп кЬе шевваЖе 1з гесе1чей Ьу д ш 1тв йЬ ри1зе ати1 ЬеГоге д'в сошрцг,ат1оп ш тЬат ри1ве.
ТЬе ри)зев сап Ъе тЬоифй оГ яз 1Ье Ф1с1св ("рц)зев") оГ а д1оЬа1 с1ос1с. СошриФатюп 1з реИогшей аФ тЬе с1осй ри)ям, апс1 а'шезва8е зетй а$ опе ри1зе 1я р~агвлйеес1 то Ье гесе1че1 Ьетоге ФЬе цех~ риЬе. ТЬе вузтеш соп- 11 $упсЬтопу т Ие1шотЬз йупайою айаг г рц1зев и с1ейж1 Фо Ъе йЬе Фцр1е сопзщйшК оГ ФЬе айат оГ еасЬ ргосезз айег йе йЬ рц1ве. То ахейце вудсЪгодоцз вувФеди Гогпий1у, 1е~ М, ав 1д СЪар~ег 2, Ъе а зег, оГ шеврез адй 1ес РМ дедове гЬе со11есг1од оГ шцЖве~з оГ шевелев.
ТЬе с1ейпЖоп оГ а ргосезз 1п а зуюсЪтоюоцв зуз~еш сНЯегз йош ~Ьа$ о1 а ргосевз Ы ел ввупсЪтодоцв вузвеш, Ъесацзе со11есг1опз оГ шевелев аге зеп$ апс1 гесегчег1 ш а вшие зузФеш'~гапзй1оп. То ачоц1 сопдщ1оп ше зЬа11 генг Фо ргосеззез оГ а зуюсЬгоюоцз зузгет аз зупсЬтопоиз ртосеззез. 0ейпй1ою 11.1 А зуисЬтопоиз ртосезз и а ~опт-йср1е р = (2, .Г, М0, 1-) шЬете (1) 2 и а зев о~ зтагез, (2) 1 и а зи5зе1 о~ 2 о~ тЖа1 з1асез, (3) МР: 2 -+ РМ и а тпеззауе-уепета1гоп ~ипсйоп, апН (4) 1- м а те1абои оп 2 х РМ х 2. Юе штИе (с, М) 1- г1 ~от (с, М, Н) Е ~-. А ргосевв в~аггз Ыв сошрцФаФ1од ш а в1аФе со Е 1. 'чч'Ьед гЬе ргосевз вФаг~в а рц1ве ш в1а1е с Е 2, Ы зедсЬ вЬе со11есг1од МД(с) оГ шевелев. Ве1оге 1Ье дех» рц1ве, Ы гесе1чев ФЬе со11ес$1ою оГ шевваув, вау М, ведФ го Й ш 1Ь1в рц1ве апй ед$егв а з~аФе Н вцсЬ ФЬЮ (с, М) ~- Н.
11Ыег 1Ьщ йейдИою ФЬе соПесФ1од оГ шевелев зедй Ьу ФЬе ргосевв и Ы1у Йе$егпюдей Ъу Ми з$аФе а$ ~Ье Ъевшп1пз о1 ФЬе рц)ве; а11 шФегда1 под-йегегшшыш оГ й.е ргосевв щ ш 1Ье ге1айод 1-. В и розз1Ъ1е го айж юоп-йегегпйшвш ш МД аз ше11 (МД и йеп а кепкою гайег йад а йшсМод), Ъц~ вЪе дод-йе~егдцп1з~1с сЬо1се свл еоца11у яеБ Ъе шойе1ей ш ФЬе ге1аФ1од ~-. А зуд,сЪтопоцз зувФеш щ а со11ес~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}
