Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 45
Текст из файла (страница 45)
ТЬе яигп обжег а11 !приФя сап Ъе согпри~ес! ая Го11оъя. ЕасЬ ргосеяя 1аЬе1я !гв !приг ЫСЬ Ыв Ыепййу Ьу Еогт!пд гЬе ра!г (р, у'„); оЬвегче йЬай по гъо ргосеязея фогт 1Ье вате ра!г. ТЬе а1~ог!гЬт епвигез 1Ьаг жЬеп а ргосевв с1есЫея Ы 1гпо~чя еасЬ 1пйМдиа1 !приФ; Я = ((р, ~р): р Е Р? 1в ?Ье ип!оп обжег а11 р оГ ГЬе ве~з Я„= (1р, ! )), ал6 сап Ье сотри~ес! ш а в!п~1е ~ча~е. Ргот гЬ!в яе1 ?Ье йея!ген геви1~ !в сотри1ес! Ьу 1оса1 орегаМопя.
ТЬ!я яо1иг!оп геои1гез 1Ье а~а11аЬ11!?у о!' ипщие ЫепйЖез Гог еасп ргосеяя, ап6 !г игсгеаяея 1Ье Ы сошр!ехйу сопьЫегаЬ!у. ЕасЬ шеяяа~е о! '.Ье ~аъе а!дог!сЬт !пс1ис!ев а яиЬяег оГ Я, щЬ1сЬ, Е ы Ь!гз аге пеейег! 1о гергеяепс опе Ыег Юу апс1 ап 1приг, Файв ир со Ф.ш Ь!гз; яее Ехегс!ве 6.16. б. 5 Яегтгатгпд 1ввиев 217 6.5.3 ЛЫетпа1хтге Пе>~птйопв о~ Тгтпе Сотттр1еххту ТЬе т!гпе согпр1ех!ту о1 г!!зтт!Ьитет! а!~от!тЬтпв сап Ье т!ейпед !и яеъега! ьауя, 1и ".Ыя Ьоо1' Ре6п!т!оп 6.31 гя аЬчаув ияес1 юЬеп т!тпе соптр!ех!т!ез ате сопя!т!егет1, Ъи1 отЬет ровя!о!е с!ейп!т!оп аге г!!всиявет! Ьеге. Пейпй!опз Ьазей оп тпоге геворг!сФЬ е т!пт!п8 аввцтпрт!опя. ТЬе тцпе сопзитпет! Ьу йятт!Ьитес! сотпритат!опя сап Ье еят!гпатет! гтя!тт пгоге гезтггстяе гтяяитпрт!огтз аЬоит тЬе т!тп!п8 оГ еггептз ш Же зуятетп. Вейшйоп 6,37 Т1ге огге-1гтие сотр1еп1у от' ап а1допйлп гв йе таптит ггттге от" а согтгритатгоп ат' йе а1дотчйттг ипг1ег йе то11оиггпд аввитртгапв.
01. -! ргасевв сап ехеси!е апу ~тггте питоег от егге,";гв гп вето Игпе. 02. Тая 1гте ггетигееп йе ветгг1гггд апа тесегрт о1 а тевваде гв егсаст1у опе 1гтгг е итггт. Согпраге тЫв т!ейп!т!оп МтЬ Рецэп!т!огт 6.31 апг! оЬяеггге тЬат мяшпрт!оп 01 !я тЬе запое м Т1. Весаияе тЬе тгапяпт!зз!оп тгтпея аввцптет! ипт!ег Т2 аге ат товтет!иа! то тЬе т!тпев мяитпет! ипг!ег 02 опе птау Ье тгаррег! !пто ФЫп1с тЬат 'Ье опе-типе сошр1ехйу !я ануя ат !еаза еоиа! то тЬе опте сотпр1ех!ту. То тЫв епт! опе пт1~Ьт аг це тЬат еасЬ соптритаМоп гцпя ат, !ему ая $мт, игЛег Т2 ая !т т!оея ипйег 02, апт! сопяег1иепт1у ФЬе сотпри ат!оп М$Ь ФЬе гпах!гпипг т!гпе ь1во г1оез по ~чогяе цпт!ег Т2 1Ьап !т г!оея ипг!ег 02.
ТЬе Йагвг ш тЫя агдитпепФ !я тЬат ФЬе ггаг!ат!опя ш тгапятп!яв!оп т!тпе а11ожес! ипдег Т2 тпа!те а !агат с!вяз о1 сотпритат!опя роза!Ъ|е, !пс1ит!!пя регЬаря сопдрц1ат!опз тч!тЬ роог т!гпе ЬеЬа,г!ог. ТЫя гя !11иятгатет! Ье1отч !ог тЬе есЬо а1~огйЬтп. 1п 1аст тЬе геггегве !я тгие: тЬе Ише сотпр1ех!ту оГ ап а!дог!ФЬтп ет1иа!я аФ !ем~ тЬе опе-т!тпе сотпр1ех!ту оГ 1Ьат а!ног!тЬтп. ЕасЬ сошрцта+!оп а1- 1отг ест шн!ег ыяитпр1!опз 01 апс! 02 !я а1яо а1!отггес! цттг.'!ег аяяцжрФ!опв Т1 ын1 Т2, апс1 1а1сез тЬе затпе ашоипт оГ т!тпе цпг1ег тЬе 1ай1ег мяшпрт!опз. Сотгяет!цепт!у, тЬе жогвт-сазе ЬеЬатг!ог оГ ап а!дог!тЬтп ипг!ег 01 апг! 02 тз !пс1иг!ед ш Рейп!т!оп 6.31, апт! !я а !о втег Ьошн1 !ог тЬе т!пте соптр1ех!ту.
ТЬеогепг 6.38 Тае отге-Ите сотр1епту о~ йе еспо а1допйт тв 0(Х!). Тле Ите сотр1ехйу от' йе еского а1дотгйт тв 6(Х), еиеп тп петшотМв иий Йатетег 1. Рттго~. То апа1уке тЬе опе-1!гпе сотпр1ех!ту, аяяшпе 01 апс! 02. А ргосеяз ат, 1юр т!!ятапсе г! антош тЬе !и!тЫог гесеЬтея ФЬе йгз1 (то1) шеззще ехасф т! т!тпе ип!тя айег тЬе ятагт оГ тЬе сошритат!оп апт! Ьм г1ертЬ гт ш Же гезий!пд тгее Т. (ТЫя сап Ье вЬогчп Ъу шт!ист!оп оп Н.) ! ет 1)г т1епоте тЬе т!ерш оГ 218 о' И'аз~ маИ Раиегза1 АЦопйтз Т: СЬеп й- ( 0 апс1 а ргос.яя МСЬ г?ерСЬ г1 1п Т вепря йе (Со?с) шезяаде Со 1Сз ГаСЬег аС СЬе 1аСевС а: (",Вт + 1) — Ы Снпе ип1Св аГСег СЬе ягагС оГ СЬе сошрцгаСюп.
(ТЫя сап Ье вЬ, м п Ьу а Ьас1очвгг? 1пг1цсС1оп оп с?.) ?С ФоПож~я йаг йе 1п?С1аСог дес1с1ея аг ~ »е 1асезс ас 2.07 +1 сиге цп1Ся а?Сег йе ясагс о? тЬе сотпрцСаС1оп То апа1уге СЬе С1ше соп'.и''х?Су, мвшпе Т1 апс1 Т2. А ргосезя аС Ьор с11вСапсе И гош СЬе 1пЖаСот тесе?чез йе ЙгяС (Со?с) шеяза8е аС Йе 1аСеяС аС Ы С1ше иштя айег СЬе яС;:т оГ СЬе сошрцСаС?оп. (ТЫя сап Ье яЬояп Ьу 1пйисС1оп оп Н.) Ляяцше й 'рапшп8 Сгее 1з сошр1еСег? Г С1ше цп1Ся айег Йе вСагС оС Йе сошриСаС1оп, ° Пеп Г < .О.
?С 1в поС песеяяат11у СЬе саяе йаС сЬе с1ерСЬ Бт м сЬе ярапш;. Сгее 1я Ьоцпйес1 Ьу СЬе с11ашеСег (м ю111 Ъе вЬо~~т. 1п СЬе сотпрцгаС1оп Ьс'ож), ЬиС ав СЬете аге У ргосеззея СЬе йерСЬ 1в Ьошн1ей Ьу Ч вЂ” 1. А ртосгвя к1СЬ с1ерСЬ й ш Т вепс?в йе (Со1с) гпевяа8е Со 1Св ?аСЬег аС СЬе 1аСевС а, ', 7+ 1) + (Вг — Ы) С1тпе ип1Св айег СЬе язагС от" СЬе сотпраСаС1оп, (ТЫв;ап Ье яЬоъп Ьу а ЬасЬтатг? 1пг1исС1оп оп д.) ?С 1о11о~чз СЬаС СЬе 1п1С1аСог й-с'.с1ев аС СЬе 1аСезС аС (Г+ 1) + От С1те цп1Св а?Сег СЬе яСатС о? сЬе согпригаС1оп, апс1 СЫз 1я 0(Х). То вЬо~. СЬаС й(Ф) 1з а 1от'ег Ьоипс$ оп СЬе С1ше сошр1ех?Су, а сошриСаСюп оп СЬе с11с?ие оГ Аг ргогеявея 1в сопвСгисСед СЬаС ияея С1гпе Ф. Г1х 1п СЬе с1щие а ярапп?пд Сгее от церСЬ Х вЂ” 1 (асСиа1!у а 11пеат сЬаш о? пот?ея). Аяяшпе СЬы а11 (Со?г) гпевящея вепС г1ожпжагг1 м?а Стее ес1дея аге гесе1чег1 1/сЧ С?ше ишСв айег СЬеу аге зепС, апс? ( Со?с) тевваеея йа Ггопг? ег1дев аге гесе1чес? айег опе Сипе ип1С.
ТЬеве йе1ауз аге а11оъег? ассоп1?п Со мяшпрС1оп Т2 апс1 1п СЫя сошриСаС1оп СЬе сошр1еСе Сгее 1з Гогпж1 ж1СЫп опе С1ше ип1С ЬцС Ьая а г?ерСЬ оГ М вЂ” 1. Аввише подач СЬаС а11 тезва8ея яепС иржагс1 ч1а Сгее ег?дея а1во виЯег а г1е1ау оГ опе С1ше ишС; 1п СЫв саяе СЬе г?ес1зюп Са1 ев р1асе ехасС1у Ф С1ше ип1Сз айег СЬе яСагС о? СЬе сошриСаС1оп. П Опе тпау агнеце аЬоиС СЬе с?цезС1оп ъЫсЬ оГ СЬе Ьчо йейп1С1опз вЬои1й Ье ргеЕегтес? реп йвсизя1п СЬе С1ше сошр1ех?Су о? а йзСг1ЬиСес? а18от1СЬтп. ТЬе опе-Сипе сотпр1ех?Су яиНетя антош СЬе г?1засЬ~апСа8е СЬаС яоше сошриСаСюпв аге поС сопзЫегег?, а1СЬоидЬ СЬеу аге рояз1Ые ипг?ег СЬе а?дот1СЬш, Апюп8 СЬе сошриСаС1опя 1дпотег1 СЬеге тау Ье вогпе СЬаС аге ехСгеше1у С1ше-сопвцш?п8. ТЬе аязишрС1опя шаг?е 1п ОейпЖоп 6.31 Йо поС ехс1ийе а я1щ1е сошриСаС1оп; СЬе с?ейп1С?оп оп1у г?ейпез а С1ше шемцге Гог еасЬ сошриСаС1оп.
ТЬе С1ше сошр1ех1Су зиЯегя Ггош СЬе г?1змЬзлСа8е СЬаС СЬе геяи1С ж с?еСетгп1пей Ъу согприСаС?опз (яисЬ ая ш СЬе ртов оГ ТЬеогеш б.38) СЬаС, а?СЬоидЬ ровв1Ь?е, аге сопзи?егер Со Ье ехСгетпе1у ип1йе1у Со оссш. ?пс?еед, 1п СЫв сошриСаС1оп а з?псе лезвие ?в "Ьуразвег1" Ьу а сЬа1п ог У вЂ” 1 вег?а11у СгапвтшССец шеззацез. Егететвев Ая а сотпргогЫзе Ьегъееп йе |ио с|ейпЖопя опе тпау сопя|г|ег тЬе:ир|татттпе сотпр!е-тгу, жЫсЬ |в йегеггп|пес| цпс|ег гЬе азяшпрс|оп гЬа|,;Ье бе|ау оГ еасЬ тпезва8е |в Ьетиееп а апт| 1 (а тя а сопвтапт < 1), ||пГогтцпаге1у й|в сошргопцзе яцГГегз Ггош гЬе т||яат|чапга ея оГ Ьо|Ь а|гегпат|че.. ТЬе геас|ег шау жап1 1о зЬочч Ышве1Г гЬаг |Ье ст-г|ше сошр1ех|гу оГ |Ье ~сЬо а1аогтгЬпт 1з 0(ш|п(Ж, О/а)).
ТЬе тпозФ ргес|ве тпемцге оГ г|ше соптр!ех|гу |я оЬга1пег| ~чЬетт а ргоЬ- аЫ1|~у т|1йг|ЪцМоп оГ |Ье шезяау;е с1е|ауя сап Ье аяяшпес1, Гготп ц ЬкЬ ГЬе ехрестет| Йше оГ а согпрцФаИоп оГ гЬе а18ог|тЬш сап Ье сотпрцгес|. ТЫв орг|оп яцГГегя Ггош гжо арпа)ог ЙзасЬапгадев. Г|гзг, гЬе ала1уя|з оГ тп а|дог|гЬтп жоц1с| Ье гоо яузгеш-церепт|епг, Ьесацзе ш еасЬ г||ягг|Ьцгед «уягетп 'Ье г||згг|ЬцМоп оГ тпеззаае г|е1ауя |я с||ГГегеп|. Бесопт|. +Ье апа1уя|в ~чоцИ Ье Гаг 1оо сошр11са1ей Фо саггу оцт |п тпояг сазея. РейпИ|оп Ьазес| оп гпеязаце сЬашв. ТЬе г|гпе сопяцтпрМоп о1 а йягг|Ьцгес| сотпрцгаг|оп сап Ье Йейпет| ця|пд ятгцсгцга1 ргорегг|ея оГ |Ье сошрцсаг|оп гагЬег гЬап Ыеа1|вет| тип|а мяцтпрИопв.
1 ег С Ье а сотпрцгагюп. Рейп|'|оп 6.39 А теввауе с|тавп гп С Гв а ведиепсе тт, тп2,... т~ от" теввадев, висЫЛат ~от еасЛ т., О < 1 < lс, тпе тесетрт о~т, саиваПу ргесегтев г|те вепйпу о~ тп,+т, ТЬе сЬат-Нте сотр1ехтгу от а йвГтййтет| а1уот.ь|Ьтп тв ГЬе 1епдтй о~ Гйе 1опдевг теввауе ейатп гп апу сотритатдоп о| тпе атдотчМтп. ТЬ|я с|ейпЖоп, 11|ге Рейп|г|оп 6.31, сопз|г|егя а11 рояв|Ые ехесцт|опв оГ ап а|~ог|гЬш |п огт|ег 1о тейпе 1тз типе сошр1ехйу, Ьцт, мз|рья а сИГегеп1 шеавше со ~Ье сошрц1айопя. Сопв|т|ег гЬе в|йцаг|оп (м оссцгя 1п ~Ье сошрцгаг|оп т|ейпег| 1п 1Ье ргооГ оГ ТЬеогетп 6.38) 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т,оп 6.1 Ехегстзе 6.1 итие ап ехатр1е о~ а Р1Р а1уотчтЛт |от в|тйетв иий зупсЬгопоця тевваде раввгпд Яа1 ттоев по1 айош сотриха1гоп о~ ттфта |'сот- б' Игаие ап1 Тгаьетза1 Муот~1Ьгпз 22О рагс ТЬеогега б'.7 апН б.1ф.
гноит етатр1е тпау бе зийаб1е ~от а рагЬси1ат 1оро1оди оп1р. Ехетс1зе 6.3 Сгибе 1шо раг1га1 отаетв оп йе па1ига1 пигабегя аког шЬ1сЬ йс ьпбтитп 1ипс1~оп 1я (1) йе утаЛея1 сопппоп ЙЬиог, апЫ (2):;е 1еая! соп'гпоп апсез1от. Сяе раг1.а1 от1егя оп йе соПес11оп о~ зибзе1з о~ а иптетяе У ~от иЬ.'сЬ йе ~п~тпитп 1ипс11оп ы (1) Йе 1п1етзес1лоп а~ яе1в, апг1 (2) 1Ье имоп о~ зе1з. Ехегсие 6А Ртоие йе 1тфтит ТЬеотетп (ТЬеотетп 6.13).
Беспол 6.2 ЕхегсЬе 6.5 БЬош йа1 1п еасЬ сотпри1а11оп о~ йе 1тее а1уог1йтп (А1уо- тч1Ьтп 6.8) есас11у био ртосеззез НесЫе. Ехетсьье 6.6 Уяе йе есЬо а1уопМт (А1уотВЬтп 6.5) 1о ип.11е ап а1уотъМтп 1Ьа1 сотпри1ез а ртах 1абеНпу всЬетпе (яее Бибяесбоп 4.4,3~ ~от ап атЫтату пе1шот1с илпд 2~Е~ тпеззауея апг1 0(Ф) алтае ип11я. Сап уои дие ап а1дотЮЬтп йа1 сотри1ев йе 1абе1гпу зсЬетпе т 0(Р) алтае? (З м йе йатпе1ет о~ Йе пебшотЦ Ехегс1зе 6.7 БЬош йа1 йе те1а1гопзЬ1р ю йетптпа б.1д а1яо ЬоЫя ч тпея- яадея сап де1 1ов1 гп 1Ье сЬаппе1 ру, би1 по1 11" тпеяяауез сап бе ЙирПса1ей. ИгЬа1 я1ер т йе ртоо~~ач1з г~ тпеяяауез сап бе Йир1гса1ей? Ехегс1ве 6.8 Арр1у йе сопз1тис11оп о~ ТЬеотетп 6.12 1о 1Ье рЬазе а1уот11Ьтп зо аз 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}
