Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 89
Текст из файла (страница 89)
(1) ЖЬа$ аге йе изез о~ '(1г, 1~1-е1ес1гоп? Ехетсгзаз 423 (2) Ретпопз1тл1е йаС по йе1еттитмйъс 1-ставй тобив1 а1дог1йт/ог [Ус, й]- е1Ш'о ехмм Д0 с й < ж~. (3) ба а Йе1егтхпмбс 1,-ставб, тобиз1 а1дот1йт /от (Й, Й+ 2й]-е1ес11оп. Ехегсие 13.9 0оез йе сопиетдепсе тедип.етеп1 ппр1у йа1 Йе ехрес1ей питбег о~ вмерз м ЬоипйеН 1в йе ехрес1ей питпЬет о/ в1ерз Ьоипдей 1п а11 а1дот Йтв о/ йм зесФгопд Ехегсие 13.10 ЯЬош йа1 у' а11 соггес1 ртосевзев з1аг1 тоипй й о/ йе стазБ; тобиз1 сопвепзив а1дог1йт (А1дог1йт 13.3), йеп а11 соттес1 ртосезвез шх11 а1зо хизб, тоипй Й. Ехегсие 13.11 (1) Ртопе, йаС ч/ тоге йа1 (У + 1)/2 ртосезвез зйгФ йе ставб;тобив1 сопзепзиз а1дог1йт (А1дот1йт 13.31 ипй 1при$ и, йеп а Несм1оп 1от и м $айеп 1п Йтее тоипаз.
(2) Ртоие, йа$ 4 тоге йап (Ф вЂ” 1)/2 ртосеззев з1ат1 йе а1допйт илй 1при1 и, йеп а Лесм1оп /ото м роззй1е. (3) 1з л Йесм1оп /от и ровзчЫе г/ ехас11у (Ж вЂ” 1)/2 ргосезвез з1аг1 йе а1дотъйт ипй 1при1 и ? (4) ЖЪа$ ате Йе Ыа1еп1 1при$ соппЯитаб1опв о/ Йе а1дог1йтв Ехегсие 13.12 (1) Ртоие Йай, Ч тоге Йап (Л + й)/2 соттес1 ртосеззез в1аг1 А1дог1йт 13.5 ипй гпри1 и, а и-Йесмьоп м еиетйиа11у Ьйеп. (2) Ргоие Йа8, 1/ тоге йап (Ф + 1)/2 соттес1 ртосеззез в~ат1 А1дот 'Йт Ы5 иий жрЫ и апй 1 ( Ф/5, а и-Йесмоп м 1айеп иий1п био тоипаз. БесЬ1оп 13.6 Бхегсие 13.13 Ртоие йа1 по азупсЬтопоиз т;Вузлпг1пе-тобиаса Ьгоайис а1дотчйт ехай /от ~ > Ф/3.
Ехегсие 13.14 Ртоюе ЙаЬ йа1пд йе ехесийоп о/ А1допйт 13.б а1 тозс Ж(ЗИ+ 1) тпезвадез ате зеМ бу соттес1 ргосезвез. 1."аи11 То1егапсе ~п ЯупсЬгопоив Я~1егпя ТЬе ргеч1оив сЬарйег Ьм з~ис11ей гЬе йедтее оЕ Еаий Фо1егапсе асЫечаЫе 1п сошр1еге1у мупсЬгопоиз зуятешв. АЖощЬ а гемопаЫе гоЪизФпезз и атта1паЫе, теИаЫе вувФешв ш ртасФ1се аге аЬчауя вупсЬтопоив 1п ФЬе вепве оЕ ге1у1п8 оп ~Ье иве оЕ т1шетз апс1 иррег Ъошк1з оп СЬе шеззаде-берегу Мше. 1п гЬеве вувФешз а ЫдЬег йедее оЕ гоЪивФпезз ж айа1паЫе, ФЬе а1~огЫЬшв ате з1шр1ег, апс1 ФЬе а18ог1ЕЬшв ригыйее ап иррег Ъоши1 оп, ФЬе гезропве г1ше ш шовФ оЕ ГЬе смея.
ТЬе зупсЬгопу оЕ йЬе зувФеш шалея 1Е 1шрояв1Ые Еог Евину ргосевяев то сопЕиве сотгесФ ргосеввея Ъу поФ вежлив шЕоппа$1оп; шйеей, 1Е а ртосевв сЬев цос гесейге а шеяяа8е ДкЬеп ехресСей, а йеЕацй ча1це ж изей ЬжФеас1, апй гЬе яепбет Ъесотпев зцяресйей оЕ Ъе1пд Еацйу. ТЬия, сгавЬеб ргосеввев ьге с1етестес1 ппшейа1е1у апй розе по йшсий ргоЫепж ш яупсЬтопоцз вуза,ешз; ~че сопсе~йгаФе оп Вулый1пе Еа11итез ш 1Ьж сЬаргет, 1п Яесйоп 14.1 1Ье ргоЫеш оЕ ретЕотшшд а Ъгоайсм~ ш зупсЬгопоия пегжотйв ж вФийей; ме ргеве~й ап иррег Ъоцпс1 ($ < Я~3) оп, ФЬе гев111епсе, м ~е11 ав гио а1вот1йшз ч6СЬ орФ1ша1 гев111епсе.
ТЬе а1~огПЬшв аге йетегппп1вт1с аш1 асйече сопзепвця; Ы ж мвишей йаФ а11 ргосезвез 1тпоп аФ жЬа~ Мше ФЬе Ъгоайсм1 ж 1шФ1асес1. Весаияе сопзепвия ж поФ с1етегш1п1я11- са11у асЫеъаЫе ш азупсЬгопоиз вувгепж (ТЬеогеш 13.8), Ы Ео11о ~в тЬа~ ш гЬе ргевепсе оЕ Еа11игев (ечеп а яшд1е сгвзЬ), вупсЬгопоив зузтепж ехЬ1ЪЫ а втт1ст1у яФтопвег сошриФа11опа1 рожег ФЬап авупсЬгопоив опея. Весаизе стмЬ1пд апй по1 зепс11пв 1иЕогшабоп аге йеФес~ей (апт1 Ьепсе "Ьагш1евз") 1п зупсЬгопоив зуввепж, Вуиахй1пе ргосеязев аге оп1у аЫе то сця~игЪ гЬе сошритаг1оп Ъу зепс11пв еттопеоиз шЕогшайоп, е1тЬег аЪоиФ тЬе1г очень атаке от Ъу 1псотгесв1у Еогмтагйпв шЕогшайоп. 1п ЯесМоп 14.2 1г ъчП Ъе Йешопв1гаФей ~ЬаФ ФЬе гоЬивФпеяз оЕ яупсЬгопоив вув~епж сап Ъе Еигйег епЬапсес1 Ъу ргочк11пв шеМюс)я Еог 1пЕогшайоп аи1Ьепйсат1оп.
424 ' БупсЬгопоиз Лесиною Ртососо1в 425 %1сЬ 1Ьеяе шесЬашзшз Ы Ъесошев 1шром?Ые аког а шаЬс?оиз ргосевв Фо "Ье" аЬоиФ Ыогшайоп тесе?чес? ?тош оФЬег ргосемез. ?Ф гешапи ровв1Ые, йощ?Ь, Фо вепс? шсопв1вФепс шхоппайоп аЬоШ ФЬе ргосеяв'в осчп ясаке. В и а)зо вЬачп йаг, 1шр1ешепсайоп оГ аисЬетйсаФюп и ш ргасИсе ром1Ые ивша сгурторарЫс ~есЬшс?иез. ТЬе а?зопйшв ш Бесйопз 14.1 апс? 14.2 аввцше ап 1с?еа?1вес? пюс?е1 оГ яупсЬготюиз вуяФепи, ш мЫсЬ ФЬе сошрцФайоп ргосее?я ш рц)вев (а)во саПес1 тобй); яее СЬар$ег П.
ТЬе 6шс?ашепйа?1у Ыф~ег гев1Ьепсе оГ зупсЬготюиз вувФешз ачег ззупсЬхопоиз вувсепи ппрЬез йе 1шрояя1Ьйсу оГ апу 1-сгввЬ-гоЬивс с?еФегпшЫс ипр1ешепФаИоп о? йе ри1яе шос?е1 ш йе аяупсЪхопоия пюс?е1. (БисЬ вп Ьпр1ешепФас1оп, саЛес? а вупсйгопыег, и ром1Ые ш геЬаЫе пехот?ся; вее БесФ1оп 11.3). ?шр1ешепсаЫоп оГ СЬе ри)ве шос1е1 и рояв1Ые, Ьоччемег, 1п авупсЬхотюив Ьоипс?ес1-с?е1ау пейчог?св (БиЬзесс?оп 11.1.3), ч~Ьеге ргосеввев ромезв с1ос1св апс? ап иррег Ъоцпс? оп шмваяе с?е1ау и 1спотчп. ТЬе ппр1ешепФаМоп и роза?Ые реп 1? ФЬе с1ос1св с1пп апс? ир 1о опе-Мшс? оГ 1Ье ргосемея шау Га?1 ша??с1оив1у.
ТЬе шовс с11й?сий рагс оГ ФЬе ппр1ешепФаМоп 1в со вупсЬгоп?яе ФЬе ргосевз с1ос1сз геЬаЫу, а ргоЫеш ~ЬаФ нгШ Ъе с?1зсиявес1 ш Бесйоп 14.3. (1) ФЬе аррагеп$1у яппийапеоив оссштепсе оГ сЬе зсасе ФгапзМопв ш ФЬе ргосемея; апс1 (2) сЬе р~агыйее йаФ шезяауз оГ а ри?зе аге гесеЬес1 Ье?оге ФЬе власе сгапзЖопз оГ тЬаФ рц?зе.
14.1 БупсЪгопоив Вес?я?оп Ргососо?в ?и 1Ыз весФ?оп ~е яЬа11 ргмепФ а1яог1йшв Гог Вувапсше-гоЪияФ Ъгоас1савс ш яупсЬхопоцз (рц1яес?) пеФжог?сз; ~че вФагс тч1гЬ а Ьг?еГ тенете~ оГ ФЬе пюс1е1 оГ ри)вес1 песмог1св вв с1ейпей ?п Бес$1оп 11.1.1. ?и а яупсЬгопоця пегаог1с ФЬе ргосеввев оретте ш ри1вев пишЬегей 1, г, 3, апс? яо оп; еасЬ ргосевв сап ехесц~е ап цпЬоипс?ес? пцшЬег о? ри?зез зз 1ощ ая 1сз 1оса1 а1цопйш боев поФ сегпппаФе.
ТЬе ш16а1 сопи~гас?оп ( уо) и оезсг1Ьес1 Ьу ФЬе 1пЖа1 зФаФез о1 сЬе ргосемез, апс? сЬе сопйдигайоп агсег сЬе йЬ ри?яе (с?епоФВ1 у;) и а)зо с?езспЪес? Ъу 1Ье ясаФез о1 йе ргосеязез, ?и ри?ве з, еасЬ ргосеяз йгзФ яепс)з а йшФе мФ о? шеяящея, с?ерепс1шд оп 1сз ясаке ш у; т. БиЪвес?цепку еасЬ ргосем гесеюез а11 ФЬе шмелев вепФ Фо Й ш й?з рц1ве, апс? сошрШев сЬе пею зФа~е йош сЬе о1с1 опе аги? ФЬе со?1есс?оп оГ шемадея гесегчес1 ш сЬе рц?ве.
ТЬе ри1ве шос?е1 и ап 1с?еа??лес1 шос?е1 оГ зупсЬгопоця сошрцсаМопз. ТЬе зупсЬхопу и гейессес? ш Ц хаий То!етапсе ю $упсйтопоиз Яувгетпв ТЬеве Ыеа11гео мвцшрС1опз сап Ъе жеайепес1 Со тоге геа11вС1с аззцшрС1опв, паше1у (1) СЬе ача11аЪЖСу оГ Ьагйчаге с1осйв апд (2) ап цррег Ьоцш1 оп СЬе гпезва8е-йе11чегу Сппе. ТЬе гевц1Сш~ шойе1 оГ азупсйтопоив 6оипдеН Ые1ау пеЬшотЬ а11отчз чету ейс1епС 1шр1ешепСаС1оп оГ СЬе рц1ве шос1е1 (зее ЯесС1оп 11.1.3). Аз вЬожп ш СЬарСег 11, СЬе зЬпц1Сапе1Су оГ вСзСе Сгапз1С1опз и оп1у аррагепС.
1п ап 1шр1ешепСаС1оп оГ СЬе шойе1 СЬе зСаСе Сгапз1Сюпв гпау оссш аС ЙйегепС ушев, м 1опд'м С1ше1у гесе1рС о1 а11 шевва8ев и р~агапСеей. 1п ай11С1оп, СЬе 1шр1ешепСаС1оп вЬоцЫ айж а ргосезв ап цпЪоцпс1ей пцшЪег оГ рц1вез. ТЬе 1аССег гес1шгешепС ехс1цйев СЬе Ьпр1ешепСаС1опв оГ СЬарСет 11 аког цве ш Гац1С-Со1егапС аррЬсаС1опв, Ъесацзе СЬеу а11 вШГег 6ош йеайос)г, шозС о1 СЬеш ечеп ш сме о1 а з1пд1е шевзазе 1овв. Ав а1геайу шепСюпей, гоЪцвС 1шр1ешепСаСюп оГ СЬе рц1ве шойе1 жШ Ъе СгеаСес1 1п ЯесС1оп 14.3. Весацве СЬе рц1ве шойе1 дцагапСеев с1ейчегу оГ шевелев ш СЬе ваше рц1ве, а ргосем и аЫе Со йеСегш1пе СЬаС а пещЬЪог йН иоС непН а тевзауе Со 1С. ТЫз 1еаСцге и аЪзепС ш мупсЬтопоцв вувСешз апй ша1гев а во1цС1оп Со СЬе сопзепяцв ргоЫеп1, апс1 ечеп Со СЬе ге11аЫе-ЪгоайсмС ргоЫеш, розз1Ые ш вупсЬгопоцв зузСепи, аз же вЬа11 зее вЬогС1у.
?и СЬе ВукапСше-Ъгоы1смС ргоЫеш, опе йвС1псС ргосевв д, са11ей СЬе депета1, и Рчеп ап шРцС хв Са1сеп антош а веС У (цвцаПУ СО, Ц). ТЬе ргосемев ййегепС 6ош СЬе депега1 аге са11ес1 СЬе Ыеигепапгз. ТЬе 1оБож1пд СЬгее геоц1гешепСз пшзС Ъе ваС1зйей. (1) ТегпппаСюп. Ечегу соггесС ргосевз р ил11 ЙесЫе оП а ча1це р Е У. (2) АзгеетпепС. А11 соггесС ргосевмв йесЫе оп СЬе вап1е ча1це. (3) Оерепс1епсе.
П СЬе депега1 и сопесС, а11 соггесС ргосеввез с1есЫе опх. 1С 1в роззСЫе Со гес1ц1ге, ш асЫ1С1оп, випц1Сале1Су, 1.е., СЬаС а11 соггесС ргосеввев йесЫе ш СЬе зыпе рц1ве. АП а1зог1СЬшз йясцмес1 ш СЫз весСюп апй СЬе Го11ож1пз весСюп ваСиГу з1шц1Сапе1Су; зее а1во ЯцЪзесС1оп 14.2.6. 14.1.1 А Воити1 ото Иве ЛезчЫепсе ТЬе гез1Ьепсе оГ зупсЬтопоцв пеСжог1сз щапиС ВукапС1пе Ь11цтез и, аз 1п СЬе сме оГ авупсЬгопоцв пеСьчог1и (ТЬеогеп1 13.25), Ъошн1ей Ъу С ( Ф~З.
ТЬе Ъоцпй тчм йгвС вЬочлх Ъу Реме, ЯЬовСай, апс1 ЬашрогС (РЯ1 80), Ъу ргевепС- 1пК вечега1 всепапоз аког ап а1зопСЬш ш СЬе ргезепсе оГ Ф/3 ог шоте ВукапС1пе ргосеввев. 11п1йе СЬе всепагюв цвести ш СЬе ртов оС ТЬеогеш 13.25, Ьеге СЬе сотгесС ргосеввев гесе1че сопСгвйсСогу 1пгогшаС1оп, аИожшд СЬе сопс1цз1оп СЬаС воше ргосезвез аге Гац1Су. Ножечег, 1С Сцпи оцС Со Ье ш1ром1Ые ,~ оупйтопоиз Веси~оп Рто1осоЬ 427 Ясепапо 1 Бсепапо О Ясепапо 2 Рцрйге 14.1 БсехАюов Роя тне РЯООР ОР Тнеоаем 14.1.
~о йеФепшпе жЬ1сЬ ргосеввеи аге цпге11аЬ1е, апй вл 1псоггесг, йесЫоп сап Ье епХогсес1 Ьу гЬе шсоггес~ ргосеивев. ТЬеогегп 14.1 ТЬете зз по г-Вугап1гпе-тооизг Бтоайсазг ртогосо1 ~от й > Ю/3. Ртоо~. Ав ш еагЬег ргооЬ, а гезйепсе ОГ Ф/3 ог 1щ~Ьег а11спчи а раггЖоп о1 ФЬе ргосезвез шло Мкее дгоцрв (Я, Т, алй У), еасЬ ОГ Р~Ь1сЬ сял Ье епйге1у 1ац11у. ТЬе егоцр соп~а1п1пе гЬе еепега1 1и са11ей Я.