Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 103
Текст из файла (страница 103)
1пйеей, сопя1йег к(р) апй к(д) влй мвише, в~.1.о.я., Йа$ к(р) < к(д); м гЬе пшшпа1 райЬв аге вппр1е, к(р) <~ к(д) Ео11оюв. 1Ф 1в а1во пиреей йа1 д йоев поФ оссиг ш к(р); оФЬегчлзе, Ыя ргебх ир Фо д и а рай Фо д, апй 1ех1содарЫса11у вша11ег йап к(д), ъЫсЬ сопггаЖс$я ФЬе йейшпоп оГ к(д). Виг. реп, к(р) . д 1в йе созс оГ а итр1в ра$Ь Фо д, нгЫсЬ 1шрЬев йаФ к(д) <г, к(р) . д. Бо к(р) <г, к(д) <~ к(р) . д, чййсЬ ипрЬев ФЬЮ к(р) а к(д), ог, ецшча1еп$1у, р 1в ап апсевгог оГ д 1п ФЬе пип1ша1-рай.
ггее. ТЬеяе гюо ргорегМев, паше1у Езетсиев 487 Ехегсме 15.5 буйои йа1 йе талта1-тпа~сЬпд а1уот7йт сап бе ыир1е- пипМ ппИотпйу т.йе Ьтй-теуи1ет театр-аИ тпойе1. Ехегеае 15.6 Жош йа~ йе тиапта1-та1сЬту а1уопйт в1аЫиев ю Х~+ 0(У) вмерз апа йош йав йете м ап П(И2) 1ошет боипа оп Йе (шотй-саве) литбет о1 вмерз). ЕхегсЬе 15.7 Певщп и в1аИиту а!уопйтп 1о сопв~тис1 а тахьта1 жИе- репйеп1 веФ аЫ сотприЬе Йе тахта! питпЬет о~ вмерз бедноте з1абчЬгаегоп. Рго~есФ 15.3 Сдаче а лотт 1ипсНоп Йа1 ртоиев Йе 1еттпта1лоп о~ А1до- лйт Л.4.
Рго~есС 15.9 Ртоие Йа1 ои~етр~апат утарбв ате йтее-со1отаЫе. Резанул а зтаЬйлту а!уопйт йоши сотирйтез а Йтее-со1оппд о~ ап оиеетр1апат дтарЬ. Рго~есС 15.10 Ревщп а в1аЫжпд а1дотййт йа1 сотри$ев а Яие-со1оттд о~ а р(апет дтара. (Бее (МсН90~ ог апо~Ьег тех~ оп 8тарЬ а1догйЬшз.) Ехегсие 15.11 Ббош йа1 йе УрНа$е а1долйтп сап бе изей ~от е1есИоп аЫ сотприФа6ол о~ а Ьтеаай гагат, зеатсЬ зраппюд атее бу уймах ап арртортчатз рай-сов$ ~ипсйоп. ЕхегсЬе 15.12 СЪе а з$аЫглпд а1уопйт ~от сотрийлу йе пе~тотК зые. Ехегс1ее 15.13 оаош аош ~о сотпри~е йе йерй о~ а атее ипй йе 0рйа1е а1долйт. А Ряеис10сос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в ивиа11у рчеп м СЬе 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. ТЬе ЕогаП вСаСешепС Ьвв СЬе Еогш "Еога11 х Е Х йо вгагетеиЕ', тчЬеге х 1з а Еогша1 рагашеСег апй Х а веС, апй шеапз СЬаС вгаСетеиг тИП Ье ехесиСей Еог еасЬ е1ешепС х оЕ Х ш Сигп. ТЬе огйег ш жЬ1сЬ СЬе е1ешепвя зеС СЬе1г Сиги и поС ярес1йей, ЬиС СЬе яСаСешепС 1я оп1у изей чкЬеге СЬе огйег йоея поС шаССег. Рог ехашр1е, 1Е СЬе тшшЬег оЕ шевелев гесеЬ~ей Егош еасЬ пещЬЬог оЕ р шизС Ье 1п1С1а1ией Со лего, ~че тчг1Се ЕогаИ д Е №ьуй Йо В [д]:= О, Ь а11 саяев, шяСеай оЕ а вшие зСаСешепС а яеш1со1оп-яерагаСей ЪС оГ вСаСешепСя, епс1овей ЬеСюееп Ьец1п апй епй, шау Ье изей.
1 ше Ъгеа)йпз влй шйепСаС1оп аге Еогша11у шеаншфевз, ЬиС аге вирровей Со гейесС СЬе Ыос1с вСгисСиге оЕ ргоКгашз. 491 492 А Рзяийосоае Соппипйопз Меязаае равя1па. ТЬе айй?Ф?опа1 орегаФ1опя "яепй" апй "гесе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пГо, Ы„, ~№~уй„~ )" ?и Фо Ье теас1 вя Гога11 о е №здЬ, йо зепй (1пГо, Ы„, ~№гуЬ„~ ) Фо о.
То тесе?че а шмите, 1Фи Фуре м чгеБ м Гоппа1 рагапжФегз Гот ФЬе йаФа Йе1йи оГ ФЬе пжязахе апй 1Фз яепйет пшзФ Ье зрес?Йей. То тисе?че ФЬе ЫогшаФ?оп техагйшх ФЬе 1йепФ?Фу злй йеягее оГ а пе1дЬЬотшд пос1е, ргосеяя р тпау ехесиФе тесе?че (1пХо,а,о) 6ош у. ТЫз оретаФ1оп гешочея опе пжззаце оГ Фуре 1пГо йош ФЬе сопшшшсаФ1оп яуяФещ айег ФЫз орегаФ?оп ФЬе ЙгяФ апй яесопй йаФа ЙеЫ илй ФЬе яепйег оГ ФЬе шмяаце аге ача??аЫе зз а, 6, алй у. 1п ФЫз ?огш, ФЬе тесе1че орегаФ1оп йоез поФ ириску антош жЫсЬ пефЬЬот а шеаяаце пшзФ Ъе гесе1чей, ЬиФ ФЬе яепйег оГ ФЬе тесе?чей шеяяаяе Ъесопжя 1тпочгп атФег ФЬе орегаФ?оп. А ргосеии шау пеей Фо тесе?че а шиззаде антош а ярес?Йс ргосеиз, зау уо, ш ФЫв сазе 1Ф ияеи ФЬе орегаФ?оп тесе?че ( 1пХо, а, о ) 6ошФЫя уо. Оссаи?опа11у тче юалФ Фо ехртезз ФЬаФ шеиящез оГ йМегепФ Фуре сап Ье тесе?чей илй ФЬаФ айегюагйз ФЬе асФ1оп йерепйз оп ФЬе Фуре асФиайу тисе?чей. ТЫя ?и ехргеияий (е.д., ш А?аког?ФЬтпя 7.7 ялй 7.9) Ьу ~чг?Фшх: тесе?че т 6ош о; (* ог: 6ошФЫя о ") 1?' т ?з (1п1о, а, о) ФЬеп зФаФетепФ е1зе зФаФететИ ТЬе рагашегег ц ииес1 Ъу р Фо ймсг?Ье а пефЬЬог оГ р 1ог ФЬе ригрояе оЕ яепйшд ог тесе?чу а шмаре ?я са11ей ФЬе ааагизз оГ ФЬе пе1фьЪог.
1п А Рзеийсойв Сописпйопа 493 маг тес Я~ Еог еасЬ д 6 №гуЛ~,: Ъоо1еап 1тцС Еа)ве; Ьефл майе ф(д: тес (д] 1з Еа3ве) ) 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дцте 2.5. ТЬе сошпшп1са$1оп Ъейжееп ртосемев сап Ъе е1гЬег алрпсйтопоиг ог зрпсЬчтоиз (вее Яесй1оп 2.1). 1Е сопппцшсай1оп и мупсЬгопоцв (и~ЬЕсЬ тчШ аЬчаув Ъе аззшней цп1мз Матей отЬегкие) а яепй орега~юп сап аЬ~ауя Ъе ехесцФей ыпшей1а1е1у. ТЬе шемахе и втож1 ш тЬе сопппцшсаИоп вцЪзуятеш шй11 Ы и тешоче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меп пойаИоп. ТЬе а~ега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п1йа1жей А Рзеийосойе Сопиетйоти 494 айаг тесрф аког еасЬ з б №~уЬр: Ъоо1еап 1ш1 Ыяе; зет~зр, Нес : Ъоо1еап 1пЫ Ь1яе; В: ( А шевваке (Фон) Ьвя аггЬес1 ) Ъек1п гесе1че (Фой) 6ош д; тес (ц]:= й ие епй Вр. ( 4~(д: теср[д~ и 1а1яе) =1 ык1 зетЫ = ~а1зе ) Ъек1п зеЫ (торс ) йо де тч1ГЬ тес (де~ и Й1яе; зепи:= Й"т~е еЫ Пр. ( ф(д: теср(ф и Й1яе) = О агн$ оеср = ~Ызе ) ЪеКш Несете; оеср:= й ие еи6 А1вогИЪгп А.2 Е~ткнт-~нцчкн нотлтюн (тккк и.сотптнм).
а$ ФЬе Ъек1ппшб оГ ФЬе зга1ешетй Ивг, ЪиФ же а1зо а11очк 1Ье шЖа1 ча1иез го Ъе фчеп ртйЬ ~Ье йес1агайоп. Аз ап ехап1р1е, сопзМег А1цогЫЬш А.1, тчЫсЬ и а сопгго1-опелей погя т1оп оГ ГЬе аггее а1~огйЬш (А1допйип 6.3). Весаияе йе яФМешетй 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пЕо, а, 6) и аъа11аЫе оп сЬаппе1 д гЬеп Ьефп гесейте ( 1пГо, а, 6); ... еш$ е1зе Ьеуп яепс1... епй Моп-с1еФегшш1зш и шоге евяПу ехргеявей (Ъесаизе Й и 1шрЬсй) ш $Ье ет епФ-дг1чеп потайоп оГ ап а1воп1Ьш, ТЫя потайоп сопеля оГ а йес1агя акоп оГ маг1аЪ1ев 1оке1Ьег ъйЬ 1Ье 1пМа11забоп оГ тЬеве ~аг1аЫез, Ы1ожей Ъу а Ьяг оГ асботи.
ЕасЬ аст1оп сопящая оГ а Ъоо1еап ехргевжоп (ФЬе диатЫ оГ Ми асмп) аЫ а втайешепт, (11з бойу). Ап ас1юп и епвЪ|ей (ог аррЫсаИе) реп Ыя киагй еча1иаФея Фо тле, ТЬе асс$1оп Ъойея сап, Ъе ехесизе6 агЪйгаг11у ойеп агх1 ш апу огйег, счИЬ $Ьв гевФг1сбоп ФЬЮ ап асйоп и оп1у ве1ес1ей Гог ехесийоп ~тЬеп В 1в епаЫей. Ая ап ехашр1е, сопя1с1ег А1цогЫшь А.2, юЫсЬ и ап ече~й-ЙЬгеп погаг1оп о1 ФЬе ваше аггее а1копФЬш.
Весапяе еасЬ зФагешетй сап Ъе яе1есйей Ьг ехеспя1оп агЬЫгап1у ойеп (рго~66вб Ья кпагй и тгпе), й шизй Ъе ехрЬсй1у А Рвеийкойе Сопиепйопв 495 рговгашшей 1Ьа1 1Ье веЫ орегайоп жк1 1Ье Ыесйе орега0оп яге ехесигей оп1у опсе. 1п А1допМш~ А.2 гЫя ж гуопе ияша ФИе зепгр апй Ыес йадв. %е йо по1 пийе Еа1гпевв аввишрМопя гедагсНпд гЬе ехесиФ1оп оЕ ечепйдг1чеп ргоягагпя; ФЬЮ 1в, Ы и по1 геои1гес1 Егош ФЬе ехесиг1оп шойе1 ФЬЮ ап асг1оп ~Ьа1 Ь епаЫес1 Еог ап шйш1е1у 1ощ 11ше 1в ечеМиа11у ехесиСей.
ТЬив, Ы 1в ФЬе гевропв1Ь1Иу оЕ ФЬе ргорашшег 1о епяиге 1Ьа$ по евве~Жа1 асИопв вийег Егоп1 в1агча11оп (аге печег ве1есФей Ьесаияе ойЬег асМопя оЕ ФЬе ргоягаш аге аЬюаув ве1есгесЦ. 8.1 ЭеЯпь|юпв ал«1 Теттпчпо!оуд В..«..Е Утмйтзссед Стирйв 497 (1) А р1апах цгарЬ ъИЬ У по«1ев Ьм ас шой ЗФ вЂ” 6 е«1~ее. (2) А р1алат вгарЬ Ьм аФ 1евзс опе по«1е оЕ «1е«сгее Яче ог 1евз. (3) Ал оиФегр1апаг рарЬ Ьм ас 1емс «ше по«1е оЕ «1евгее сто ог 1езз. Ап ип«11гессе«1 КтарЬ С и а рыг (К Е), ттЬеге У 1з а зеФ саЛе«1 ФЬе по«Ее ве$ оЕ С ап«1 Е 1з а соБесйоп оЕ ипог«1еге«1 ра1гз Егош У. ТЬаФ ж, ал е1ешепс оЕ Е 1з а рв1г (и, ю) ъ1сЬ и, ю б У.