Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 16
Текст из файла (страница 16)
ТЫв !я пот тЬе сме !от соппест!опв тч!тЬ гешоте ятаМопв. ЯисЬ а соппест!отт шау Ье песещату тешрогаг11у Еог ФЬе ехсЬапзе оЕ воше с!а!а, Ьи1 й Ьт ивиа11у Фоо ехрепвЕче то ша!пта!и а соппест!оп ю!тЬ ечегу гетпоте втат!оп шс!ейш";е1у. ТЬегеЕоге тЬе аЫ1!ту 1о ореп апс! с1озе соппесМопз и!11 Ье геци!тес! Еог тЬе яесопт1 ргоВосо1.
ТЬе тгеаттпепт оЕ тЬе йгят ргососо! вЬоъя тЬас т!шег-Ьмет! шесЬашзшя аге пот еязепт!а! то асЫече тЬе геои1гес! заЕе1у ргорегМея оЕ тЕата тгвттвш!вз!оп рготосо1я. Яест!оп 3.1 яегчез аз гЬе йгя~, !аде ехатпр1е оЕ ~Ье ргооЕ оЕ ваЕету ргорегт!ев, ге!у!п~ оп 1Ье ргооЕ тоо1з т1евсг!Ъет! !и Яест!оп 2.2. !т !в балт!е1у Ье1!ечед !Жат8Ц тЬат тЬе соггесФ иве оЕ Итпегз апт! а Ьоипт1 оп 1Ье Ф1ше !ог тчЫсЬ а шезза~е сап Ье и утаив!Ф аге песеыагу Еог а заЕе соппесИоп шапа~ешепт. ТЬия !п огг!ег то ргоче ~Ье заЕесу оЕ ргоФосо1з Еог соппест!оп тпапа~егаепт ~Ье го1е о Е ~1тпегв тиив~ Ье та1сеп 1пто ассоипт.
ЯесМоп 3. 2 вЬоюв Ьо~ч тЬе шос1е! оЕ с1!втг!Ьитет! вуя1етпв (ПейпЖоп 2.6) сап Ъе ехтепт!ет1 то ргосевяея ияш +!шегя, апт! рто4с!ея ап ехашр1е оЕ тЫя ехтепз!оп. 3... ое Ва!алсес! БЬйтд-~плйои Рто!ого~ СагЬ11п оЕ гпеззадев. 1С гя геа11зс1с то та!се 1псо ассоипс сЬе розв1Ъ|1!су сЬас теввадея аге дагЫес1 йиг!п8 сгапврогс. ТЬе соптепся оЕ а теззаее соттип1саФей ч!а а рЬуя1са! соппесс1оп сап Ье йатадей йие со астозрЬег!с по!ве, та1Еипсс1оп!пд тетогу ип!ся, етс.
1с сап Ьо~чечег Ъе аязитей! Ьас сЬе дагЫ1пя оЕ а тевваее сап Ъе йесессей Ъу сне гесе!ч1пд ргосевз, Еог ехятр1е Ъу теапя оЕ раг1су сЬес!св ог тоге лепета! сЬес!свит тпесЬап!вгпя !сЕ. !Тап88, СЬарсег 4]). ТЬе тесе!рс оЕ а агЫей тезяаее !з сЬеп сгеасей аз !Е по шезяа8е ъеге тесе!чей, апй с1шз СЬе дагЫ1пд оЕ а тезяаде ш Еасс саизез сЬе теязаое со Ье 1озс. Рог тЫз геаяоп агЫ1п~ !в пот сгеасей ехр11с!т1у: 1пвсеас1, сЬе ровя1Ы11су оЕ тевза~е 1ояя 1я а!ч ауя сопз1йегей. 3.1 ТЬе Ва!апсес1 Б11й1п~-илпс1о~ч РгоСосо! 1п ФЫз вест!оп а вупппесг!с рго1осо! сЬас аПоюв !пЕогтас!оп со Ье яепс геПаЫу ш ЬосЬ й!гесс!опя !и зтий!ей.
ТЬе ргососо! 1я та1сеп Егот 'ЯсЬ91. СЬарсег 2]. Ав 1т ~я изей Еог сЬе ехсЬап е оЕ 1пЕогтас1оп Ьесшееп зтас1опв сЬас аге сПгес$1у соппессей тЬгои~Ь а Ппе, сЬе 8Ео ргорегту оЕ сЬвппе1з гпау Ье авяитей. ТЫв аязитрс1оп 1я пот изей, Ьоъечег, ипс11 ЯиЬяесс1оп 3.1.3, юЬеге 1с 1я йегпопзсгатей тЬас сЬе вес!иепсе пигпЪегв ияей Ъу сЬе ргососо! сап Ье Ьоипйей. ТЬе ргососо1 !в ргевепсей 1п ЯиЪзесс!оп 3.1.1, апй ргочей соггесс !п ЯиЬвесс1оп 3.1.2. Тжо соттип1са6оп ргосевяез аге йепотес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оп 3.1.3 сЬас сЬе тапйот ассеяв сап Ье гезсг1ссей со ассеяя то а "ъчпс1ож" оЕ йшсе 1епфЬ, зЫЙ1пд очег тЬе аггау.
ТЫз 1я ~чЬу сЬе ргососо! !з саПес1 а "яПй!пд-Мпс1ож" рготосо1. Ргосезз р сопса1пз а чаг1аЫе гр, 1пй1сасшд сЬе !овеяв пшпЬегей ъ огй сЬас р зЫ1 ехрес1я 1о гесеЬге Еготп о. ТЬиз, аФ апу с!те, р Ьав а1геайу жгйФеп ои~ [0] йгоицЬ оиг !в, — 1]. ТЬе ча1ие оЕ в печет йесгеаяев.
Апа1оцоиз!у о сопса!пв а чаг!аЫе з~. ТЬе тес!гйгес1 ргорегс!ев оЕ сЬе ргососо! сап пспч Ье ясасей. ТЬе ваЕесу ргорегсу яауя сЬас еасЬ ргосезя оп1у оисрисв сЬе соггесс с1а~а; сЬе Пчепеяя ргоретСу вауз сЬас аП йаса МП ечепсиаПу Ье йеПчегес1. 76 Э С0ттитисайоа РгогосоЬ (1) Бате Ыейюеги, 1п еъегу теасЬаЫе сопйдигаС1оп оЕ СЬе ргоСосо1 оий,[О..я„— Ц = гпд[О..я,, — Ц апд оий,[О..зч — Ц = тр[О..з, — Ц. (2) Еиепйиа1 Ыейюе7и. Рог еасЬ 1пСедег Ус > О, а сопйдитаС1оп в1СЬ я„> й апд я„> lс 1я ечепгиьйу геасЬес1. 3.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 оГ СЬ1я яесС1оп, Ьоччечег, по ехр11с1С ас1тпо~ч1еддетпепС тпезяадея ьге ияед. 1п СЫя ргоСосо1 ЪоСЬ яСаС1опв Ьаче тпеяяаьея Со яепд Со СЬе оСЬег яСаС1оп; СЬе тпевяь~ез оГ а зСаС1оп яегче а1во м СЬе ас1тпо~ч1ефетпепСз 1ог СЬе оСЬег я СаСтоп'я тпеяяа~ея.
ТЬе тпеяяацея ехсЬапцед Ъу СЬе ргосеыея ьте ге1етгед Со ая расйеСя, апд СЬеу ьге оГ СЬе Гогтп (рас1с. ш,1), жЬеге и 1я а с1аСа ъогд аттд 1 а паСига1 пиптЪет (са11ед СЬе яедиепсе ицт0ег оГ СЬе рас1теС). ТЬ1в рьс1теС, ~чЬеп яепС ъу р (со д), стапятп1ся сье ~чогд и = тп,,[с] со д, ъис а)зо, ав тпепс1опед еат11ег, ьс)тпоМефея СЬе тесе(рС о1 а питпЬег от рас)теСв Сготп д. Ргосевя р сап Ъе а йхед питпЪег о1 1, рас1теСя "аЬеад оГ 0 И тче ровСи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,. (2) ИЬеп р гесе1чез (рас1с,ш,т), геСгапятп1зз1оп о1 ччогдз Гготп ж„[О) СЬтощЬ гп [1 — 1ч] 1в по 1опдег песеязьгу.
Ехр1апаС1оп оГ СЬе рвеидосоде. Айег тпаЫп~ СЬезе дез1Кп сЬо1сез 1С 1з поС чегу сИБси1С Со 1че сЬе соде оГ СЬе ргоСосо1; зее А1~от1СЬтп 3.1. А чат1аЫе а 1в 1пСгодисед Еот ргосеы р (апд ач Гог д) Со 1пд1саСе СЬе 1оччеяС питпЪегед ~чогд тот жЬ1сЬ ап ас1тпо~ч1едветпепС Ьаз поС уеС Ьееп гесеЪчес1 Ъу р (от о, геяресС1че1у). Ва1апсесЕ Яйпо-шьпсЕош Ртогосо1 1п А1Зог1сЬгп 3.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опя Бц, Н.„апд Е ~, МсЬ р апд о гечегьед. 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с .ч111 йгяс Ъе деп1опясгасед сЬас сЬе аявегИоп Р 1з ап 1пчаг1апс. (1п сЫя злс1 о1Ьег авяег6опя с' 1я а пасига1 пшпЪег,) Ьепипа 3.1 Р м ап тиапапЕ оЕ А1дотгйт 3.1. Ргоо~. 1п еасЬ 1шс1а1 сопйЗигас1оп Яр злд Я, аге ешрсу, 1ог а11 ю, ои~р[г] апд оиЕД аге избег', апд а„, о, Я~, апс1 Яр аге О; ФЬеве 1п1Р1У сЬас Р 1Я сгие. ТЬе сгапвЖопв оЕ сЬе ргоФосо1 ъч11 поъ Ъе сопяЕдегед Еп сигп со вЬоъ сЬас ФЬеу ргевегче Р.
Р1гяс посе сЬас ФЬе ча1иея оЕ Еп апд оЕ 1п„печег сЬапде. 8: То зее сЬаФ Я ргеяегчея (Ор), оЪяегче сЬас Яр доев пос Епсгеаяе яр апд доев пос та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ц) (2р) > г — 1) (2о) (зр) (зд) Ю Соагпипгсокгокг Ркокосо1з чаг вр, а„: 1пгевек гпр . агкау оЕ»»окк1 оиФр: аггау о1 гчогг1 1п1С О, О; (* 1Эага Со Ье вепС "); 1п1С иде~, Ые~,...; (а сгсвр+' ) Ьеа1п вепс1 ( рас1с, гкг,Я, г ) Со д епс1 Б.
Нр: ( ( рас1с, го, г') Я Яр ) Ьеа1п гесе1че (рас1с,го, ~); Ы оиСр[г'] = ийе~ Имп Ьефп оикр[г]:=- го; ор .'= 'т1:3х (ор, г — г» + 1); »р:= пнгг Ц ои1рЯ = иггеД) епс1 (~ е1ве 1апоге, расгкеС гчав гегкалвгпив1оп *) епс1 ( (рас1с, ы, г) е Яр ) Ьеа1п Яр .— — Яр ~ ((рас1с, го, г)) епй т ~р А1дог1сЬкп 3.1 Тнк вльлкксвэ зьгпгио-мчмэо~~ Рнотосоь (ров р). То яее СЬаС Б, ргезегчея (2р) апк1 (2с1), оЪяегче СЬаС Б, с1оез поС сЬапце СЬе ча1пея о1 аиС„оЫ„ар, ог а, То вее СЬаС Б ргевегчев (Зр) апс1 (Зс1), оЬяегче СЬаС Бр с1оев поС сЬапве СЬе ча1пея оГ а, а, в„ог в . То яее СЬаС Вр ргевегчез (Ор), оЬзегче СЬаС В с1оев поС пийе апу ои8р[г] ес1па1 Со игге~, апс1 11 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}
