Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 71
Текст из файла (страница 71)
1еС 1 = (1о> Л ".) Ъе ап епишегаС1оп оГ Ею йейпей м Сойлтв. г'СгзС 1 11вСв ай ргезЬоС ечепСз оГ Етт, ш аду'огс1ег сопз1вСепС чпСЬ -~; СЬеп 1" БзСя СЬе розСяЬоС ечедзз ш апу оп1ег сопз1вСепС ч6СЬ .~; яее г'1рхге 10.3. 1д огйег Со арр1у ТЬеогеш 2.21, 1С пизС Ъе вЬочтп СЬаС СЬе едСпе мциепсе 1 1в сопв1вСепС МСЬ -С. 1еС ~~ -с ф И' ~, аЫ ~, аге ЪоСЬ ргевЬоС ечепСз, г < т' 1о11отчв Ъесаиве ~ епшпегаСез ргезЬоС ечепСз ш ап огйег 336 10 Япарзйаг8 ТЬе врасеИше й1абтапь оГС Яеуппсе 1" Г1виге 10.3 Тнк кхяситюн Г.
сопвигепт тч1гЬ -с. ТЬе залпе Ьо1йв 1Х ~, апй Д аге ЪогЬ роМвЬог ечепгв. П Д и а ргевЬог ечепФ апй Д и а ров1вЬог ечепг, г' < 1 ГоПотчз Ьесапве 1 соптыпв аП ртевЬо~ ечептв ЪеГоге аП ровйвЬоФ ечепт,. ТЬе в1тиатлоп 1Ьаг Д и а ртевЬоФ ечеп$ апй 1, и а ровФвЬот ечетй 1в ехс1ийей Ьу тЬе вввпшрбоп 1Ьат тЬе сит Ь и сопвиФеп1; 11 Д Е 1 апй Л .С Л, Л Е 1, 1.е., 1', и а ртевЬоФ ечепФ. Же сопс1цйе тЬаг ~ и сопвигепт егКЬ .с. Ву ТЬеогеш 2.21 гЬеге ехитв ап ехесиг1оп Г гЬат, сопвитв оГ ФЬе ечепгв оГ Еч, арреаг1пц ш тЬе отйег у. Бхеспг1оп Г сопга1пв сопйрыаг1оп у 1шшей1аге1у айет ФЬе ехеситлоп оГ вП ргевЬог ечепгв. (3) 1шрПев (1). 1г Я' и шеашпфи1, у' оссигв 1п ап ехеспг1оп оГ С; ш еасЬ ехесиМоп а шевваде и ее~а ЬеГоге й 1в тесе(чей, апй $Ыв 1шрИез ~ЬаФ т'сийР С зепГР Гог еасЬ р апй а.
Непсе Я и 1еав1Ь1е. 10.2 Тюо БпарвЬоС А1догИши Ву ТЬеогеш 10.5, Ы вийсев ~о соогй1паФе гЬе 1оса1 впарвЬо1в во ав Фо Киатапгее гЬаг Ип тевий1пд впарвЬот и Геав1Ь1е. ТЫв яшрИев ФЬе тес1шгешепгв оГ ФЬе впарвЬоФ а1допИш~ Фо ФЬе ЬПоа1пв глчо ргоретй1ев. (1) ТЬе га1йщ~ оГ а 1оса1 впарвЬог шпв~ Ье ~плетей ш еасЬ ргосевв. (2) Хо ровтвЬот шемаве и тесе1чес1 ш а ргевЬот, ечепФ. 1п аП впарвЬог а1цот1гЬшв й и епвцгей ~Ьаг а ргосевв гачев 1тв впарвЬоФ ЪеЕоте гЬе тесе1ре оГ а ровгвЬот, шемахе. ТЬе йчо а1вот1Мшм тЬат, аге ггеаФей ш гЫв весйюп ййег ш Ьов тЬеве шеввавев аге гесорыгей апй Ьочт Ы и епвпгей ~Ьаг еасЬ ртосем та1тез а впарвЬог.
То йи~1пашвЬ 1Ье шеваацев о1 ФЬе впарвЬоФ а1цогКЬш ггош ФЬе шевва~ея оГ гЬе сошригаг1оп ргорег, ФЬе Йгшет ате саПес1 соптго1 шеввваКея апй вЬе 1айет аге саПей Ьав1с шевелев.. 'О,Я Тшо ЯпарзИог А1увтМЬтпз 337 маг ийелр . Ьоо1еап 1шФ Уа1зе; То 1пЖаге ФЬе афопйш: Ьефп гесоЫ ФЬе 1оса1 вФаФе; ййвир .= грие; Г ° и~няЪдЬ,ао' а(1 ) го~' епй П а шаг1сег Ьм агп~ес1: Ьек1п гесече (пйг); И' пой ййепр ФЬеп Ьерп гесогй ФЬе 1оса1 егзиге; ййепр ..— — гтие; Еога11 д Е Уе~уЬр оо зепи (ш1сг) го ц епс1 епй А1аогИип 10.4 Тнк Снлнш-1.лмрокт ямы*енот м.сокгтнм. 1 епипа 10.6 1~ а$ 1еаз1 опе ртосезз иийагез йе а1уотпМтп, аИ ртосезвез ййе а 1оса1 впору.ог иъИип фойе Ите. Ртоо7. Весыяе еасЬ ргосеяз га1гез а зпарвЬог аЫ яеш1в ( пйгг) шевелев м шовг, опсе, гЬе асгЫ~у оГ ФЬе зпарзЬог, а1~ог1яЬш семез МгЬш йп1ге Ыше.
Н р 1з а ргосеяв гЬаг Ьм гайеп а впарвЬог Ьу ~Ыеп, аЫ д 1в а пещЬЬог оГ р, гЬеп д Ьм гайеп а впарвЬоя аз ъе11. ТЫз 1я во Ьесапзе гЬе ( ш1сг) шемахе, жй Ьу р, Ьаз Ьееп гесеЬей Ьу д аЫ Ьаз сапзег1 Ы Фо яа1се а япзрз?юг, М Ы ЬЫ поФ а1гевх1у боне во. Взсапзе а1 1ззз~ опе ргосезз шЖа~еб Ии а1зог1яЬш, ая 1ем1 опе ргосем Ьав гз1геп а зпарзЬос; ФЬе соппесеМ~у оГ 1Ье пеФюог)г ЬпрИез 1ЬаФ а11 ргосеявев Ьате Ыкеп а впьрзЬоФ. П 10.2.1 ТЬе А1дотъ0ип оу СЬапйу ать йагпрагй 1п гЬ1з впЬзесг1оп ~Ье айЫопз1 зязпхпрг1оп 1з ывег1 еЬм сЬаппе1в аге Ио, 1Ьм 1з, шевелев яепг чю апу вшие сЬлппе1 аге гесе1 чег1 ш гЬе ваше огс1ег аз ФЬеу щеге вепг,.
1п гЬе а1цог11Ьш оГ СЬзпйу апс1 1 ашрогФ 1С1 85], ргосезвев Ыопп еасЬ огЬег аЬопг гЬе впарвЬоФ сопзягпсМоп-Ьу веж11пц врес1а1 ( пйгг ) шеяяацея (шаг1сегв) ~ба еасЬ сЬахше1. ЕасЬ ргосевз зепс1з шаг1гегв ехасг1у овсе, ъ1а еасЬ зхЦасепг сЬыше1, реп гЬе ргосем ййея Ия 1осз1 япарзЬог; гЬе шаг1сегз аге сопгго1 шеязадез. ТЬе гесе1р~ оГ а (ш1сг) шевзаКе Ьу а ргосеяз еЬаг Ьав поС уеС гв1сеп Ия зпарвЬоФ сапзев гЬ1з ргосезв го гз1ге а япарвЬог абай яепг1 (гп1а ) шезвадез м шее; яее А18опгЬхп 10.4, МпсЬ 1з ехесп~е1 сопспгтеЫу и6гЬ ~Ье сошр~йвйоп С. ззв 10 Ят~арвйогв ОЬаегче ФЬат, ~Ье а1~опйш шиза Ье 1шйа$е6 Ъу а1 1еав1 опе ртосезз, Ьит й ~чог1тя соггесФ1у К 1пй1а$ей Ьу апу агЪ1Фгагу поп-ешр~у зет оГ ргосеизез.
ТЬеогеш 10.7 ТЬе Ыуопйт о~ СЬапйу аЫ йатроН ~А1долйт 10.4) сотритев а теапту~и1 впарвЬо$ иийщ ят|е Итв апет Ыв щгйайвайои бр а1 1еав3 опе ртосем. Ртоо~. Ву тЬе ртепоця 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гез ФЬе ехсЬаще оГ 2Щ (тп1а ) шеззакев аис1 тЬе яФога~е оГ а яшд1е Ъ1т, (р1ця, о1 соцтзе, тЬе тесоп1ей япар- яЬоФ втайне) ш еасЬ ртосезз; Йз Мше сошр1ехйу 1з О(.0).
10.2.2 ТЬе А!дотьМпь от йаъ' апд Уапд ТЬе а1цопгЪхп оГ Ьы апй Уыщ 11Х87~ моея пог те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, ргосем р, зеисйпК а шезза~е оГ С, арреж1з ФЬе ча1це о1 гойет~„го 1г. Весаизе тЬе сопФепФз оГ ФЬе шезза~ев оГ С аге по~ оГ сопсетп Ьеге, сче с1епо~е гЬеяе шемаев вш1р1у м ( шез, с), ~чЬете с 1з гЪе ча1ие о1 ййеп шс1ийей Ьу гЬе зепт1ша' ргосезз.
ТЬе зпарзЪо~ Йаот1тЬш 1пзреств 1псош1щ шезяаем апй тесова 1Ье 1оса1 злате м Ы 1з ЬеГоге гесе1рг оГ 1Ье йтзг рояФзЬо1 шеззаае; зее А1дкИЬш 10.5. А1Кот1ФЪш 10.5 ехсЬацея по сопгго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дотъ6ти 339 чаг Гайзпр .
Ьоо1евп 1шй ~а1зе; То пнг1а~е гЬе а1~опгЬпс Ьефи гесогй гИе 1оса1 агаве; айза:= итие еш1 То вепй а шевваве оГ С: вепс1 (п1ея, тайен ) П а шевваве (шев, с) Ьм вгпчей: Ьефп гесе1че (шез, с); 1Есвпй поФ ййеп СЬев Ьефв гесоп1 ФЬе 1осв1 втайне; ййеа '= й ие еш$; сЬапВе втайне м Ьт гЬе гесе1че вчем оГ С еш1 А1КогКЬш 10.5 Тнк 1.А1-УАмс зкАРянот А~оовттнм. ищшепсес1 щЫЬ тЬе шЖа1 ехсЬапде о1 сопгго1 шеявадез Ьегжееп а11 ргосевзев, ав ш А1цогЫшь 10.4.
ТЬеве шеязадев йеп епяцте оп1у йаФ еасЬ ргосевв ече~йпа11у гесогйв 1гв ватаге (ав ргоче1 ш 1ешша 10.6), ЬпФ р1ау по го1е ш ргочшв ФЬе 1еаз1Ь11йу оГ ФЬе гевп1Мл~ зпарзЬот. 1п еИЬег тчау, сошрпта$1оп о1 а сошр1еФе япарвЬоФ 1я р~агатйеей. ТЬеогегп 10.В ТЬе а1дотйЬи о~ йаь' ать Уапд 1А1доттйт 10.5~ оп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ЬЮоп (6ееипд). ТЬе а1цот1гЬш оГ СЬапс1у аЫ 1.ашрогг (А1вогЫЬш 10.4) пеев шаг)тетя со сй~1прыяЬ Ьегзгееп ргевЬот апг1 ровтвЬоФ шезяавен, апй Ьепсе терптез сЬе йто ргорет~у оГ сЬаппе)я. ТЬе а1~огМиа оГ Ы 1Ъ ~ (А1~оиИиа 10.5) ехрЬсМу шс1и 1ев ш Ьав1с шемаев юЬесЬег тЬеу аге ргезЬос ог ровввЬос, Ьепсе гецшгев гЬе ровв1ЬНйу го р~ддрбасй 1Ыогшайоп ш Ьвя1с шеяяавев. Тау1ог 1Тау89) Ьав зЬомп сЬаФ И ФЬе сЬаппе)з аге по1 Ио аий рщвуЪас1апк 1в по1 пвей, апу яо1п1юп Фо тЬе япарвЬот ргоЬ1еш пшвг, Ье ийййогр, 1.е., тешрогат11у ажреЫ где Ьвз1с сошрпсаг1оп.
ю 10 Яаарвйой А с1аяз1йсайоп о1 йвегепФ курев о1 шЫЪЖоп апс1 а сЬагас~епяабоп оГ ~Ье песезяагу 1пЫЪ1гюп шаек иапоцз аввцшрМопя аЪоц~ сопшшшсайопв 1в 1оцпй ш СгйсЬ1оп аЫ Тау1ог [СТ90~. 10.3 'Ув1пц БпарзЬой А1~огВЬпж 10.3.1 СотприВайоп оу ФЛе СЛапм1 ЯФа$е В Ьм зо 1аг Ъееп мвцшей ~Ьат, тЬе з~аФе о1 еасЬ ргосевя соптыпв тЬе сопшшп1саг1оп Ь1з$огу оГ гЬе ргосевз, яо гЬа1 $Ье вФа1е оГ а сЬыше1 ш ФЬе впарвЬоФ сап Ъе сошрцтес1 6ош КЬе йа$ев оГ йе а4асепг ргосевяев.
1п пюви смея, Ьо"ттечег, 1с 1в ~оо соз~1у 1о я1оге ехр11сШу а11 гЬе шевва8ев а ргосем Ьм ечег вепг ын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Ф яцГ6сея гЬаг еасЬ ргосевз вгогея ФЬе гшшЪег оГ $ойепз Ы Ьм веп1 ык1 гесе1ией.