Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 60
Текст из файла (страница 60)
+ д = О. Азяегт1оп Рс 1я езтаЬ11зЬей ъ Ьеп рц шЖагея ~Ье же е Ьу яепй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йсайоп оГ Рс та1гез р1асе ш а гесе1р1, 1.с., й 1я арр11саЬ1е оп1у ч Ьеп В > О. Весаиве Рв Ьо1с1я ЪеГоге 1гя Га1з1йсаМоп, :1гГв ппр11ев 1Ьаг, Р, Ьо1Йв, ъЬеге Аяяегйоп Р~ геша1пя багие ип!ег а тесе1рГ, Ьу р; жйЬ Г > Г; сопзециеп11у, 1Ье Я.,3 Италия-оаясЫ Яо1ппопя о8 7 : (ас1те, ракете) : (гиМс, Иасап), : ш',едет 1п1г О; айаг яГасер со!отр гпср Б: ( ягагер —— асггие ) Ьефп зепи (гпея); тпср ,.— — гпср + 1 ';~ Нп1е М «) епй Н„: ( А пияяа8е ( гпев) Ьая агг1 ~ей аг р,' Ьерп гессе (гпея); яга'ер:= асгйе; тпср .—— тпср — 1: (* Нп1е ".1 *1 со1отр,= Йаск (" Ни!е 2 ') 1„: ( ясагер — — асьы ) Ьеа1п зваГе,;= раяятие епй Бгагг гЬе бегесМоп, ехеспгег1 опсе Ъу ро.
Ъерп яепг1 (ФоК шЫе, О) 1о ру ~ епй Тр. (* Ргосеяя р Ьапг11ея йЬе совдеп (йо)с, с, ц) *) ( яйагер — — раяяие ) (" Нп1е 1 *) Ьерп 1Г и = ро 1Ьеп 1Г (с = чиЛг1ер /~ (со1от р = ьЛайя) Л (гас ~- д = О) ФЬеп Апта ивсе е1яе яег.с1 (Фо1~, гоЛИе, О) 1о ру г (~ Нп!е 4 *) е1яе К (со1отр — — ийоне) (* Нл1ея 1 апа 3 *) ВЬеп яепа (ФоМ,с,о+ тор) ~о Исхг е)яе вепре (Со1с,Ыас3с,а+гас ) ю Йех1р, со1отр .— — ыЛйс (~ Нц1е 5 "') епс1 А1~огИЬгп 8,7 БАрнл'в ысоаггнм. ~чеайег аввегг1оп Р, йейпей Ьу Р Л (Ря ~/ Р~), 1в ргевегчес1 ыпйег гпевва8е гесер~юп Ьу р, ъч~Ь | > 1. ТЫв пюййес1 аяяег~1оп яг111 а11ожв 1Ье с1е1есМоп оГ гегшшаМоп Ьу ро ппйег 1Ье вагпе сопсЫопя, Ьесапве 11 г = О, Р1 геаав тс + д ) О, яо в(псе тс + д = О (1Ыв 1в а1геаду гес1шгеб аког йе1ес~юп), Р, Ьо16я.
То1гепгогнагйп8 ргеяегчев Р„апй во г(оея яЬе яепйп8 о1 а Ьев1с гпевяаае. (1пгогЯппеве1у, 2 ~ сап Ье Га1я1йеб Ьу ЯЬе гесе1рГ оГ а шеяваде Ьу р, ъ!ГЬ г < г. Ая 1п ЯпЬвесйоп 8.3.1, 1Ыв вйпайоп 1я гегпес11ес1 Ъу оп~ еасЬ ргосеяя а со1ог, айорй1пд 1Ье где 8 ТептлигЕоп Ба1есйоп В пе 2. А гссе1ч1пд ргосеяь Ьссопаез Ыас1.. ,л1 гер)агт~ Р Ьу Р,„А (Р0'/ Р~ l'Р», чЬег" 1,) = 11;, ) / ) О,',.01ц7, 1~.,~,.
Е;сп гес.!':г ~ ~и1 ',~1з16ея Р~ ш:алея Р. ггц, ьо Р 1ь по' 1''1ьйе'1 'у апу Ьзз1с . ги.п. Аъ,'Р ~, со/от „= иЬ~;ч А й = О) -' — Р, 1~ я -~'.11 рояь1Ые «о г1с~ес1 Г .папа 'оп ч".'. «1и пеи аяьь. г1~':, пц:це1'~'. ~у чЬ. 'ь " 0, 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е 3. 'Л Ьеп е ЫасЫ ргосеяз Еог~чагоз гЬе го1;еп, +Ье го1'еп Ьесогпев Ыас1г. Весацяе (гас с.~кеп 1з и1иге) =; -Р~, геггпшаМоп ац вы!1 Ье сЫесйес1 Ьу р0, пагпе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Е гЬе ~ ачс епйя цпяцссеязЕц11у, а пеж опе шцяг Ье ягаггей г1 1е 4. реп ГЬе ~чаче епйв цпвцссезяЕц11у, р0 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гпр11ея йа1 ъЬйешпч сап яаЕе1у 1а1се р1асе цроп Еогиагйпц гЬе го1сеп. Н,ц1е 5. ЕасЬ ргосевз йцгпя жЬ1ге 1штейаге1у айег зепйпч ГЬе Го1сеп. ТЫз ~чЬ1сешщ гез;1те яцЕБсез:о р~агапгее йЬе ечепгца1 яцссеы оЕ з, враче В.З ЪУиие-ЬиЫ Бо[ийопз 289 айег Сетш1паС1оп оГ СЬе Ьаас сошрпгаС1оп.
ТЬе а1дот1СЬт 1я фчеп аз А1до- г1С1тш 8,7. ТЬеогегп 8.9 братта Ъ а1допйтп (А1дотъйт 8.7) тз а соттесг .'еттптпсттоп- Йейесйоп а1догйЬти,5от сатприСаСгпття шит% аздпайгопоия тпеыпде раз,"лд. Ртоот ТЬе а1дот1С1пп пая Ьееп йея18пей зо! ЬаС СЬе ргей1саСе Р, йрйпеа Ьу Р Л (Рр Ч Р~ Ч Рг Ч Рз), 1я ап 1п аг1апС оГ СЬе а1допСЬтп. То вЬо~ч СЬе яатеСу, оЬяегче СЬаС сегш1паС1оп 1я йетесяей тчЬеп С = О, вшСе „= разлив, саЬт~, = ш)идее, апс1 тес, +д = О. ТЬезе сопй111от. 1шр1у Рз, -Р..
апй . Рт, Ьепсе Р Л Ро. жЫсЬ Со8еСЬег М Ь зтате „= раьяте апй тс„, + ц = 0 1птр11ея Сегтп. То яЬогч 'тчепезя, .оЬзетче сЬас айег сегтгшас1оп от сЬе Ьяя1с сотрпсас1оп СЬе п~евяа е сопптетя ате сопяСапС апс1 СЬе1т яшп ес1па1в О. Л яами е вгагСей ш яисЬ а сопй8итаС1оп епйз т1СЬ тес„, + д = 0 апй ъ'1СЬ а11 ртосеявез со1огей нгЫСе, айег тчЫсЬ СЬе пехС чаче 1я 8пагаптеей Со Ье зиссезятЬ1.
П 1.;п111е ~Ье 1Эц1гзСта — Рецеп-Чап Саягегеп а18ог1СЬт, Бамата'я а18от1СЫп йоея поС Ьаче а Ьоппйей ъогяС-саяе сошр1ех1Су; СЬе Со1.еп шау Ье развей ап ипЬоипйей пшпЬет оГ Сипев ъЫ1е а11 ргосеыез ате раяя1че, ЪпС вот.е Ьаз1с шевяа8ез теша1п 1п Сгапя1С 1от а 1оп8 репой оГ Сппе. Аз тот СЬе 13цкзСга— Гецеп — Уап СаяСегеп а18от1С1пп, а регГогшапсе оГ 0(Т+ У) шеяяа8ея шау Ье ехресСей Гог а Ьвя1с сошрпСаС1оп МСЬ Сппе сотпр1егйСу Т.
ТЬе чесСог-соттпС1пд а18ог1СЬпь. МаССетп [МаС87] Ьаз ргорозес1 вп а1- 8ог1СЬт сопьрагаЬ1е МСЬ БаХга'в а18ог1СЬтп, ЬиС чтЫсЬ шашта1пя а зерагаСе лезвие соппС Гог еасЬ йезС1паС1оп. гог ргосеы р СЬе тпевваде соипС 1в ап атгауте [Р). реп рвепйв Со д, р ирйаСев СЬе соштС алСЬтс [д):= тс [ц1+1 апй тчЬеп р гесе1чез, р ирйаСез СЬе соппС ъ1СЬ тпс ф:= тс„[р[ — 1. ТЬе Со1сеп сагт1ез ап аттау оГ соппСв а1во, ати1 тчЬеп р ЬапсПез СЬе Совдеп, тес„1в аййей Со СЬе Со1-еп апй геяеС Со 0 (СЬе атгау МСЬ еасЬ епСгу еоиа1 Со 0). ТетшшаС1оп 1я йеСесСей жЬеп СЬе Со1~еп ецпа1в О. ТЬе чесСог-соцптшд а1цог1СЬт Ьав яоше айчапСадез очет Ба~та'з а18ог1СЬпт, ЬиС а1зо вбегя 6ош воте яег1оия й1яайчапСадея.
Опе айчапСа8е оГ СЬе а1 опСЬт 1в СЬаС СепшпаС1оп 1я йеСесСей ГаяСег, паше1у ~ч1СЫп опе гоипй оГ СЬе Совдеп айег СЬе осситгепсе оГ СегпипаС1оп. А зесопй айъапСаце 1з СЬаС ая 1оп8 ая СЬе сожриСаС1оп Ьаз поС СегпппаСей, СЬе Совдеп 1я яиярепйей шоте реп, жЫсЬ шау гейисе СЬе пцтЬег о1 сопСго1 тпеявааея ехсЬапяей Ьу СЬе а18ог1СЬш. 1п БаХга'з а18ог1СЬтп, еасЬ рзяв1че ргосезв Гогччагйз СЬе Со1сеп; 1п чесСог-соппСшя а1аог1СЬшя яисЬ а ргосеы р М11 поС 1опчагй СЬе Со)'еп 11' СЬе В Тет7ижайои 0етес1гоп 1пГогтиаг1ои соигашес1 1и '.Ье '.о1сеи иир11ея '.Ьат а тпевза8е 1я зг111 ипйег ~чау то р.
А -.иа)от а1яадчаита~е оГ честог-соииИпд а1дог1тЬшя 1я гЬат Же толчеи соита1пя ь 1агае атпоиит о1' шГогтпай1ои (иатпе1у, аи 1ттте ет Гот еасЬ ртосевя). жЬ1сЬ тиив~ Ъе развей 1и ечет~ сои~го1 тиеяяа8е. ТЬ1в йяат1чап~аде тау пот Ъе тоо яегГоия 1Г тле пшиЪег оГ ргосеяяея 1я зша11. АпотЬег йяас1чапт,а|е 1я 1.Ьа~ 'киот 1ес'де оГ огЬет ргосеяяез' Ыеи11г1ея 1в гес1и1гед. 1Г йЬе честот 1я гертевеиФей яз аи агтау, еасЬ ргосеяз тпия' 1сио~ч тЬе еит1ге со11есйоп оГ ртосеы ЫяитЖея 1и ас1чаисе, Ъит Ж1з теци1гетиеиФ сап Ъе ге1ахет1 1Г Же честнот Гя гертеяеп~ед м а со11ес1!ои оГ Ыепгйу-1п1едег ра1тя. 1и1Иа11у еаси ргосеы пшвт кио ч аг 1ем~ ~Ье Ыеп~Жев о1' йв пещЬЪогв,'!и отс1ег то 1псгетиепг 1Ье соиттт согтесг1у), аий Же оЖег ЫептЖея М11 Ъе 1еагпес1 дит1иц йе сотрийай1оп.
В.Я.З Уягпд АсапошГеадетпепйя 8аГта'я а18от1ФЬтп соиитя 1Ье Ъм1с тиевза~ев тЬат аге вепре аий гесе1чей 1и отйег то езтаЪ11зЬ тЬат по Ъм1с тпезяа ев аге иийег ~чау. 1г 1я а1яо роья1Ъ1е то диагаитее ~Ь1в ия1ид ас1~иоМеддетпепгв; зечега1 аы~Ьогз Ьаче ргоровей яисЬ ап аи~тпеигаМоп оГ гЬе Щ1твтга-Рецеп — 'чап СмФегеи а1~огйЬтп, вее, е.д., Ханш 1Ха188). ТЬ1в чаг1а11оп оГ 1Ье рг1ис1р1е 1з йвсиввес1 оп1у Ъг1ейу Ьесаиве 1Ье геви111и а18от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 ргечепФ ФЬе саЛ Фо Аитьоиисе шй11 Й сап Ъе сег~аш ФЬат, а11 Ъав1с тпеязадев яеп1 Ъу 1Ьа~ ргосеы Ьаче Ъееп тесе1чес1.
ТЬе с1етесИоп тпе1Ьой йейиея Гог еасЬ ргосеяв р а 1оса1 сопйМоп дите~(р) тп яисЬ а чтау ФЬат, т1юе1(р) =~ (в1аГе„= раяюы Л по Ъая1с тиеяяаде зеп1 Ъу р 1я Гп $гаивй) 1я яаМяйес1. ТЬеп (чр: дозе~(р)) ~ 1еггп. Гп огйет ~о езгаЪ11зЬ сЬа~ ио тпеяваде вепт, Ъу р Гя ш тгаллй, еасЬ тиеяяаце 1в ас1споМейдей апд еасЬ ргосеы тпаийа1пя а сошй оГ тЬе шипЪег оГ ас1акж1ес18етиеи~в й птизГ зЫ1 гесе1че. РогтиаПу, ФЬе мзегйои Р, с1ейиес1 Ъу Р,: — 'чр: (ипасИ„= ф(тпеввадез 1п 1гапзЫ юЫЬ яеийег р) + ф(асйпоМефетеп1я 1и Фгапя1т то р)) 1з шапйа1пеб 1пчаг1апт, Ъу 1Ье Го11оМпц тп1е. о'.3 Уаюе-оазса 3о1и1гоиз '291 айаг зга'ср: (астап с, разя~ив), со1отр: (ыЫв, Нас/с); ипас~ср . 1пгевег 1п1С О . Яр..
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
