Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 65
Текст из файла (страница 65)
РА и рсоггес~ Бх еиетд р, ш рагМсц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 а18ог1йшз аге цве1езз; ~Ье1г ачегахе сошр1ехйу п1ау сошраге ГачоцгаЫу МгЬ ~Ье (иогз~-саве) сошр1ехйу оГ ~Ье Ъевг, йе~егпишзйс ЫвогйЬш. Ав зл ехашр1е, сопвйег ФЬе СЬвлхВоЪейв е1есбоп а18огйш~ (А1догЫш~ 7.3), жЬове шеззар сошр1ехйу и д.1 Ртзйтйзатиз 309 8(№) ш гЬе тчогяг, сззе Ьий оп1у 8(У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.е., 6(Х 1оК У) шевелев.
Же вЬа11 по~ Ье сопсегпес1 жЫЬ ЯЬегюоос1 в1цог1йипя ш й1з Ьоо1с. 1,м Уепав аш1 Мопеде Саг1о а1догЫЬгпв. Ав а сопвеоиепсе оГ ТЬеогеш 9.1, гЬе Ьея~ опе сап асЬ1ече 1ог а ргоЫеш яЬаг саппог, Ье зобе<1 йегетппшяя1саПу 1я а ргоЬаЬ11жг1с а1дог1гЬш яЬаг, и соггес~ чл~Ь ргоЬаЬ11!гу Р (О < Р ( 1). 1Ъиа11у, еЖж гЬе Фегпьшаг1оп ог гЬе рагг!а1 соггесяпеяя ы яаМвйей ш еъегу ехесиГ1оп. Рейшг1оп 9.2 А Ьаз Уедаз а1дотйЛтп ы а ртоЪаЪ|ЬзБс а1дотчГЪт Маг (1) геттпта$ез илй розйте ртобаЪ|1йу апН (2) и раттзаИу соттесГ А Моиге Сат1о а1дотЮитп м а ртоЪаЪ|НзБс а1дотчгЪтп йаг (1) гет~типаФез ать (2) и ратйаИу соттес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йш 9.4). ТЬе ргоЬаЬИ1гу оЕ Й11иге оГ а Майе Саг1о а1КогЖшь (К й ж пог а ЯЬегжоой а1~огЫЬгп) 1з аЬтауя зша11ег йап 1. 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зопйш 9.5). Пы1ег яоше вйй1опа1 сопзггашгв й и ровв1Ые $о оЬФа1п а 1м Чехами а1хог1йш йош а Моп~е Саг1о а1вог1йш аЫ т1се чегяа; вее Ехегсиев 9.1 агх1 9.2. 31О У Аиояущоиэ ИейиотИз Яшшпагу оГ ге1ечэлФ азресФв. ТЬе а1вог1Ф1ипэ ш ФЫв сЬарФег сап Ъе с1эзийес1 ьссогйщ Фо ФЬе 1о11отпд гноит спФег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 аз Чекаев от МопФе Сэх1о ь1КопФЬшв. (4) Ьээ Уздам от Моите Саг1о. 1 аз Чедьэ а1дот1ФЬтпв эхе изиаЛу сопвЫ- егер пюге аФФтасФ1че Ъесаизе ФЬе1т ргоЪаЪйзФ1с ФетшшьФ1оп 1з Ьагйу ЙвФшаи1вЬаЫе 6ош ФетпипаФ1оп ш ргасФ1сь1 в1ФиаФ1опв. 9.1.8 ТЬе РтоЫепы СотэЫечеИ чп Миэ СЬартеч.
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з ээ ротчег6й ав а пахюей пеФнют1с, Ъесаизе пашев сэл Ъе аввщж1 Ъу а сепФпйяей а1вопйш вз 1з с1ешопзФгаФес1 Ъе1ож. 1п БесФюп 9.3 1Ф чу Ъе вЬсюп ФЬаФ а 1еайег сап Ъе е1есФей Ъу а ртоЪаЫ11вФ1с э1допФЬш Ы ФЬе пеФтчог1с в1ве 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шаччп. СепФгаНве2 сотприФаФ1опз. ТЬе вйе оГ ФЬе пехот)г сап еав11у Ъе сошриФес1 Ъу а з1пК1е сошриФаФ1оп оГ ФЬе есЬо ь1аопйш Ы а ишиие вФэхФег ргосезз (а 1еайет) 1з ачаПаЫе. ЕасЬ шезваве вепФ ирюэхс1з 1п ФЬе врашшщ Фгее шйкей Ъу ФЬе сошриФаФ1оп герогФз ФЬе пишЪег от ргосевзев ш ФЬе зиЪФгее оГ ФЬе вепс1ет; зее А1вопФЬш 9.1. у.1 Ртейпьпапев айаг теср: 1пМКег 1п1С 0; (~ СоппГз пцгпЬег о1 гесеьей шеззавез *) ~аМьетр . Р шй ийе~; выер: 1пМВзг 1шй 1; (* Яие оГ виЪГгев оГ р *) гог $Ье ппг1агог: Ье91п Ь аП у Е ЛЪдЬр ао м й ( Ы~,0) со д; юЬ11е тес < фЛЪдй Йо Ьефп гесеЬ~е (Фо1с, в); теср:= тес + 1; валер:= иве '+ в епй (~ ТЬе пеФтчог)г в1хе 1в вввер ") гог поп-1пп1згогз: Ъефп гесе1че (Фо1с, в) 6ош пе13ЬЬог д; 1а$Иетр .= д; тсср:= теср+ 1; 7ога11 т Е №вдЬр, т ф ~аМет до веЫ (1о1с,0) Го т; мЫ1е твср < Ф№вдар Йо Ъерп гесеЬе (йо1с, з ); теср ж тес + 1; везер:= вввер + в епй; мпй (Фо1г, в1вер) го ~айвтр еЫ А1$огЫып 9.1 СемтВАы~э сомРПтАт!ОН ОР тне нетюойк з!хе.
То азз13п опцие пашез, гЬе пеьчог1с зие и 6гв1 сотригес1 жйЬ А1КО- г1ФЬт 9.1, айег жЬ1сЬ гЬе ш1егча1 (О,..., Ф вЂ” Ц и йч1с1ей атоп3 1Ье ргосеввез, апг1 еасЬ впЬФгее гесе1чез ап 1п1егча1 ФЬе 1епфЬ ОГ вгЬ1сЬ соггезрош1з го йз зие. ТЬеогеш 9.3 ТЬете ехввгв а Йегетгпьтвйс сепгтаЬгей а1допГЛт го сотприге йе зие о~ йе пеЬиотИ ж1исй ехсЬапдез 2Щ таезвадез апН Лаз йте согпу1ехвгу 0(Ф). ТЬете ехйгв а йегеттптьвис сепгтайлеИ а1дотвйт го азяуп птауие пагпез, ийьсЬ ехсЬапуез 2~Е~ + (У вЂ” 1) тпевзауез агп1 'Лаз йгпе соглр1ехйу 0(У).
А шоте ется з13огтйгп Ьг вате ззз13пететй ехЫз; зее Ехегс1ве 9.3. А сопзе1пепсе ОГ ТЬеогеш 9.3 и ФЬвг„оч1гЬ оп1у а ята11 омгЬеай, ~Ье ача1)аЬШ~у ОГ а 1еайег сап сошрепва1е 1ог 1Ье аЬвепсе о1 итй1пе пвшев. ТЬегеГоге й и аввшпед ш йЬе яйис1у ОЕ апопугпоцв пефзгогйв, ш айЫоп ~о ФЬе аЬвепсе ОГ пешее, ФЬЮ по 1еайег и аъайаые. 312 д Апопутаоиз Хе1шот1сз У..с.4 $упсЬгопоив Уетвиз АзупсЬтопоив Мезваде Равзчпд ТЬе геяц1Сз сопсегшдя е1есС1опя оп адопушоця сЬс1цея Сцгп оцС Со Ъе иепз1- СЬте Со жЬеСЬег сошшцшсаС1оп 1з Ьу яупсЬгодоця ог аяупсЬгодоцв шезваяе рмв1п~.
йьс1ег зупсЬгодоцз шеззаяе рмз1да Ссчо ргосезяез соорегаСе ш а в1пя1е Сгапз1С1оп оГ СЬе яувСеш, ш тчЬ1сЬ СЬе зупцпеСгу Ьейчееп СЬе Стчо ргосеявез сап Ье Ьго1сеп. ТЬеогегд 9.4 ТЬете евйгв а ЮеСеттптьвгтс, ртосевв СетттипаСслд а1дот1йтп ~от е1есИоп ш а пеСшот1с о~ Стио ртосеввев Йаг сотптиитасаге 6у вупсЬтопоиз темаде разлад.
Ртоо~. ЕасЬ ргосем Ьм СЬхее зСаСея, пагде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Агщ80); яЬе а1во ~едегаНяес1 СЬе а1- яопСЬгп Со сЬс1цеи о1 агЫСгагу и1ге. ТЬеге ех'яСв до с1еСепшшзС1с а1яопСЬш Сог СЫи ргоЫеш 11' сошгпцшсаС1од 1в Ьу мупсЬгопоцв шеяваяе рамшз; СЬ1в сап Ье яЬотчп Ьу ап агяцшедС впш1аг Со СЬе опе СЬаС чу Ье цвес1 ш ТЬеогеш 9.5. Же с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у. 9.2 ЭеСеггшшзС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 СЬаС 6шсСюпз сап Ье сошрцСед И' СЬе гпту я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оп Ео11ощз Егопь СЬе оЬзегчаСюп СЬаС а соггесС а1цопС1пд с1оея поС Сегш1паСе ш а вушшеСпс сопйщш аСюп. ТЬеогеш 9.5 Тащете ехиСз по ЫеСетттитизСсс а1доп0ип ~от е1есСтоп гп ап апотгутпоиз титд о~ Ььотзтт зте. Ртоо~.
ТЬе гези1С 1я ргочес1 Еог СЬе сме оЕ ишс11гесС1опа1 г1пав, ЬиС 1С 1з Евлг1у ему Со оЬСаш СЬе ргооЕ Еог СЬе Ън11гесС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з са11ес1 зртнттьеСттс 1Е а11 вСаСев зге ес1из1 апс1 СЬе валье яеС оЕ шевелев 1в ш Сгапв1С Со еасЬ ргосезз, 1.е., %,3: 1с; =ст Л М, = Мз). Рог апу з1аопСЬш Еог СЬе гпщ, а сошриСаСюп С = (Ъ, у„...) и содяСгисСес1 висЬ СЬаС еасЬ сопЕщшаС1оп ущ~ ш С 1з яушп~еСг1с. 1еС уе Ье а яугпшеСпс ппС1а1 сопйщигаС1оп.