Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 61
Текст из файла (страница 61)
( ойагер — — асГхит 'Г Ъе81п вепс1 (гпев); ипасКр:= ипаскр+ 1; со1отр — — о1ас1: (* Вп1е В ') (* Ви1е А ") Нр: ( А гпевввве ( гпев ) 1гош о Ьав вгг1чес1 вс р ) Ъе81п гесеЬе (гаев), ~сасер:= асПие; вепс1 (аск', '.о о (* Ки1е А ") епс1 1р. ( зса1ер — — ас1юс ) Ъе81п насер:=- раззгив епс1 А„: ( Ап пс1споМей8ип~та~ (ас1с) Лав агг1чес1 аС р ) Ъе81п гесе1че (ас1с); ипасЛр — — ипас1гр — 1 епс1 ~'* Жи1е А ') огвгс гЬе Йесес0оп, ехесысес1 опсе Ьу ро. Ъефп вепс1 (Фо1с, иЫс) со ррг ~ епс1 Тр..
(* Ргосевв р Ьалйев Же со1сеа (со1с, с) "') 1 зсасер —— Раззше л ипасИр — — О ) Ъе81п 11' р = ро сЬеп 11 с = шЫс Л со1отр = шЬйе сЬеп Аппоипсе е1ве вепс1 (Фо1с,шМс) со ррг е1ве 1г (со1отр — — Ыйе) гЬеп вепд (Фо1с,с) со №хСр е1ве вепс1 (йсй, о1асй) со №хср,. со1отр .—— шМе (* Кп1е В *) епй А1дог10нп 8.8 Твгсмпср погс пегвог~о~ п~йо ~с~с~о~~.епоемзгтгв. Нл!е А. ЖЬеп вепс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у, ФЬЮ диет(р) Ьпр11ея сЬас р 1з рввягче апс1 по Ъав1с шевваде вепс Ъу р 1в 1п сгапз1Ф) 1в пож зас1яйес1 11 диы1 1в с1ейпес1 Ъу 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 ;ст и= Га!ь11у1п Р~). ипаск„> О. Непсс .'.' спе аяяег',.эп Р~„йейпес1 Ьу Р~ = ~тр: (и7"и.~в О =-'~ со~лтр = ЙОСА)) 'я па1пса1пес.«оу оЬяегы1щ Ъп1е В. ЖЬеп а ргосеяв яепс1я гс Ьесотпев Ыас)с; а ргосеяв Ьесоспев тч1исе оп1у ытЬс и 1с 1я цшег.
сЬе сопс1ия1оп 1я а"аш 1ияс1йес1 сЬос Мии Ро 1я 1а1я16ес1. Р, Ьо1с1я, Ьепсе (~" о ы Рс) 1я пос ~а в1пео. ТЬе геяи1с1п~ а1 опсЬгп 1я '1ыеп ая А1 ог1 Ьгп 8.8, апс1 1гя 1пыаг1апс 1я Р, ~?ь I~ (Ро 'ы' Р~ ч Р2), тЬеге Р, = Ур: (ипасИ, = ф(гпеява ея 1п сгапвй жйЬ яепс)ег р) + 4(ас1св. 1п сгапя1т, М".Ь Йеяс1паМоп р)) Р~ = 'тр: (ипасИ- > О со1от, = Ыасй) Ро =- % (М > 1 > Ф): дичее(р) Рт = Ъ (й > г > 0): сойот,, = Ыас1с Р, = 'Ье со1сеп 1я Ыас1с. ТЬеогегп 8.10 ЛдоткЯтп 8.8 тя а соттесй 1еттпспапоп-йесес1ъоп а1доттЯтп ~от сотприсаГтопз ипй аяупс1топоив тпевзаде развтд. Роо1. Тегпипас1оп 1я аппоипсес1 ытЬеп ро 1в цахес алс1 ргосеяяев сЬе юыЬ1се со1сеп. ТЬеве сопсИюпв ипр1у сЬас Р, апс1 - Рс, апс1 Ьепсе Р, Л Рь Л Ро Ьо1с1в. ТЫв 1гпр11ея МсЬ дигег(ро) сЬай а11 ргосевзея аге с1п1ес, Ьепсе теггп Ьо1с1я.
реп сЬе Ьяв1с сотрп~атюп сеггп1патея, тыЖшь яогпе $1гпе а11 ас)споыч1- ес1~егпепСя аге госе1ыес1 апс1 а11 ргосевяев Ьесогпе оц1е1. ТЬе ЬгзФ юаые Фугас ясагсз ытЬеп а11 ргосеввея аге с1шес сепп1паФев жЫЬ аП ргосеязев айте, апс1 1епшпа'юп 1в аппоппсес1 а1 сЬе епс1 о1 сЬе пех1 ~чаые. П А во1пг1оп Ьаяес1 оп Ьоппс1ес1 гпеяяаде с1е1ау.
?п «Те191Ь, БесМоп 4.1.3) а с1аяя оГ во1исюпз Гог сегпппаМоп с(ееесйоп (апс) осЬег ргоЫегпя) 1я с(еясг1Ьес1 Ьазес) оп тЬе взвпшрСюп сЬас тЬе с1е1ау оГ а гпеяза~е 1з Ьоппс)ес( Ъу 293 8.5 Маче-5оле6 БоЬйопв а сопягяп~ и (ясе а1во Яесй1оп 3.2). 1п ~Ьезе зо1иг1опя, а ргосеяз геташя ипцше1 Гсг а ц-11те 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гя алло, ьпй (2) р 1я рмя1~е. ТЬе сотрЫе Гогть1 дег1ча11оп оГ ГЬе ь18ог1ФЬт гя 1ей Го ~Ье геайег.
8.3.4 Теттпхпайоп Вейесггоп яйся 'дааев АП гегт1пайоп-с1егесйоп ь1догйЬтя йвсияяес1 зо Гаг 1п йЫв зесй1оп ияе а г1п8 виЪ:оро1оцу Еог соп~го1 соттип1саИоп; СЬе ь1дог1йЬтя аге а11 Ъазес1 оп гЬе жаче а1цог11Ьт аког г1пдв. Б1т11аг яо1ийопя Ьаче Ъееп ргорояес1 1ог огЬег ~оро1орея; ~ог ехатр1е, Ггапсек япс1 ВойеЬ 1г 2821 апс1 Торог 1Тор84] аче ап а1догй1пп ив1щ ь гоогес1 врьпп1пц аггее 1ог сопгго1 сотп1ип1саЫоп. Тап апс1 ч'ап 1 ееи~чеп [Т1 86! еьче десеп1гь11зеб яо1ийопз Гог г1пд иегъог1ся, 1ог аггее пе~ъог1з, апй Гог агЪ11гагу пеФаогЫ. 1пзресйоп о' гЬеяе во1ибопв гечеа1в сЬаг,:Ьеу аге а1тоя~ з1п111аг, ехсер~ аког ~Ье тчаче а1рзг11Ьт оп юЫсЬ ФЬеу ге1у.
ТЬ1я виЪяесФюп з1еФсЬея а бег1чайоп о1 а ~епшпаМоп-йе~ес~1оп а1догйЬт (апй Ыз 1пчьг1а~й) Ъмей оп ап агЪйгагу жаче а18ог1йпп, га'.Ьег ~Ьап а зрес1йс а1 ог1йЬт (1Ье гш8 а1дог1йЬт). гог еасЬ жаче, йЬе йгз~ ечеп~ ш ъ ЫсЬ а ргосезв вепс1я ь тевзаде Еог СЬе жаче ог йес1с1ея, 1я са11ей йЬе ияй ~о 1Ьь1 ргосезя. И 1з аязите6 1Ьа~, 11 песеяяагу, 1Ье ргосезз сап зизрепй ~Ье ч1вй ипЫ 1Ье ргосем яьс1вйез а 1оса1 сопсИ1оп. 1,а~ег ечепгя оГ ФЬе вап1е счаче аге печег зизрепйес1. ТЫз зиЪвесйоп ргевепгя $Ье йег1чьйоп оп1у Гог ФЬе сые оГ яупсЬгопоия теяяаде разв1пд оГ ФЬе Ъм1с сотригагюп (м 1ог гЬе с1ег1чайоп ш ЯиЪвесФюп 8.3.1).
ТЫз йег1чайоп сап Ъе депегаЬкес1 го ~Ье мупсЬготюив саве ш а тчау вшп1аг 1о йа$ оГ ЯиЪвесИопя 8.3.2 ьпс1 8.3.3. ТЬе 1пчаг1ап1 о1 ~Ье а1дог1гЬт тия1 а11о~ч геппшьйоп Фо Ъе деФес~ес1 тчЬеп ~Ье чаче дес1с1ев; ~ЬегеГоге, м ь йгвг аггетр1, же яеФ Р = Ро, жЬеге Ро = аИ ч1зйей ргосеявея аге рмя1че. 1пйеей, м а11 ргосеззея Ьаче Ъееп ч1зйей реп ~Ье йес1зюп оссигз, ~Ыя мвегйоп а11оъв $егтша0оп йе1есбоп реп гЬе 1чаче с1ес1с1ез. Могеочег, Ро 1в ез1аЫ1яЬей ~чЬеп ~Ье тчаче 1з 1пЖаФей (по ргосезв Ьы Ъееп ч1Ыес1 уе1). ТЬе асЫЮу о1 ФЬе враче а18оп1Ьт ргезегчев Рв Ы ги1е 1 Ъе1о~ч 1з оЪяегчед. Ви1е 1. Оп1у рам|че ргосезяез ьге ч1зйей Ьу йе ччьче.
1.1п1огйша~е1у, Ро 1в Ыз1йес1 счЬеп а ч1з1гес1 ргосеяз 1з ас~1чь~ей Ъу ап 8 Тептппа1гоп Оегесйоп ипч!зпес! ргосезз. ТЬегеЕоге. еасЬ ргосеяз !я ргоч1с1ес! щ!гЬ а со1ог, аы1 Р в ще; кепес! ~л,',Ро 'ч' Р, ) щЬег~ Р,: — гЬеге гз ап ипч!в!гес! Ыас1с ргосезз. ТЬе щеь!.ег !пчаг!апг !я ргеяегъео' ипг1ег ги1е 2. Э й 2, А яечйп ргосезз Ъес~ спея Ыас1г. ТЬе щеа1гег зззегг1оп сап Ъе Еа1в1Ы Ъу гЬе ъчаче !Е а ч1я1г 1я шаг!е го гЬе .>п1у ыпъ'1я!гес! Ызс!с ргосеяз. Т1:е ж~иаМоп !з зачес! Ъу а Еиг$Ьег щеа1сеп1п оГ Р ЕасЬ ргосезь зиЪгп1гз а со!ог, е!+Ьег щЬ1Фе ог Ыас1с, м !приФ ъо $Ье щаче, ТЬе чгаъе Ея гпоййед зо аз га сошрпе гЬе 4гйелг оЕ г1ге зиЪгп!Сгес! со1огь; веса!1 ~ЬМ ъъачея сап соп~риге 1пйгпа.
апс! "сЬе г1аг!гея!" !з ап !пйгпшп. ЖЬеи гЬе щаъе г!ес1г1ез, гЬе йаг1гезг, оЕ а11 яиЪпиЖег! со1огя щ1!! Ъе согпригес1; Ыя М!! Ъе чЬ!ге !Е а11 ргосеяяея яиЪпиггес! щЬ1ге апг! Ызс1. !Е аг 1еаз~ опе ргосеяь зиЪпиггес! Ыас1с. 0иг!пв; гЬе щаче, гйе щаче щ111 Ъе са!1ей щЬ!ъе 1Е по ргосеяя Ьм ъе~ яиЬпййеа Ыас1; апг! Ыас!' 1Е а1 1емг опе ргосеяз Ьм ь геаду зиЪпиъгеп ЫасЕ. ТЬия а ргосеы, ъчЬеп !г Ея ъ 1я1Гег1, е1гЬег яиЪпыгв щЬ!ъе, щЫсЬ 1езтея 1Ье со1ог оЕ Ье щаче ипсЬап ей!, ог зиЬгпйя Ыас1, щЫсЬ со1огя „Ье щаче ЫасЕ Р 1я ще*!'еперь го Я'ч' Р, '/ Р2). щЬеге Р~ = гЬе щаче 1я Ыас1г. Т1из мзегг1оп !в ргеяегчег! ипс!ег гЬе Ео11ощ!п~ ги1е. Ки1е 3.
А ргосеж, щЬеп ч1з!гег1, зиЪ|шьз 1гз сиггепФ со1ог го 1Ье щаче. 1пйеег1, а11 Ъм1с сошгпип1саМоп ая ще11 м щаъе асъ!чту ргевег~ев гЬ!я аяяегг1оп, ъчЬЕсЬ 1в 1ЬегеЕоге ап 1пчаг!ап1. А щзче епс3я ипзиссевзЕи!1у 1Е ъЬе ргосезяея с1ес1г!е 1ог Ыас1г, Ъ~й 1и гЬ1в сме а пещ щаче !з я!ар!у 1шъ1агег1. ТЬс пещ щаче сап оп1у Ъе ьиссезяЕи! !Е ргосезяея сап Ъесоше юйсюе, апй йпя Ьаррепз 1пнпес11Ме1у айег 1Ье ч1яй оЕ ФЬе щаче. Ки1е 4. А г1ес1г1ег 1п а Ыас1с щвте 1пЖа1ев а пещ щаче. Ки1е 5. ЕасЬ ргосевз 1игпв щЬйе 1пппес!1а1е1у айег еасЬ ч!в1г оЕ а чаче.
ТЬезе ги1ез диагыйее гЬе ечеп1иа! виссеяв оЕ а щите айег сЬе гегш1паМоп оЕ гЬе Ъм1с сотригаИоп. 1пг1еес1, !Е гЬе Ъм1с сошрига6оп Ьм $епшпаъес1, гЬе йгя1 щаче з1аг1ег! аЕгег ~егш1паИоп шайея а11 ргосеяяея щЬ1Ге, апй 1Ье пех~ ъъаче 1еггшпаФев яиссевзЕи11у. 1п 1Ь1з а1догйЬш оп1у опе щаче шау Ъе гипшпд а1 апу вше. 1Е Ьчо щачея, яау А апс1 В, гип сопсиггепг1у, гЬе щЬ1~еп1пз оЕ а ргосеяз айег а ч1вй оЕ В 8.4 Обжег Ыийолв 298 8.4 ОйЬег Яо1иМопв Т~чо тоге во1иМопв '.о тЬе тагтп1пят1оп-белес'.1ои ргоЪ1сп". аге Йвсивзей Ьт й1з зест1оп: тЬе сгес111-гесочегу ъ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}
