Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 72
Текст из файла (страница 72)
Ав а весопй ехыпр1е, 1Ье впарвЬоФ шау Ъе сопвГгцсгей то Феяй ~чЬейег тЬе сотпрцкаг1оп Ьм гегшшагей (вее СЬаргег 8). 1$ пеес1 оп1у Ъе йе1егшшей ~тЬе1Ьег гЬе сЬаппе1в аге ешрФу ог поФ, абай а8аш Ы вцшсев 1о сошй шеввщев гагЬег тЬап в~оке ФЬеш ехрЫс1~1у. (?п ЪоФЬ ехашр1ея, $Ье гесогйей ягаге оГ еасЬ ргосевв а1зо сап Ъе ИпцФей го а вша11 апюцпг оГ ге1ечялФ 1пГогшаФюп, пыпе1у, 1Ье пцшЪег оГ Фо1сепз геяЫшд ш ФЬе ргосевв, ог счЬегЬег гЬе ргосем 1в асйъе ог рмз1ие, гезресйие1у.) ЕхрИсй сопзггцсй1оп оГ ~Ье сЬаппе1 в$а~е. ТЬе сЬаппе1 йа1е сап Ъе сопв1гцсгес1 ехрЬсй1у Ъу ге1ушя оп $Ье Го11отчш$ 1епцпа. Ьегпгпа 10.9 1а а УеаяЫе впарвйок зеив„'~ксива', еуиай йе зе1 о~тпеззадез зепг Уу р чп а ртевЛог еиепг,апй тесанией Бу о йь а ровкзЛо1 виеат.
РтооЯ Оп ~Ье опе ЬыЫ, 1Ф 1я емйу зееп сЬат, а теввще т Е зетИ„' ~ гсЫ' 1з вепт ргевЬот аш1 гесе1ией ров~яЬог,. Оп ~Ье оФЬег Ьвлй, Н ти 1я зепи ргевЬо1 апд гесе1иес1 розгзЬо1, Ы 1я Ъу с1ейшгюп шс1цсЫ ш звтй;„Ъц~ поФ ш тсиЫ;,т, сопвес1цепг1у Ы 1в ш зепи' ~ ксив' . П 342 10 Яаярйотн цтийоп гп иЬ|сЬ Йе ЯтвС ртосевя гесоттЫ йн вЫСе, апт1 у, ие соп~щцтцЫоп т иМсй йе 1аг$ ргосезя тесогйей ~Ся ФаСе. ТЬею у, Ргоо~.
чче вЬаБ вСгев8СЬеп СЬе агрпвепС изей 1п СЬе ргоот от ТЬеотеш 10.5. СопяСтцсС а веоиепсе т" оС' ечепСя Ьу йтяС епишетаСищ СЬе ртеяЬоС ечепСн от Е 1п СЬе огт1ег ш ~чЫсЬ СЬеу оссцг ш Е, ялт1 СЬев евишегаСшд СЬе ровСзЬоС ечепСв оГ Е ш СЬе отт1ег ш щЫсЬ СЬеу оссцг ш Е. ТЫв епитвегаС1ов и сопвиСепС тЮЬ СЬе саива1 оп1ег о1 Е, Ьепсе т1ейпез ап ехесцС1ов Р. Г сопСаЬи СЬе сопйвцгаС1опв 'у„у', авт1 у, ш СЫз оп1ег, ~чЫсЬ зЬо1чв СЬе Йез1гет1 тези1С. Г совСаим у. Ьесацяе аБ ечевСз ргесес1ш8 у, ш Е аге ртеяЬоС ечепСя, ялй Ьепсе ~ зСатСя и6СЬ ехасС1у СЬеве ечевСя апт1 ш СЬе ваше огс1ет. Г сопСашв у„Ъесацяе соБесС1оп оГ ечепСя ртесейп8 у, ш ехесиС1оп Е совзашз аБ ртевЬоС ечепСв.
Невсе у вСатСз ччСЬ СЬеяе ечевСз (СЬоидЬ ронвСЫу 1п а Й1йегепС оп1ег), апй Г сопСа1пв у, Ьу ТЬеогеш 2.21. П 10.3.3 ВеСесйотт о~ ИаЫе Ргорет'йев 1еС Р Ье а яСаЫе ргорегСу оГ сопйдигаС1опя; овсе ав ехесцС1оп теасЬез а сопйр~гаС1оп ш ч~ЫсЬ Р Ьо1йв, Р СЬетеайет Ьо1с1з 1отечег. БСаЫе ргорегС1ез шс1ит1е: (1) Теттптайоп. И 'у и а Сетшша1 сопйдцтаС1оп апт1 у - б, СЬеп 'у = д, Ьепсе Ю и а Сетп1ша1 сопйдцтаС1оп. Сопвет1иепС1у, СЬе СеппшаС1опйеСесС1оп ргоЫеш (СЬарСег 8) шау Ье зо1че1 Ьу сошриСш8 а звар- яЬаС апт1 пиресСшд 1С Гог асС1че ргосевзез ялт1 Ьяв1с шевелев ш СЫв вварвЬоС.
Носчечет, СЬе врес1аИвет1 во1цС1опв ш СЬарСег 8 аге цзцаЛу шоте е1йс1евС. ~2) Юеайосй. ?Г ш сопйдитаС1ов у а виЬзеС 5 оГ ргосеззев 1в Ыос1те1 Ьесаиве аБ ргосезнея ш 5 ате ваЖп8 $от оСЬег ргосеявев ш Я, СЬе ваше Ьо1т1в ш 1аСег сопйриаС1олз, ечев СЬощЬ ртосевяея оиСз1т1е Я шау Ьаче сЬалаес1 вСаСе. ТЬе ргоЫеш о1 т1еСесСшв т1еайос1тв и сопи6ете6 ш ЯесС1оп 10.4. (3) Ьоня о~ Сойер. Совзи1ет вл. а1дог1СЬтп СЬаС с1гсц1аСез Со1тепв атпоп8 ртосеннев, апт1 ргосенвея тпау сопвцше Со1тепв. ТЬе ргоретСу "ТЬете аге аС пииС й Со1тепз" 1в зСаЫе, Ьесаиве Со1сепв шау Ье совзише1, ЬиС поС депетаСес1. (4) СатЬауе. Ь ял оЬ1есС-опепСей рто8тапшшщ евч1топшевС а соБесС1оп оГ оЪ.1есСв и сгеаСет1, еасЬ оГ жЫсЬ шау Ьо16 а те~егепся Со оСЬет оЬ1есСв. Ав оЬ1есС 1в саБет1 геасйайя Ы а раСЬ сац Ье Гошм1 1гош ноше йез18ваСей оЬ1есС Со СЫз оЬ1есС Ьу Гойтх геГегевсев, апт1 0.3 0ппу $парзйог А!уоттйтпз чзг Мес$: Ъоо1еап 1п1С ~а1ве; гереаС сотпрцСе а фоЪа1 япаряЬоС т'; сошриСе РйаЫз:= Р( т') ипСИ РЬоЫв; Ыа$ес$:= Ь ие А1фогИЬш 10.6 Бг~вт.в-~пот птгг~-пвгвсгтотт ~т.оопггпм.
,дагбауе оСЬегтт1ве. Не1егепсев шау Ъе мЫет1 аЫ т1е1еСей, ЪцС а геГ- егепсе Со а загЪаде оЪ)есС 1в печег ыЫес1, ТЬегеГоге, опсе ап оЪ)есС Ьм Ъесоше ~агЪаде, 1С тч1Н гешаш загЪаде 1огетег. (ТЬе угЪазесоНесС1оп ргоЪ1еш Ьм сгеаСей а чмС ашоиС оГ НСегаСиге, ЪиС 1в поС СгеаСей ш СЫз Ъоо1г. 1пСегезСей геж1егз шау сопви1С (ТМ93~ аЫ СЬе гегегепсев оГ СЬаС рарег.) 1п огйег Со Мйе арргорг1аСе асС1оп треп Р Ъесошез Сгце, СЬе СгцСЬ оГ Р шау Ъе ЙеСесСет1 Ъу шеапв оЕ ап асЫЖопа1 а1зопСЬгп СЬаС оЪвегчев СЬе сошриСаС1оп ахк1 Сг1дегв СЬе асС1оп треп Р 1з 1оцпс1 Со Ъе Сгие.
А ортегу зепега1 ЙеСесС1оп шесЬашвш 1в р~еп м А1вог1СЬш 10.б. ТЬе а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оп. А1зог1СЬш 10.6 ваС1зйев а ваХеСу ргорегСу аЫ а Ь тепевв ргорегСу аз ехргевзей ш СЬе ГоНоюш~ Стто СЬеогешз; СЬеве ргорегС1ез аге ехасС1у СЬазе гейшей йош а г1еСесС1оп а1зопСЬш. Азвише А1зопСЬш 10.6 оЪзегчев а ЙвСг1ЪиСет1 а1цопСЬш СЬаС депегаСев ап ехесцС1оп Е. ТЬеогеип 10.11 (БаХеСу) 1~ А1уопЯтп 10.6 аззтоти Сгпе Со т1еСесг ийт1е гЬе 8у8$еттт и тл СЬе сотфуит"айоп Б, йети Р(Б) Ьо1й. Ргоо~. 1 еС у' Ъе СЬе 1мС зпарвЬоС сошрцСей, апй 1еС у, Ъе СЬе соп~~~игаС1оп оГ В ш ттЫсЬ СЬе 1мС 1оса1 впарзЬоС оГ т' ~тм Са1геп. Ву СЬе а1зог1СЬт, Р('т ) Ьо1с1з.
Ву ТЬеогеш 10.10, т' - у„апс1 Ъесацзе Не$ес8 1з мв1р~ей айег сошр1еС1оп о1 у', ~, - 6. Ву СЬе зСаЬШСу оГ Р, Р(6) 1в ппрЬес1. П 10 8иарзйой ТЬеогегп 10.12 (|.гмепезв) 1~ Е тиасЬея а сотд|уитийот| ж ЫисЛ Р ЬоЫз, А1уотИЬп 10.6 аждтм й"ие 1о т1е1ес1 ыйж т|ти1с 1гтпе.
Ртоо~. Авз|ипе 6 1з ФЬе йгй сопйркайоп оГ Е ФЬЮ зайзйез Р. 1еФ т, Ье тЬе йгвг сопй8игайоп аггег о (ог еоца1 Фо Ы) ш |тЫсЬ ФЬе сошрцФаИоп о1 а зпарзЬог 1з зтагФей Ьу А1зогЫЬш 10.6, апг1 у' гЬе зпарвЬог |тЬозе сошрцФайоп зФаг~з 1п у,. Аз б ° у, - ~, Р(д') Ьо1й, апс1 ФЬе сМесМоп а18огйЬгп ФегшшаФез айег ФЫв гоцу. П А18ог1ФЬш 10.6 сап Ье иве|1 Фо во1че а2 вфаЫ1йу-|1егестюп ргоЬ1ешв, Ъ|й гЬе Го11о||лпд гешаг1гз сап Ъе шас1е сопсегпшК Ыз иве. (1) гог а рагг1си1аг ргорегйу Р, ФЬе (ййпЬитес1) ема1цатюп оГ Р(у') шау гес1|иге а Ыг1у сошрЬсазес1 а1зогМЬш.
ТЫв 1з ФЬе саве Гог зоше шос1е1в оГ ФЬе с1еайос1с-|1еФесФ1оп ргоЬ1еш; вее Бесии 10.4 Гог ап а18огЖып Фо Везат |1еа|11ос1г ш а 81|теп сопй8цгаФ1оп. (2) 1п зоше смез ФЬе шеФЬо|1 шау поС Ье ЕеаиЫе с1ие го врасе 1шйга Моиз. ТЫз и ~Ье сазе 1ог 1Ье вахЬа~е со11есйоп ргоЫеш; втопщ а11 ге1егепсез ыи$ шевелев оГ а зпарвЬоФ |тоцЫ шоге ФЬап |1оцЬ1е гЬе зрасе геои1гешетйв оГ ФЬе а1дог1ФЬш, апс1 йЬ рг1се 1з $оо ЫдЬ Фо рау. ЕвхЬег у;зхЪа8е-со11есйоп а1зогЫЬшз вцзреЫ ФЬе Ьзз1с сошрцФз |юп Ми1е ФЬе загЪа8е ргейсаФе 1з Ъенщ е|га1цаФес1; ФЫз во1иМоп 1в йьг1у е1еше~йагу, Ъ|й 1з изиа11у ге|есФег1 Ъесацзе зцзреп|1ш8 ФЬе Ьаяс сошрц1аг1оп 1в ге1т, Фо Ье цпассерФаЫе.
Моге хесей а18опМшм чтог1с "оп-~Ье-йу"; гагЬег ФЬап орега~ш8 оп а зйщ1е сопй8игайоп ФЬеу соорегаФе ||тйЬ ~Ье Ьм1с сошрц1ат1оп, аЫ цо поФ йЛ шло ФЬе саФ- ероху о1 а18огЫЬшз ге1ушд оп впарвЬоФ сошрцФайопв. Бее [Те191Ь, СЬарФег 5~ аЫ [ТМ93~. (3) реп ш смез ||тЬеге зо1цг1опз Ъме|1 оп А18ог1Иш~ 10.6 аге зппр1е зхк1 ешс1е~й, |Ьеу шау пот, Ъе ФЬе шовг з1гпр1е аЫ шовФ ешс1епФ. ТЫв зйиаМоп оссцгз Ьг фЬе Фегшшайоп-Йе~есйоп ргоЫеш, Гог |тЫсЬ г1шФе е1ешепФагу зо1цбопв утехе ргевепФес1 ш СЬартег 8. БпарвЬотв шау а1зо Ъе иве|1 ~о е|та1цаФе тпоиоготис ~ит|сгтоти оГ тЬе зувФеш сопйрюагюп; а 6шсФюп т' 1з шопоФоп1с Ю ° у- 6=~ ~(7) < ДЮ). Па зпарвЬог у 1з сошрцФе|1 апг1 ~ = ~(.т ) 1зечйиате|1, Дд) >,т' Ьо1с1з Гог утеху сопйдцгаМоп б ФЬегеайег.
Ап ехашр1е оГ а шопоФошс йшсФ1оп 1з тЬе 81оЬа1 ч|гФца1 Мше (СУТ) оГ а йв~пЬцФе|1 сИвсгеФе-е тепе вшш1агог (зее, е.8., ['1Ы91Ь, СЬаргег 4] ог [СВТ941). ' ' Аррйсойоп: РеайосЬ Ретесйотт 10.4 лрр11саМов: ОеасИос1с Рейес4юп Еп зоше йвФЛЬитес1 ртоцтатпз ргосеввез ате тешрогаг11у Ыос1сес1 тчЫ1е тчайнщ Еог пыввадев 6"ош оФЬег ргосеввев. Ехашр1ев шс1ис1е тгапвасйопз Еп с1асаЬвве вувтешв апс1 ргосемез тЬьт сошрете Еог зечета1 гевоитсев. Эеас1- 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 Ьу ФЬеве ртосеввев аге по 1ощег ача11аЫе Фо оФЬег ргосемез.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
