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