Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 56
Текст из файла (страница 56)
ТЬе сошр1ех1ту оЕ тегш1пайоп т1е'.есМоп 1я а1зо ге1ьтес1 то тЬе соят оЕ ехесцЫп~ а тча~те а1~огЫЬт; 1еЕ Ит' с1епо1е йе шезза~е 8. 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 а|евап !СЪ'90], ип11 Ъе г1!ясияяеи. ТЬеогепа 8.2 Рат еггету гетгптаггоп-аегсс|гстг а!дотггггтп Жете етгвгв а бавгс сотпбпг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 Егогп ~Ье !пй!а! сопйкига|!оп Ьу ехсЬапа!щ опе Ьая!с шезяаде; отЬегчт!ве, висЬ сопйцига|!опв !пс1ис!е !ш|,!а! сопйдигьыопв. Г!гв| сопя!с!ег |Ье согпри1айоп игЬеге, втаг|!п~ Егоп| соплрлгаС!оп ~, ЬойЬ ргосевяев Ьесоше раявгче сопсшгеп|1у, |.е., |Ье вуя1еш геасЬея |Ье сопйдига~1оп б = Т (1,(у)).
Тегшша|!оп шця| Ье |1еСес1ес! и"!|Ь!и а йп!се пишЬег оЕ йерв; Ъц~ пе!|Ьег р пог д сап са11 Атгпоитгсе жЫЬоггг йгв1 тесе!и!пд а шеявагге Его|п ~Ье о|Ьег ргосезя. 0|Ьегипзе, ~егп|!па|!оп соц1г! еггопеоия1у Ье с!е1ес|е|1 ш а сопйр~гайоп итЬеге йе о1Ьег ргосеяя !з яг!11 ас !че. (1Е тегш!пайоп !в г1е|ес1ес! Ьу а |Ь!гс! ргосеы а| !ему |иго шезвьдея аге песезяагу.) Сопзег1цеп~1у, ас 1еаьй опе сорго! шеяяаде |пил Ье ехс1|ащес! ш сопй ига|!оп б ЬеЕоге тегш!паИоп сап Ъе г1е~ес~ес!.
%ЫЬои~ 1озз оЕ цепегаИу, аязцп|е р иг!11 яепс! а сорго! шеяяще ш сопйдша6оп б. СопяЫег а сотрц~а6оп |и игЫсЬ, яраг~!пя Егош у, оп1у р Ьесотез рмв|че, !.е., ФЬе вув1еш геасЬея ~Ье сопйрьгаг1оп ур —— 1„(у). ТЬе я1аге оЕ р 1я СЬе ваше !и сопйр~га|!опз у„апг! б, апг! сопзег1иеп~1у, р а1яо яеп|1я а сопгго! шеязаце ш сопйр~гайоп у,. Моге асФ!ч1гу оЕ 1Ье осиного! а1~ог!$Ьш шау ЕоПо|ч, Ьи1 ~Ь!з г!оез по~ !еаза 1о с1е1есаоп Ьесацзе д !в яЯ! асг!че. Айег ~Ье соп|го! а1~ог!|Ьш Ьм яЕоррес! ехсЬап |пд шезвая:м, д зепй а Ъвз!с шеяяаде В Ти-тглибол 0етесЬол го р ~о гегпгп 1,о а соийргаг1, чЬеге Ъой р апд д аге асйче. Моте сои~го1 ыХ~ч1тч гиау то11оъ. Ъпт, атт-т;,и11е1у гиапу Мерв а~а~и а соий игаг1ои 1я теасЬед 1и мЬ1сЬ ЪотЬ р аи„', лге ас6че аис1 по тпеяяадея аге 1тт 1гапя1т,.
Б| тшпаг1ищ (1) а соийдыгат1ои 1и жЬь . '~оЖ р аид в аге ас1Ье аид по тиеяяа~ея ате 1и ~гаия1~ сап Ъе геаси гготи аи 1шг1а1 соий игаИои Ъу ехсЬапд1п ат тиояв оие Ъм1с тип~за.е; (2) гЬе Ъаыс ь1дог1йти с,. иоче 1готи оие впс1т а соий~ыга11оп 1о аио11тег Ъу гхсЬаи.1ив:г тиеяваве апд тогс1и тЬе соигго1 а1 ог1тЬти го ехс1таиде ат, 1еаяг и -,:отйго1 жеева е; апд (3) т1 тЬе Ъав1с сотири1агь т гегтшпавеь айег яисЬ а соий~игат1ои, а~ 1емт, оие соигго1 тпеяв...ы ишз1 Ъе ехсЬаидед 1тт огдег 1о детес'. Нт1я.
ТЬ1я пир11ев тЬе геяи1г ТЬеогегп 8.3 Ве1естглд Ии "ьттитиайоп от' а десеитга1иед баас сотлри1айоп гедиьтм тле ехсЬаиде о,' "' времй 1$ сотМто1 тпеввауев пл тЬе ыотвт сазе. Ргоо~. Соиь1дег тЬе Ъвя1с со: 'оигат1ои йав доев иот, ехсЬап~е аиу тиеяяаде аид ъ Ьеге еасЬ ас~1че ргосе:" Ъесотиев равя1че ая йя йгя~ ечеи~. ТЬ1я Ъм1с сотирШайои геошгея тЬе дете. ьюи а1~от1:Ьтп ~о Ъе а ~чаче а1~огйЬти Ы 1Ье детес6ои (ГЬе са11 то Алпоии, е) 1в гецагдед м $Ье дес1я1оп.
1идеед, а са11 го Аплоилсе итие сссрнг М1Ь1п а йище пцтиЪег оЕ зФеря, ~чЬ1сЬ ргочея ~Ьа1 тЬе де1есйои а1~огйЬти 1тяе11 сегти1патея аид дес1дез. 1Г тЬе десЖоп 1з иот, ргеседед Ъу аи ечеит, 1и вош" ргосеяв 0, а д1Еегеи$ Ъм1с сотири1ат1оп 1я ссия1дегед ~чЬеге д доев по1 Ъесотие рмв1че. ТЬе дес1в1оп доев поФ дерепд саиза11у ои аиу ечеит, 1п д, яо 1Ье де~ест1ои а1вогйЬтп тпау еггопеоив1у са11 Апиоипсе Мп1е д 1я яЫ1 ас11че. Ав ФЬе де1ест1оп а1дог1$Ьш 1я а тчаче, Й ехсЬапкея а~ 1еазФ И'" ~иевяакев. П ТЬе вФаг1 оГ Иье детесйоп а1~огЫЬпт. СЬапдгаяе1агаи аид Чеп)татеваи 1СЧ90) Ьаче оЫа1пед а 1гачег Ъоипд оГ ~Е~ соптго1 тпеявацез ипдег $Ье 1о11оМид 1тчо аддй1оиа1 мвпитрс1опя. С1. ТЬе сЬаипе1в аге йГо. С2.
ТЬе ьегпипай1ои-де1есйоп а1дог1йтп тпау ятаган 1тв ехесийоп а1 апу багие аттег гЬе Ъм1с сотиритат1оп Ьм в1аг1ед, 1.е., ш ап агЪйгагу сопй игат1оп оГ 1Ье Ъвв1с сотпри~а6оп. 11идег ~Ьеве аввитирт1оив аг. 1исоггесг, десесМои сап Ъе епГогсед Ы тЬе детесг1ои а1цог11Ьтп доев по~ зеид а соп1го1 тпеязаде тЬгои~Ь оие рагйси1аг едЕе, зау рц. Зия1 Ье$оге $Ье де1ест,1ои а1догЖги з~аг~з, йе Ъм1с сотири~аФ1оп о'.1 Ртегггпгггатгее 2г! айаг Яеггго1ор.„ Песо'гор : Ьоо1еап ггйеаег !пав га1ае; !пав 0; Ргосес1иге Аппоипсе. Ьефп Ы пог БеггЮор„Жеп Ьегг!и БепЮор = итие; Гога!1 г ~ ОиГ йо вепш,' вФор,' 'о о епо' епо ( А ~ в1ор) агеева е Ьав ьгггчес! аг р ) Ьее!и гесеггге,ягор); Нес$гор:= ЯесЯгоэ + Аггпоапте, 1Г НесЯгор,„= ф Ъ„ФЬеп Ьа1г епй Л18отййш 8.2 ТНЕ лггмои~:СЕЫЕьт аг.ооагтнгь В.1.Ю Теттиепойтгд Фйе Ртосеззез То аппоипсе гЬе 1егш1па6оп $о аЛ ргосезвез, а ( ягор ) шеяваде 1з йоос!ед Во аБ ргосеззея.
ЕасЬ ргосезв зепс1з зисЬ а шезза8е Фо а11 пе18ЬЬогв, Ъи~ моея во аФ шоя1 опсе, еИЬег ш а 1оса1 са11 оГ Аипоиисе ог ироп гесе1рС оГ гЬе 6гзй (вФор) шевяа8е. реп а (вСор) шеяваее Ьвя Ьееп гесенгес! 6ош е~егу пе1КЬЬог а ргосезв ехесигея гЬе вгагешепг, вФор, саия1па 1Ье ргосевв го епгег а 1егш!па! йа~е. ТЬе аппоипсешепг, ргосейиге 1я 81гтеп ав А1дог1ФЬт 8.2. А1догЫЬш 8,2 сап Ье ияег! Гог агЬ1Фгагу соппес~ед 1оро1о8!ез, !пс1ийп8 яепс1я опе айЫ1опа! лезвие иа сЬаппе! ро; ~Ь1в шеаяаае !я по!, оЬяеггчеб Ьу гЬе сорго! ъ1~огйЬш, Ггош ъ.ЫсЬ ап 1псоггесг с!енес! гоп !в дес!исеть. ТЬе а1- 8огКЬт о1 СЬапс1гаве1гагап апс! 'Чеп1и1евап вепс!в а сорго! шеяяаце 1ЬгощЬ еасЬ сЬаппе1, 1Ьив Гогсш8 а11 теявщея веп~ ЬеГоге тЬе яйагй оГ гЬе сои~го! а1цогЫЬт ~о Ье гесс ей ЬеГоге с!е~есйоп 1а1сез р1ъсе.
Ъ'1гЬ ап аг ишепг, затйаг ~о гЬе опе ива 1и !СУ90~ 1~ сап Ье вЬожгп гЬа~ ~Ье ргоЬ!его а1!о~чв по во1иг!оп а~ аИ К аззишр6оп С2 1в !и еггесг, Ьиг аявип1р~1оп С! 1я пот. 11 ъч11 Ье аввишес! ш гЬ1я сЬар1ег 1Ьа1 гЬе сорго! а1дог1йгп !и з~аг~ег! 1п гЬе 1пМа! сопйрггаМоп оГ гЬе Ьаз1с сошри~ай1оп, 1.е., 1Ье Ьая1с сошрига6оп регГоггпз по шшо6сес! ечеп1 ЬеГоге гЬе зФъг~ оГ ~Ье сорго! ъ18огМпп. Н ~Ь|з взвишриоп !з гер1асег! Ьу азяишрг!оп С2, 1Ье ргоЬ1ет Ьая а во1ийоп Ы апд оп1у Ю гЬе сЬаппе1я аге йго. апй гЬе во!и~!оп !в Гоипс! ш [СЪ'90] 1ог йЬ1я саве. 8 Тзгпппайап Эе!ес1гоп а.'гес~ес1 пе-~чоган, апй гесршея по!еас1ег, по Ыеп~Жся, апй по горо!о"1са1 1спо Лейо'е М а11.
Согпрш.в,",1оп '-':-е' аль Гогеягя ТЬе яо1. по:..- '.еясг1Ьес1 !и гЬ!ь ьссС',. и иге Ьаьес1 оп гпа!пм1п~ " гЬпат1с.'.1!ъ' а,11:есге-' агап!~, са11е'.! !Ье со~лрат~~ол дгирЛ,, оЕ ъч1исЬ ".пе посев 1пс1и;1е .". ьг-.дс ргосевзея апг1 л!1 Ьзз1с те.:яааея 1и !гата!.
Тегтг!: ат1оп 1я си1ес'.М жЬ'и ГЬе сстригай1оп дг«!~Ь Ьгсотев етрфу. П1е яо1иг1опя ОЕ гЬ1я яесгяп ~еошге ',Ьаг гЬе пегаог!' 1в ипйгьс'.ей. 1.е., тсязацея свп Ье зепг 1и г.ъо 2!г~сг,;опя с1а еасЬ сЬаппе1. ЯиЬьссФ!оп 8.2.! с1еьсг1Ьев а ьа1ииоп Еог семге'.~: с! .~аз~с сотригаггопв. ~г .~ пггЬ Ье сои.риг,~гуоп 8гарЬ ~в а ггее ~чк1~ гЬе !и!!!сгог аь 1Ье гоог. ЯаЬзес 1оп 8.2.2 ~е;;е;а!1яев Имя во1иг1оп го с1есепгга!!аей Ьая1с сотр~йай1опв а.г! изея а Еогеьг, гп ъ~Ь!с1~ еасоф 1шГ!агог оЕ Ье Ьяя1с соп р гав!оп гя гЬе гоог оЕ а ггее. В.2.1 ТЬе Одев'та-БсйоИеп А1цот 'гЛтл ТЬе а1~ог1гЬт оЕ ЭцЫ1га апс! Ясао1геп 1ЭЯ80] ае1ес~в ~Ье 1егт!паиоп оЕ а селгтаЬсег! Ьая!с сотригайоп (са11ес! а йДъяпд сотри1абоп !п (ЭЯ80]). ТЬе ~п1йаг ог оЕ гЬе Ъая'.с сотригаг1оп (са!!ес1 где елзгтоптлел~ ш [1)Я80]), а1во р1аув а врес1а1 го1е !и 1Ье йегесМоп а1аог1~Ьт апй 1я с1епогей Ьу ро.
ТЬе с!енес !ои а1допФЬт йупагп!са11у та!пгашв а сотриФа6оп ггее Т = (Ъгг, Ет) ~иГЬ ГЬе Ео11ок1п гио РгоРегМез. (1) ЕйЬег Т 1я етргу, ог Т !я а йгесгей ггее юКЬ гоо! ро. (2) ТЬе ве1 1~т 1пс1ис1ея а11 асгюе ргосеявея апй аП Ьзя1с тезяадев !и ггапя!г,. ТЬе шЖа1ог ре са11в Атюоиисе ~Ьеп ро ф Чт, Ьу гЬе Йгв1 ргорег~у, Т 1в етргу 1и гЬ1в саве, апс! Ъу 1Ье яесопг! ргореггу, Сегпг Ьо1дя. То ргеясг~е гЬе ргореп!ея оЕ 1Ье сотри1аЫоп ггее ъЬеп:Ье Ьая!с сотригай!оп ецио!ъея. Т тизл Ъе ехрап6е6 тчЬеп а Ьаз1с тевваае !з вепг ог жЬеп а ргосеяь, пог гп ~Ье аггее, Ьесотея арче.
%'Ьеп р вепй а Ьая!с тезяаце ( спев ), ( гпея ) !з !пяеггес! !про 1Ье аггее апс! гЬе ЕагЬег оЕ ( гпез ) 1в р. реп а ргосезз р, поФ !и ~Ье аггее, Ьесотез ас11че Ъу гЬе тесе!р1 оГ а теззаде Егот ц, ц Ъесотея гЬе ЫЬег оЕ р. То гергевепг, 1Ье яепдег оЕ а теззще ехр11с1г1у, а Ьая!с темаце ( гпея) зеп1, Ьу д Ы11 Ье с1епойес1 ая (пгея, д). ТЬе геточа1 оЕ пойея Егот Т 1з а1зо песемагу, Еог Ьчо геаяопя. Р1гвй, а Ъаз!с тевзаце !в йе1еСес! юЬеп !г !в гесе!чей.
Бесова, го епзиге ргоагезя оЕ $Ье с1е!ес+1оп а1 огМип 1Ье аггее тия~ со11аряе илй1п а Йпйе питЬег '1 Сотари1а!гоп Тащет аги~ Гогеь1в г7З айаг Ма1ср . (асйие., раыгие) 1п1С К р = ра 1Ьеп асггие е1ве рсииис; вср . 1пге~сг 1п1+ О; уайет: Р шЫ 11 р = рс 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}
