Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 62
Текст из файла (страница 62)
8.~.1 ТЕте Стейт-тесоиету А1дотхУпп Х!аИегп ,'Маг89а1 Ьав ргоровед ап а18ог1тЬпт тЬМ с1егеств тегтптпат1оп чету Емт, патпе1у, МтЬ1п опе Мите ши'. аЕтег 1тя ассиггепсе 1'ипйег тЬе Ыеа11гед т1гп1п8 аявитпр6опв оЕ ОейпЖоп 6.31). ТЬе а1догйЬш с1етеств -.Ье '.егтп1пв11оп оЕ а сепСга11вес1 сотприйат1оп апа аввшпея т1тат еасЬ ргосеяв сап вепгЛ а тпевяаде Фо СЬе 1пЖайог оЕ 1Ье сотпритат1оп йгест1у ~1.е., тЬе пеочог1с сопта1пз а я1аг МтЬ тЬе 1п1т1атот вя тЬе септет). 1п тЬе а18ог1тЬтп еасЬ гпевваде апй еасЬ ргосевв аге аяя18пей а стейт ча1ие, жЬ1сЬ 1я аЬкауя Ъетвееп О апй 1 (1пс1ив1че), аис1 тЬе а18ог1тЬтп тпап~~а1пя 1Ье Ео11ож1тит мвегтюпя м 1пчапаптв. Я1. ТЬе вшп оЕ а11 стебав (1п тпеввадев апс1 ргосеввев) ес1иа1в 1. Я2.
А Ъм1с тпеззще Ьм а рояЖче сгес11т.. ЯЗ. Ап асИче ргосевв Ьая а рояЖче сто. Ргосевяея Ьо1йп8 а розЖче сгейт юЬеп тЬ1я 1я пот ргевст1Ъед ассогйп8 то тЬеяе ги1ея (1.е., разз1че ртосеявев) вепй сЬе1г стейт то тЬе 1пЖатог. ТЬе 1п1Ыатог асов аз а Ъагй, со11есбп а11 сгеЫв вепФ то й ш а чаг1аЪ1е те1 ЕЕот те1итлей). реп тЬе 1пЖатог очтпз а11 тЬе сгейтв, тЬе гес1и1гетпетй Еог аст1че ргосеввея апд Ъая1с тпевза8ез 1о Ьаче а рояЖ~е сгесй нпр11ез тЬа~ тЬеге аге по зисЬ ргосезвез апй по висЬ тпезяа8ез; Ьепсе 1егтп Ьо1й.
Ни1е 1. реп тет = 1, тЬе ЕпЖатот са11я Аллоилсе. 1п огс1ег 1о Еи1611 1Ье 11чепем гет1и1гетпетй, Ы тпив1 Ъе епяигес1 1Ьа1 1Е 1етпи'- паМоп оссигз, а11 сгейтз аге ечептиа11у СгапзЕеггес1 1о тЬе 1п1т1а~ог. ЕЕ 1Ье Ъая1с сотпри1ат1оп Ьав $егпипатет1, тЬеге аге по Ъм1с гпеяяадея апу тоге, апй ~че оп1у пеев то сопсегп оитяе1чев ячтЬ тЬе стейтв Ье16 Ъу ргосеяяея. пиу чю1ате СЬе 1пчаг1ап~ Еог ~чаче А.
ТЬегеЕоге, ~Е тЬе с1етестюп а1"от1тЬгп тпивй Ъе с1есептта11яес1, а бесептга1яес1 чаче афог1тЬтп тпизт Ъе изей зо йЬаг а11 1п1т1атотв оЕ тЬе Йетестюп а18огйЬгп соорегате!и тЬе завис юаче. 1т ~в а1яо рояв1Ъ1е то ияе ь аттегепт г1етесйоп рг1пс1р1е, 1п жЬ1сЬ ~11Гегепт,чачев сап со~приСе соттсиггепС1у МтЬоит ч1о1ат1тт8 тле соггесй орегат3оп оЕ тЬе ЙетесМоп а18ог1ФЬтп; вее ЯиЪяест1оп 8.4.2. о Тетттабол 0егес1гои айаг зГагср . (асггие. разаие) !и!Ф (; р =-, а гЬли асгггс е!ве равзие; стс й .' Ггасй10п 1иН !Г = ~„, 9: -, ! е1ве 0; гсг: !с*сбои !с!В О; !'~г ро ол!у Б„..
( з!Ые = "я ) (" Вц1е,", ") Ь" !и ' ггг! (."иев, стег1р!'2); сто 1„; —.- .т,.'„г2 иис1 ( А шсвяйяе ( гггея, с) Ьы аггЬ ас! ег Ъет!и гесс 1ие ('иев, с); яГл е„:= лагос; стеф:= сапог! ' с (* Ргп(ев -! а1и.' .,Ъ " гчг" = агlие ) л= Ъе.„!и я'о~е,;= ра. вгие; -с с1,ген.сгь„-) го, 1, ~ „.—— О т Ар еис! А„( Л ( ген. с) шекса е Ьав агг!еес1 аг ро ) Ъефи гесегте (ге;.с): гег:= те! + с: !1 гег =. ! СЬеп Аллоипсе (* Ви!е ! *) епо А1$ог!ГЬги 8.9 Тне снешт-кесочекУ л1ООк1тнм Бп1е 2. ЪЪЬеп а ргосеы Ъесошея раяв1~с, Й яепг1я Ив сгейй 1о гЬе !пЖаюг.
В.п1е 3. Ъ Ьеп гЬе асг! ге ргосеяя р яепс1я а шеяваде, йв сгейг 1я йчЫег! ашоп р апЛ. 1,Ье шевьаее. Л ргосеяв гппвг, Ъе реп а ров!6че стейт, жЬеп Ы !в ас1!иа1ес(; Гоггппаге1у, 1Ье п1евваде !с гесе~чея а1 гЬаг ро!пг, сопела!пя а ровЖче сгес1!г. Вл~1е 4. ЪгЬеп а ргосеы !я асйчагес! !г !я е!чеп гЬе сгейг, оГ 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еяяа е шпя~ Ъе рчеп а роя(~и'е сгег11с мазеп Й 1я яеп1; [ог~ппаге1у, Йв вепйег !я асиле, апй Ьепсе Ьая а ров1гиге сгей.. 8.~ Ойет Бо1ийоти 297 о1 Я1. ТЬе гесеМпа ргосевя тау Ьапй1е СЬе сгес11С гп Съо йКегепС ъкауя, ЪоСЬ р~ ш г1зе Со а согтесС а1 ог1СЬш. Н.и1е 5а. ЖЬеп ап асСЪте ргосеяв гесеЬев а Ьиз1с незвале, СЬе сгей1С о1 СЬаС п~еяваве 1в яепС Со сЬе шЖаСог. Ни1е 5Ъ. ЖЬеп ап асС1ъе ргосеяя гесе1ъев а Ъаз1с шевяаае, гЬе сгеЫ о' СЬаг гпеяяаае гя аойеа Со СЬе сгейС о1 «Ье ргосезя. ТЬе а1дог1С1пп 1я 1~еи ая А1,опгЬш 8.9. 1п СЬ1я а1догй1ип, 1С 1я взявшей СЬаС еасп ргосевя 1-по»~в СЬе паше оЕ СЬе 1п1С1агог (аС 1еаяС ~'реп 1С 5гвС Ъесогпев раявЪге) апй СЬе а1~ог1СЬгп 1гпр1етепгз Ви!е 5Ъ. %1)еп СЬе 1п1С1агог Ъесогпев раяя1ъ-е, 1С вепря а гпеявще Со 1Све11.
ТЬеогепг В.11 Тче сгей-тесоиетд а1двпйт (А1дотМЬа 3.$ и а соттес'. Сет7птиС~оп-ОеСесСгоп и1дапйт. Ртоо~. ТЬе а1~ог1СЬш ппр1егпепгя ги1ев 1 СЬгои Ь 5. жйсЬ !гпр11ев гЬаг С~ Л 5я Л Яз 1Я ап 1пчаг1апС, ъ.Ьеге Б~ ь1= ~~~ с + ~ стег1,, + ~ с +тег 52 = Ч(гпев, с) гп Сгапв1С: с > О 5з = Чр Е Р: (зСаСе, = раззте =~ стайр — — О) т (вгаге„= асЗЫе ~ стес1, ) О). ТегпипаС1оп 1я ЙеСесСей тчЬеп теС = 1, мЫсЬ Со еСЬег МСЬ СЬе 1пчаг1апС 1шр11ея СЬаС Сеггп Ьо1с1з.
То вЬо~ч 11;епеяя, оЪяег~е СЬаС айег СегпипаС1оп по Ъая1с асС1опя оссиг, Ьепсе оп1у гесе1рСз о1 ( геС, с ) тевза~ез оссш. апй еасЬ гесе1рС йесгеавея СЬе пигпЪег о1 тезвадея 1п Сгапв1С Ъу опе. СопзециепС1у, СЬе а1дог1СЬт геасЬез а Сегш1па1 соп6дигаС1оп. 1п яисЬ а сопйр~гаС1оп СЬеге аге по Ъав1с гпеззадея (Ъу Сеггп), ст вар — — О Гог а11 р (Ъу Сеггп апй Яя), апс1 СЬеге аге по ( геС, с) теззаКея (СЬе сопй игаС1оп 1в Сегпипа1). СопяециепС1у, теС = 1 (Йоги 5~), апй Сегш1паС1оп 1я ЙеСесСес1.
П 1Г ги1е 5а 1з 1шр1ешепСей, СЬе пишЪег о1 сопСго1 гпеззацев ециа1з СЬе пигпЪег о1 Ъаз1с теяза~ез р1из опе. (Неге ~е а1зо соипС тевза~ез зепС Ъу р0 Со 1Све1Г ирои Ъесопйпз разв1че.) 1Г ги1е 5Ъ 1в 1шр1етепСей, СЬе шппЪег о1 сопСго1 тезяааея еоиа1з СЬе пшпЪег о1 шСегпа1 ечепСв 1п СЬе Ъав1с согприСаС1оп р1из опе, жЫсЬ 1я аг 7пояС ециа1 Со СЬе пишЪег оГ Ъзз1с шеявааея р1ия опе. 1С тчоиЫ арреаг СЬаС ги1е 5Ъ 1з Со Ъе ргеГеггес1 Ггогп СЬе ч1ежро1пС оГ СЬе шеыа~е сотр1ехйу оГ СЬе сопвго1 а1вог1СЬш.
ТЬе в1СиаС1оп 1з с11йегепС ъ Ьеп 208 8 Тегтптааоп Эегесбоп СЬе Ъ1С сошр1ех1Су 1з сопяЫегей БЫег ги1е Ба, еасЬ ашоидС о1 сгейС ш СЬе зуяСеш ехсерС теС 1в а деваС1че речет о1 2 (1.е., ег1ца1 Со 2 ' Гог зоше паСига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шщ 11' 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 щЬ11е СЬе ртосеяв асоц1гея ж1ЙС1опа1 стейС антош СЬе 1п1С1аСог. ТЬе ииС1аСог вцЪСгасСв СЫз атпоцпС 6ош ееС (геС шау Ьесоше пе8аС1че м а гевц1С) адс1 СгапяшСз 1С Со СЬе геоцезС1пв ргосезв, ю1цсЬ гевитпез СЬе Ъаяс сошрцСаС1оп прод 1Ся гесе1рС. ТЬ1я сгейС тжз1д~ 1дСгог1цсез а ЫосЫп~ оГ СЬе Ъаяс сотпрцСаСюп, сопСтайсС1пв СЬе тет1ц1тешепС СЬаС а Сегш1паСюп-с1еСесС1оп а1вопСЬтп зЬоцЫ поС 1дйцепсе СЬе Ъзяс соп|рцСаСюд.
РотСцпаСе1у, СЬезе оретаСюпз аге гаге. 8.4.2 Яо1иЬъопв 11въпд Тьтпевгапирв ТЬи зцЪзесС1оп йвсцявез зо1цС1опз Со СЬе СепшпаС1оп-йеСесС1оп ртоЫеш Ъмес1 оп СЬе цзе оГ С1шевСашря. ТЬе ргосемез аге мвцше1 Со Ъе ес1шррей МСЬ с1ос1сз (БцЬяесС1оп 2.3.3) 1ог С1цв рцхрояе; ЬатсЬчаге с1ос1ся вя тче11 м 1 ашрогС'в 1орса1 с1ос1с (ЯцЬзесС1оп 2.3.3) сял Ье изей ТЬе с1еСесС1оп ргшс1р1е им ргорояес1 Ъу Кала 1Кап831. 1йе СЬе во1цС1одз оГ БцЪзесС1оп 8.3.3, Кала'з зо1иС1оп 1я Ъмес1 оп а 1оса1 ргейсаСе дичеС(р) тот еасЬ ргосеяя р, юЬете дцгег(р) =~ вгаге„= раввине Л до Ъаяс шеязаае яепС Ьу р 1з ш Сгапз1С, ~чЬ1сЬ 1шрЬев ('Фр уиег(р)) ~ Сегп1. Аз ЬеГоге, уиег и Йеппец Ъу дичет(р) = (вСаге„= раввьие Л ипасМ~ = 0), ТЬе а1КогйЬш аппя Со сЬес1с юЬеСЬег, Гог а сегСа1п рошС ш Сцпе С, аЛ ртосезяея тете с1ц1еС аС Ище $; СеппшаС1од аС Сш1е С 1о11о~чя. ТЬ1в 1в Йоде Ъу а жаче, ~Ь1сЬ мйз еасЬ ргосем Со сопйгш СЬаС 1С 1чм г1ц(еС аС СЬаС Мше 8.4 Рйет Бо1иИопз : (асйое, раззтюе); : 1пСеяет 1п1С О; (~ 1,оя1са1 с1ас1с з) : шСедег 1п1С О; (з ХшпЪет оЕ цпасйпоМес1дей пжзаКез *) : тСеаег ш1С О; (* Типе оЕ шозС тесепС Стапз1С1оп Со оитег «) чаг зСагср в ипасйр игр Бр.
( згагер — — асСтзе ) Ъерд В:= Вр + 1; зепс1 (шез, Вр); ипасlср .— — ипасИ р + 1 ешь Вр: 1 А теззаве (шез, В) Етот д Ьзз агпчес1 аС Р ) Ъед1п тесе1че (шея, 9); Вр:= твх(Вр, В) + 1; зеЫ (ас1с, Вр) Со о; згагер .—— асторе еЫ 1р. 1 згаСер — — асМие ) Ъерв Вр .= Вр + 1; згагер . — — раззтче; 1Е иласйр = О СЬев (* р Ъесоп1ез цшеС ") Ьетг1п у~р,= Вр, зеЫ (Со1с, Вр, огр, р) Со №хгр евй еЫ Ар. ( Ап ас1спож1ейяетепС ( ас1с, В ) Ьзз атт1че$ аС р ) Ъефв тесе1че (ас1с, 9); В„:= тах(Вр, 9) + 1; иласйр ..— — ииасйр — 1; 1Е ипасйр = О авй згагср — — разнос СЬеп (* р Ъесотез сп1ес *) Ъефп ВГр ..= Вр, зепи (Со1с, Вр, ф~, р) Со №х~ епй евй Тр, 1 А Со1сеп ( Со1с, В, ог, д) Ьзз зтт1чес1 аС р ) Ьефв тесе1че ( Со1с, В, ой, о ); Вр .= тах(Вр, 9) + 1; 1Е 9итег(р) СЬев 1Е р = о СЬеп Аппоипсс е1яе 1Е ог ) огр СЬев зепс1 (Со1с, Вр, оС, д) Со игр еш1 А1узг1сЬгв 6.10 КАКА 3 Ат ооаггнм.
апй 1аСег; а ргосезз СЬаС чтзя поС с1шеС с1оез поС гевропй Со шевелев оЕ СЬе чаче, ейесС1че1у ехС1гщшзЬ1гщ СЬе чтаче. 0п1йе СЬе зо1пС1опв ш ЯесС1оп 8.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в ЙесепСга11зей; еасЬ ргосезз ехеспСев ехасС1у СЬе ваше йеСесС1оп а1~ог1СЬтп. А йесепСгаБле1 а1допСЬш сопЫ а)яо Ье оЬСашей Ьу 300 В ТеттптиаСтоп ЮяСзсгтоп ргочнйпа СЬе а18опСЬхп оГ БиЪзесС1оп 8.3.4 хч1СЬ а с1есеюСга1иес1 враче а18опСЬш. 1п В.апа'з во1иС1ою СЬе ргосеввез сап 1п1С1аСе рг1чаСе чтачев, чтЫсЬ пш союсиггепС1у. Ргосеяв р, счЬеп Ьесоппп8 с1и1еС, яСогез СЬе Сипе дг аС ччЫсЬ СЫз Ьаррепз, апс1 зяагСз а тчаче Со сЬес1с ~чЬеСЬег а11 ргосезвез Ьаче Ъеею ии1еС зшсе дг . 1Г СЫз 1я СЬе саве, СеппшаС1оп 1в с1еСесСес1.
ОСЬегяляе, СЬеге ъчН Ье а ргосеяя СЬаС Ьесошез с1и1еС 1аСег, апс1 а певуч юаче жН1 Ье яСахСес1. А18опСЬш 8.10 1шр1ешепСз СЫз ргшс1р1е, из1п8 1,ашрогС'в с1ос1с апс1 изш8 СЬе г1п8 а1цопСЬхю аз а чаче. ТЬеогепх 8.12 Яапа'з а1допСЬт ('А1дотхйттх В.10) Ся а соттясС СегттаСьоп- Иегесгхол а1дотгйтп. Ртоо~. То ргоче СЬе 11чепезз оГ СЬе а18опСЬш, мвшпе Сегпх Ьо1с1в ш а соий8игаС1оп у чтЬеге а ас1споМес1дешепСв аге зИН ш Сгапз1С. Ргош СЬеп оп, оп1у А апй Т„асС1опя оссиг.
Ав еасЬ А асС1оп с1есгемез СЬе пишЬег ос' ( ас1с, 9) шезза8ея ш сгапв1с ьу опе, оп1у а йшсе юишьег оГ сьезе зсеря оссигз. ЕасЬ ргосезв Ъесошез српес аС шояС опсе; Ьеюсе а Со1сеп 1в 8епегаСес1 аС шояС Ф С1шез, апс1 еасЬ Со1сеп ж рмвес1 аС шовС Ф ушев. Непсе чт1сЫп а+ Х' яСеря СЬе СегпхшаС1оп-с1есесс1ою а18опСЬш геасЬея а Сепшпа1 сопй8ихаС1оп б, ш ~чЫсЬ Сегхп яСШ Ьо1с1я. 1,еС ро Ъе а ргосезя чт1СЬ СЬе шахлша1 ча1ие оЕ оС ш б, 1.е., ш СЬе Сепшпа1 сопй8игаС1ою дС, > дС хог еасЬ ргосезз р. %Ьеп ро Ьесаше с1и1еС 1ог СЬе 1ыС С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}
