Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 66
Текст из файла (страница 66)
ЯисЬ а сопйаигаС1оп ех1яСя Ьесаияе еасЬ ргосевз Ьаз СЬе ваше яеС оЕ 1п1С1а1 яСзСез, алс1 1пЕС1а11у а11 М, аге ес1иа1 Со Я. 1Е содЕщигаС1оп "З,м 1з Сегшша1, СЬе сопзСгисСюп 1з сошр1еСес1; СЬе сошриСаС1оп С СегпппаСез тчССЬ а вушшеСг1с сопйаигаС1оп. ОСЬеги6зе, ~ъ~т 1з а зушшеСг1с сопЕщигаС1оп ш МнсЬ аС 1емС опе ечепС 1з аррйсаЫе, яву ечепС е, ш р<. ТЬе яугпшеСгу оЕ СЬе содйвигаС1оп пою 1шр11ея СЬаС СЬе ваше ечепС 1з аррйсаЫе ш ечегу ргосем. ТЬеогеш 2.19 ппрЬез СЬвС 1С сап Ъе ехесиСес1 Ьу а11 ргосеввея сопсштепС1у, адс1 аЕСег СЬе ехесиСюд оЕ СЬеяе Х СгапвЖопз а зушшеСпс сопйаигаС1оп геви1Св.
1дс1еес1, а11 ргосеязев шоче йош СЬе ваше зСаСе Со СЬе запье зСаСе. 1Е а шеззаце 1я гесе1чес1 ш СЬе ечепС, 1С 1з гешочес1 Егош еасЬ оЕ СЬе 1с1епС1са1 со11есС1опз М,, апс1 1Е а шмваце 1з вепС 1С 1в асЫес1 Со еасЬ оЕ СЬе 1с1едС1са1 со11есС1опз М,. Неже СЬе сошриСаСюд 1з ехСедт1ес1 Ьу Ф вСерв, аЕСег мгЫсЬ а зушшеСг1с сопйддгаСюп у~~+ц рг гези1Св. 1Ф Ео11оттв СЬзС еасЬ а1~опСЬш Еог СЬе зподушоия гшц Ьав а сошриСвС1оп СЬаС 1з е1СЬег шйшСе ог еда ш а яушшеСпс Сепдша1 сопйаигаС1од. 1п а зуппдеСпс сопЕщшаСюд е1СЬег а11 ргосемез аге 1д СЬе вСаСе 1еаает, ог 314 У Амиутозз МеЬлотЫ по ргосем 1з, зо ФЬат, ш а зуштаеФпс сопйрпайоп ФЬеге 1з по1 ехас$1у опе ргосем ш ФЬе атаке Мадза.
Рог а ЙеФетш1шзбс е1есФюп а1цогЫЬш, а11 сошриФайопз епй ш а Фетпцпа1 сопйузгайоп игЫЬ опе ргосеиз ш $Ье злате 1еадет; сопзес1иепФ1у, по висЬ а1хот1Ишь ~т1згя. П ТЬеогеш 9.5 1шрЬм ФЬЮ ФЬе шоте депета1 ртоЫеш оГ е1есг1оп ш агЫ- гтагу пеЬчогЬ ог г1пр оГ ип1шотп з1зе 1з а1зо ипзо1чаЫе Ьу йеФепшшзйс а1Кот11Ьтпз. 9.2.3 СотприФяпд %ипсйопз оя Оке Кепд ТЬе 1шрозз1Ы1йу оГ е1есМоп та1зез ФЬе с1цезгюп я~ЬеФЬет ГЬете аге "ем1ет" ртоЫешя ФЬЮ сап Ье зорей реп реп е1есМопя аге 1шрояя1Ые.
1п ФЬ1я яиЬ- яесЫоп ГЬе ргоЫеш оГ 6шсФ1оп еча1цаФюп оп а ЙтесФей апопушоцз ппх 1з сопяи1егей. Аявише ртосем р, Ьм ап 1прит ж, б Х, аЫ 1ей ЯХ депорте гЬе яе~ оГ а11 яес1иепсез оГ е1ешегйз 6ош Х. А 6шсйоп ~ оп ЯХ а сусйс 11' Ы 1я пжат1апФ шкилет сусйса1 зЬ1йя ш шрифт, 1.е., ~(у) = ~(х) $от а11 сусЬс яЬ1йя у о1 х. Ехашр1ея оГ сус11с 6шст1опз шс1цйе: тЬе яиш, пнпппиш ог шальшиш оГ пйе~егз; сощцпсМоп, йе1ипсйоп, ог ехс1цяле-от о1 Ьоо1еапя, 1еп~й оГ ФЬе шрифт; апс1 зо ои.
Аляише ФЬЮ ргосезя р Ьая а чат1аЫе тежй~; ФЬе розтсопсИюп оГ ап а1яогЖып Фо сошриФе ~ теас1я "ге8и1г~ = У(хо > хм-~) ТЬе тези1тя оГ Мйз яцЬяесфюп 1пйсафе ФЬе 1шроттапсе от 1тпоз>1ес1~е оГ ФЬе тшд яяе, яз же0 м тЬе 1шротФапсе оГ ФЬе й|егепсе Ъейюееп шеяяаде аЫ ргосезз Фегш1пайоп. ТЬе г1тцг зже 1з 1шо~чп. К ФЬе гшя зле и 1аююп еасЬ сусЬс 6шсйюп сап Ъе сошриФей Ьу а с1етепп1п1зт1с а1яопйш~ Ьу со11есгш~ а11 1притя ш е~>егу ргосем, а зо1ибоп 1тпоюп м иприт сойесйои.
?прит со11есФюп совая Х(Х вЂ” 1) шеяяаиез, аЫ Жя 1з а1яо ФЬе 1отчег Ьоцпд 1ог сошриФ1пд яоше 6шсбопз Ъу а йеФетш1шяйс а1~огЫЬш. ТЬеогеш 9.6 Апу сусИс ~ипсйоп ~ ащ Ое сотариМ 6р а ргосезз4ет.тпайлд Йе$ет тптиИс а1догйЬтп валид Ю(Ф вЂ” 1) тпеззадм ~~ Йе трапу лле м Йпотин. Ртоо1. То Меер ФЬе атушьепт Ышр1е, змише тЬе сЬатше1я аге Ио. ТЬе а1фогКЬш зепи шеязафея ш Х вЂ” 1 рЬазез. 1п ФЬе ЙгзФ рЬаяе, еасЬ ргосеяз зепй Ыз омл~ 1прия Фо 1Сз с1осйлзе пе1фйог аЫ гесе6>ея ФЬе 1прит оГ 1тя а~й1с1осЬч1зе пещЬЬог. йх еасЬ пах~ рЬазе, еасЬ ргосем яеж1з ФЬе ъа1ие Ы тесней ш ФЬе ргебоця гоцЫ то Ия с1осЬлзе пещЬЬог апт1 гесежез а петч ~>а1ие 6ош йз ый1с1ос1гМзе пе1фЬог.
Ав еасЬ шрифт 1з рамей опе ргосеяз 3.2 Юететятййс А!дагьйтпз 315 йтг?Ьег 1д ечегу тоидг?, а ртосезз тесе?чев ш ФЬе йЬ рЬаве ФЬе ?при?, оЕ 1тв йЬ ад?1с1осЬчые дещЬЪог, аЫ Ьзз со?1есФес1 а11 1притв (ш ФЬе оп1ет ш МисЬ ФЬеу арреаг ш тЬе г?пя) айег Ю-1 рЬззез. Айет ФЬе соппдишсат1од гоши?в еасЬ ргосезз сошр~йев ФЬе ча1ие оГ ~ 1оса11у апй ?егш1патев. П ТЬеогеш 9.7 Ат~у Йе1еттьпьайс ргосевв-3етчпта1гпу а1уотъ0пп ~от сотрШ- йщ АУП, ОВ, ог ЯУМ ехсЬапвел а8 1еав$ И(И вЂ” 1) пивваум гп йе шотзг аие.
Ргоо~ 1 еВ а йе?егпишз?1с ргосезз-ФегшшаФшц а1яог1?Ьш А Гог опе оГ тЬеве ргоЫешз Ъе рчед. Я1ш?1ат1у Со ФЬе йейпЖоп ш ЯиЪяест?оп 7.2.3 ?Ье гласе о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иат?оп оГ АХ0 ш тЬе в11иаФ?оп юЬеге еасЬ ргосевз Ьм шрифт г ив; ФЬе апяммг ?з Ьъе ш Ф?из сме. Аввише а ргосевв Фегшша?ев МФЬ одарит тгие чаед ФЬе 1одцевт стасе оГ аду шевзаяе Ы Ьм тесе?чей Ьм 1еифЫс < Ф вЂ” 1. ТЬе ечепФ ш тчЬ?сЬ ФЬе ргосевз Фетпида$ея саиза11у Йереж1в од?у од ечедтз ш Й + 1 ргосеввез, аЫ сопвес?иед?1у 1т сад а1во оссиг ш а сошри?ат?од зФат~ыщ 6ош ад шЖа1 сопйдита?1оп юЬеге ?Ьезе Й ргосеввез Ьаче 1при? Ь.ие аЫ оФЬегз Ьаче шрит ~а1ве.
Аяаш, са11 а содйдигат1оп зушшетг1с 1?' еасЬ ргосевя 1з ш ~Ье ваше в?а?е аЫ еасЬ сЬаппе1 сопФашз ФЬе ваше ве? о?' шевваяев. Ав ш тЬе ргоо?' о?' ТЬеогеш 9.5 а сошритаИоп 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Е 9 Апопутаоиз №СтзатЬ ТЬе г1пв вие 1з поС 1сповтп. 1Е СЬе гшц вже и поС 1сдоъч~, поп-сопвСадС ЕипсС1опв сапдоС Ье сошриСес1 Ъу а ргосеяз-СегшшаСпщ ЙеСеппш'зС1с афог1СЬш. ТЬе ргооЕ оЕ СЫя гези1С изез Йе СесЬшоие оЕ гер1ауыщ а (соггесС) сошриСаС1оп оЕ СЬе а1еопСЬш ш сМегепС рагСв оЕ Йе гпщ. ЕЕ ~ 1з а сопвСапС ЕипсС1оп (1.е., ~(х) = с Еог ечегу х), 1Св сошриСаС1оп 1я Спч1а11у с1опе Ъу зп а1~опСЬш ЙаС ыдшес11аСе1у СепшдаСез ш ечегу ргосем р ЯВЬ гезий = с; Йе пеКаС1че геви1Сз содсегп пап-сопзСапС ЕипсС1опв оп1у.
ТЬеогепь 9.8 Тйете ехтзСз ла сЕеСеттптийс ртосезз-Сеттптабпз а1уотттЛта ~от сотлригту а поп-сопзгапг ~тюсйот~ ~ г~ йе тгау зия и ио$ Ь~оит. Ртоо~. Весаизе ~ 1я поп-сопвСапС, СЬеге ехЫ шриСз х = (хо, х~-~) апс1 у = (уо, . у~ г) зисЬ СЬаС ~(х) ф Ду); яау Дх) = а апс1 Ду) = в. 1еС А Ье а с1еСепп1шяС1с, ргосеяз-СеппшаСшв а18опСЬш висЬ ЙаС Йеге 1з а сошриСаС1оп С„оп СЬе пхщ ~ч1СЬ шриС х, ш ятЫсЬ Йеге 1в а ргосем р СЬаС СегшшаСез м6СЬ тези„= а апс1 СЬеге 1я а сошриСаС1од С„, оп Йе пгщ ж1СЬ шриС у, 1д чтЫсЬ Йеге 1в а ргосезя а ЙаС Сегпш~аСез ч6СЬ тезий, = Ь.
1 еС СЬе 1огщезС Сгасе оЕ апу шемахе гесе1чей Ьу р ш С, Ьаче 1еп8СЬ К; 1С 1я рояя1Ь1е ЙаС К > й Ьесаияе А шау с1гс1е шемаев агоипс1 СЬе ге яечега1 С1шея ЬеЕоге р СепшпаСев. СопяЫег а (1аг8ег) г1гщ СЬаС сопСа1пя а яевшепС 5 оЕ К+ 1 ргосезяев ~ЮЬ СЬе Ео11оилпв ргореггу. ТЬе 1явС ркосеяз оЕ 5 (1.е., Йе ргосезв аС Йе с1ос1счбяе епй оЕ СЬе зецшепС) и фчеп СЬе ваше шриС м ргосезя р ш сошриСаС1оп С,; са11 СЫз ргосезз р'. ТЬе йЬ апС1с1ос1оч1ве пещЬЬог оЕ р' 1я фчеп сЬе ваше шрис ав Йе йЬ апС1с1осЬчЬе пещЬЬог оЕ р ш сошриСаС1оп С,. ТЬе соггезропс1епсе оЕ ргосезяея ш Я Со ргосемев ш СЬе гпщ ч6СЬ шрис х 1в с1ер1ссей ш Р18иге 9.2.
А18опСЬш А, жЬеп ехесиСес1 оп. а гпщ СЬаС сопСашя зе8шепС Я, Ьзз а сошриСаС1оп ~ч1СЬ СЬе Ео11очбгщ ркорегСу. Рог еасЬ с < К, Йе йЬ адС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ос1от1яе пещЬЬог оЕ р ш С„апс1 Ьепсе СЬеге 1з а сотриСаС1оп ш ~чЫсЬ 1С яепс1з СЬе ваше соБесС1оп оЕ шемадм Ьач1гщ а сгасе оЕ 1епфЬ опе.
Хпс1исС1че вСер: Аязише СЬаС ш воше сошриСаС1оп СЬе (г+1) Й апС1с1ос1счлзе пещЬЬог оЕ р' яепс1я а11 сЬе шемаев и6СЬ Сгасев оЕ 1еп8сЬ < К вЂ” т', СЬаС аге зепС Ьу СЬе сСЬ адС1с1осЬчЬе пещЬЬог оЕ р ш сошриСаС1оп С,. 1п СЫз сошриСаСюп, СЬе гСЬ апС1с1ос1счбм пещЬЬог оЕ р' Ьав Йе ваше ииС1а1 зСаСе ав СЬе йЬ апС1с1ос1сщьве пещЬЬог оЕ р ш С„апс1 гесе1чез СЬе д.д Регеттптпигтс А!допйтпз рзт т Я р (Ргосем р') Иуиге 9.2 Соизтпист|ом ор Ам ичсокккст сомритАттом. ваше соНесИоп оЕ шмзадея Ьжт1пд ггасев оЕ 1епфЬ < К вЂ” Е. ТЬегеЕоге йеге 1з а сошрийаМоп ш мтЫсЬ И веж1з йе ваше соНесг1оп оЕ шеззадез Ьа 1пз ггасез оЕ 1ещй < К+1 — т м гЬе тй апйс1ос1оч1ве пе1КЬЬог оЕ рш С.