Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 67
Текст из файла (страница 67)
1п гЬе сопз1гис~ес1 сошри1аМоп, р' гесеЬмв $Ье ваше соНесг1оп оЕ шевзазез м р доев ш С„аЫ р' Ьзз гЬе ваше шЖв1 з1а1е аз р; сопвес1иепйу, йеге 1з а сошритаМоп 1п ч~ЫсЬ р' $еппшагев тчЫЬ тези1г = а. ТЪе сопзФгисФей сошриФаВюп "Еоо)з" ргосем р' 1пФо Фегш1паг1п~ члФЬ ФЬе оигсоше тези1г = Дх), ччЫ1е асгиаНу 1Ье шрифт 1в ь 1опдег веоиепсе х', ййегепГ Егош х.
ТЬе сопцмйаЫоп ттоиЫ в11Н рче йе соггесс апятег 1Е И телеге йе саяе гЬаг Дх') = Дх). То аггее аг а сопггайсМоп, сопяЫег а пппб йай сопФаии а1яо а зе9;шеЫ ш мтЫсЬ ргосевзез зЕши1аМ сошриФаг1оп С„аЫ а ргосем д' $етшша1ея мчй тезий ° = б. гог й1з гшц 1Ьеге 1в в сошриФаМоп ш чкЫсЬ гчго ргосевмв 1егпипаФе ЖФЬ а ЙйегепС ча1ие оЕ гелий; а сопВгасНсСюп Ьесаиве вФ шозФ опе зпвсчег 1з соггесС,. П ТЬеогеш 9.9 ОВ ать АКР ате сотприЕаЫе 6у а тЕеЕеттптиЬс тпеззаде Еептипайпд а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зогЖшь 9.3.
Г1гз1 сопзи1ег йе саве ~тЬеге еасЬ ргосевв Ьвв 1приЕ майе. ЕасЬ ргосезв р амцгпз Го гезий ФЬе ~а1ие Е~йе апс1 яФзг~в щайшз Еог а шевваКе. Ав по ргосевв жк)з а швеям, йе сопйдигаг1оп ш щЫсЬ ечегу ргосевв ма1тв 1з У Апопупоиз ИеГшотйз чаг тезийр . Ьоо1еап; («Кезо1С оГ СЬе сошриСаС1оп «) хр . Ьоо!еап; («1прпС оС р «) Ьефп тезийр .= хр, 11' хр и С ие СЬеп вепс1 (уев) Со Хехг гесегче (уев); М тезий и майе СЬеп Ъедш тезийр:= С ие; вепс1 (уез) со Мехгр епс1 епс1 А1$ог1СЬш 9.3 Ретеймпч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ш11аг, ЬцС ж1СЬ а11 осспггепсез оГ С ие апс1 ~а1зе гечегзес1. П РагС1а1 1аюъг1ес1де 0Г СЬе гищ зие. Аз а сошргошие ЪеФюееп Ыовтп апс1 пп1спосль пппб вяе опе шау сопзЫег СЬе з1СпаС1оп ~чЬеге Ф 1в поС 1спосчп ехасС1у, ЬиС 1в 1спочтп Со Ье ЬеСжееп сегСаш Ьоипс1з. ТЬе 1о11оМва гезя1Сз аге ем11у ргочес1 Ьу шосИупц СЬе ргооЬ в1чеп ш СЫз виЪзесС1оп.
(1) ТЬеге с1оез поС ехиС а с1еСепп1п1вС1с а1зопСЬш Гог сошриС1щ П1М СЬаС и соггесС Гог Сто оНегепС ппз зиез. (2) ТЬеге с1оез поС ехис а с1еСегпппис1с а1аопСЬгп 1ог сошриС1п8 ХОК СЬаС 1в соггесС Гог ЬоСЬ ап ечеп. аЫ зл ос1с1 гшК зле. (3) 1Г ап пррег Ьоппс1 оГ 8 и 1спожп оп СЬе гащ зяе, АЫ0 влс1 ОК сап Ье сошриСес1 с1еСеппшиС1са11у язв Ф.(Я вЂ” 1) шевелев. ОСЬег Соро1офев. ТЬе ргоЬ)еш оГ сошряСшз 6шсС1опз оп апопушопз пей~ог1сз Ьм а1зо Ьееп сопвЫегес1 1ог оСЬег Соро1орез.
Веаше апс1 Вос1- 1аепс1ег 1ВВ89~ Ьаче зЬочгп СЬаС с1еСегпышзС1с шрпС со11есСюп и розз1Ь1е ш 0(яз) пжвзацев оп ап п х и Согде, апс1 СЬаС й(тР) шезвацев и а 1ожег 4 Рто5абйзйс Е1есйотт А1дот1йттт 319 Ьодпс1 Гог зопте 6тдст1опв, шс1ттс1шя АМ0 адс1 ОВ. Кгада1с1в апс1 Кг1вадс зЬотчес1 тЬаФ 1дрттт со11ест1оп тя ром1Ь1е оп ад тт-йшедв1опа1 ЬурегсиЪе ттз1дя 0(2".тт4) Ьйз (КК90). 9.3 А РгоЬаЬШят1с Е1есИоп А11~огЫЬтп 11' тЬе дестчог1с я1ве 1я 1сдотчд, ратт1а11у соггест е1ест1од а1яоптЬшз сап Ье втчеп тЬаФ сегш1дате тчттЬ ргоЬаЪ|Иу оде, т.е., тЬе а1~оптЬшв аге оГ сЬе Ьзя Уе~м туре.
Аи по с1еФепшшз$1с а1ттоптЬтпя ех зт (с1. ТЬеогеш 9.5), а 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цогйЬш 7.3), Ьттт со арр1у ФЫя а1яог1тЬш иоше ас1артат1одв пшвт Ье шас1е.
Р1гзт, Ьесапие ФЬе СЬапд-ВоЬегтв а1доптЬтд ге11ев од тЬе ача11аЬйсу оГ 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с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ту; ЪиФ тЫя 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с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ту шияФ Ъе сЬовеп Ьу еасЬ ргосям тЬат шЖаФез У Апоттутпоиз ХегшотЕсв : (зЕеер, сапй, ЕеасЕег, Еовг) . ш$ецег : 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еиеЕр .= 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ВЬгп 9.4 Тнк 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рс оГ апоФЬег ргосезз'з то)сеп сапзев р Фо Ьесоше !ой 11 ФЫв ФоЕсеп Ьзз а ЫкЬег 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 ч6$Ь 1агкег 1с1етййу и рпг~ес1 (1.е., Йз Голчагйщ и аЬогФес1); вее А1цопСЬш 9.4.
%е зЬаБ сопСшпе Ьу ' А РтаЬаЫийс Е1ес~лоп А1уот1Мт 321 ргочшд СЬаС СЬе а1~ог1СЪш и рагС1айу соггесС, апй СЬаС 1С СепшпаСез ЖСЬ ргоЪаЫ11Су опе. Ьегпгпа 9.10 1~ а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 1 ЪпС 1Св ЫепС1Су и поС пишша1 ашот СЬе ЫепС1С1ея сЬояеп аС 1ече1 1, ТЬе Со1сеп доев поС геСпгп Со р ш СЫз сме; 1Е 1С и поС рпгяес1 Ъу а ргосеяв аС а ЫдЬег 1ече1, 1С 1в гесе1 ес1 Ъу а ргосеяя аС СЬе ваше 1ече1 ЪпС ч6СЬ вша11ег ЫепС1Су, ччЬеге 1С и рпщей.
(ОЪвегче СЬаС а11 ргосезвея СЬаС зепегаСе а Совдеп аС 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 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 и яепегаСей. П ТЬеогет 9.11 ТЬе Лаз-Яяйй а1уатййш (А1уотйЛт У.~) и ап е1есйоп а1уот1йш ~от т7пуз о~ Йпоит зые Йаг и ратйаПу соттесг апй СеттшаСез илй рпйаЫЫу опе. Рию1. ТЬе рагС1а1 соггесСпеяя, 1.е., СЬаС Ы СЬе а1вог1СЬш СегшшаСев СЬеге и ехасС1у опе 1еас1ег, и ргочей пеша Ьешша 9.10.