Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 15
Текст из файла (страница 15)
ТЬе 1оиег й1в сопзцтпрт1оп, гЬе "Ьеггег" гя -.Ье а1 ог1гЬтп. ТЬе гезоцгсе сопзцтпрМоп оЕ с11ятг1Ьцгет1 а1~ог1гЬтпз сап Ье,гзмцгет1 1п зечега1 ч~ауя. (1) 1Ееюяаде сотттр1елтр. Т1ия 1я гЬе ~огь1 пцгпЪег оЕ тпеяяадев ехсЬзлвей Ьу йе а1догМип. (2) Вт1 сотпр1еп1ц. Ая тЬе вел Л4 цяцаПу соп~а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т цяе тпеввь~ез сЬьт, сопта1п 0(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ощ ог чету зЬогт, тпевяадея.
(3) Т~те сотпр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оп 6.4 Еог а сотпраг1яоп). ТЬе йейш11оп цзес1 1п гЬ1в Ьоо1т 1я Ьаяет1 оп ап Ыеь1Ьет1 6тп1щ оЕ 1Ье ечепй оЕ а сотпрц1ьт1оп ассогт11п~ ~о тЬе ЕоПои1п~ мвцтпрМопя.
(а) ТЬе ~ипе Еог ргосезя1пд ап ечепт 1з гего $1тпе цштз. (Ь) ТЬе тгапяпияяюп типе (1.е., ~Ье типе Ъе1тчееп яепсПпц апс1 гесе1ч1пд а тпезяаде) 1з ат, тпозС опе 11тпе цшС. ТЬе т1тпе сотпр1ех1ту оЕ ьп а1зог1Иып 1з 1Ье т1тпе сопзцтпес1 Ьу а сотпрц1а0оп, цлт1ег тЬезе аввцтпрМопя. МоФе 1Ьа~ гЬе мяцтпр11опя аге оп1у тпаде Еог 1Ье рцгрове оЕ г1ейп1пд 1Ье г1тпе сотпр1ех1ту оЕ ~Ье а1дог11Ьпх ТЬе соггес~пезз оЕ ап мупсЬгопоцв а1дог1$Ьтп шцвг Ье ргочет1 1пс1ерепт1епг1у оЕ тЬеяе аявцтпрбопя. (4) 5расе сотр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. ТЬеге?оге а с11яг1псг1оп Ьегччееп гчогьг-сме апг1 ачегаде-саяе согор1ех1гу ?я пгаг1е. ТЬе ючогяг-сме пгемггге и гЬе Ь1 Ьеяг сопгр1ех1гу оГ апч сопгргггаг1оп о?' гЬе а!дог1гЬгп. ТЬе ачегаее сме. м ппр1гес1, ачегаоев очег аИ ровв?Ь?е сопгргггаг1опв, Ъггг 1п огс1ег го ~1о во а ргоЬаЬ11ку с1гвгг1Ъгггюп очег а11 сопгрп~аИопя пгпяг Ъе г?ейпеб Ехегсгяея го СЬар1ег 2 5есйоп 2.1 Ехегсгзе 2.1 Ое1гпе а тойе1'а( Нгзг гбао вузгетз ыМете гпезза9ез гоп уе раззЫ бой вупс1гтопоив1у апг1 азупс1гтопоиз1о.
5ес1гоп 2.2 ТЬе Го11огч1п~ гЬгее ехегс?яея 1пчеяг1 аге гЬе й??егепсе Ьеггчееп ап 1пчаг1- аггг апг? ап а1гчауя-ггпе ргег11саге, гЬе йя1ггпсг1ч1гу апс1 соп1ппсг1чйу о1 гпчаг1апгя апд с1ег1чагея, апс1 Ьогч 1пчаг?апгя ЬеЬаче ггпг?ег рага11е1 рго, гат сопгроя1г1оп, Ехегсгяе 2.2 Сгие а 1тапзг1гоп гуз1ет 5 аМ ап аззетггоп Р зггс1г йаг Р гз а1шаув 1тие 1п 5, 1ги1 гз по1 ап гпиатгап1 о15. (Нгп1: Атг ехатр1е шгй йтее сопЯ9итаггопз гз дгиеп гп !СТ90~. Сап ап ехатр1е ипй гшо сои1гуитаггопз бе ~оггпг1З) Ехегсгяе 2.3 Авзитпе Рг апН Рг ате гпиатгапгз о~ а вуз1ет 5. Ртоие йа1 (Рг 'ч' Рг) апг1 (Рг Л Рг) ате гпиатгап1в. Аззите Рг апг1 Рг ате Я-йетгиа1ез о~ а вуз1ет 5. Ртоие йаг (Рг 'ч' Рг) апй (Рг Л Р.
) ате Я-йетъиа1ез оГ о зузГет 5. Тгаля?г1оп яуягепгя гч?гЬ гЬе яагпе зес о?' сопйдгггаггоия апс1 1п1г1а1 сопйдгггай1опв сап Ье согпрояед Ьу согпЬ1п1пд гЬе1г ~гапяЖогг ге1аг1опя. Т?шя, гЬе ратаПе1 сотрозг1гоп оГ 5г — — (С, — г, 1) апс1 5 = (С,, У) 1я гЬе яуягегп 5 = (С, -+, У), гчЬеге — = (- г 0 - г). Ехегсгзе 2.4 Ье15 ое йе ратаПе1 сотрозгггоп о~5г апг1 5 .
Ртоие йа1 г~ Р гз ап гпиатгап1 о~ 5г апИ 5., йеп Р гв ап гпиатгапг о~ 5. Ртоие йа1 4 Р гв а Я-йетгиа1е о(5г апИ 5, йеп Р гв а Я-г1етгиа1е о1'5, багие ап ехатр1е шЬете Р гз а1шауз 1тие гп Ьойг 5г апд 5з, би1 по1 гп 5. ТЬе пех1 ехегс?яе сопсегпя гче11 ?оппдес1 яегя. А яе~ сап Ье гче11-Гоппс1ес1, ечеп гчЬеп 1?, Ьм ал е1егпепг ягпа!1ег гЬап гчЬ1с1г 1Ьеге ех1я~ 1пйп11е1у гпапу д ТЬе Ыой1 е1егпеп~з 1п г1ге нее. Т)ге 1ехгсодтарЬгс отает оп ъес~огз а = (аг, аг, ..., а„) апй Ь = (Ь,. Ьг, ..., Ь„) 1я с$ейпес1 Ьу й1ге ге1ай1оп а<~Ь с=> аг<Ь, Ч (аг- — Ь, Л(ав,...,а„)<~(Ьз,...,Ь)).
Ехегс1яе 2.5 Ртоие йа~ (И", <~) (госете и > 2,1 Ьаз е1епгеп~в зтаИет йагг в;ЬгсЬ йете ехгзЬ пфпйеlу гпапу е1етпепВк Ртоие йа1 (И". <~) гз шеИ-~описей. ЯесФгоп 2.3 Ехегс1ье 2.6 ЬаЫ йе еиепгь о~ Ядите 2.1 тй йе с1осй иа1иез авзгдпей Ъу йагпрот1'» ~одгса1 с1осИ-. ~аЬе1 йе еиеп1з и гй йе с1осй иа8иев авзгдпеа Ьу МаПетпв иесЬот сгосй. 1йеп~г~у ьопге радев о~ сопситтепЬ еиепйв апН сйесИ гиЬейет йе 1аЬе1в аввгдпе4 1о йеве еиепй ате оп1етей. Ехегсгзе 2.7 Сгие а бгв1тгЪигей а1дотгйт ~вгтг1ат го А1дотгйтп Я.Я~ йаг 1аЪеЬ йе еиепй гигй йе с1ос/с иа1иев аввгдпеЫ Ьу Майетп'з иес8от сгосй.
Ехегсые 2.8 Сап опе ртоие ТЬгеотепг Я.И Ьу тереа1ейу арр1угпд Т1гео- тегп 2.1д 1о сиепу о~ Е? Ехегсгзе 2.9 Ртоие ТЬеотетп 2.Щ Ехегс1ае 2.10 Эе5пе йе саива1 отйет ~от йе 1тапвгИопз о~ а зуйет илй вупсЬтопоив сопгпгипгса~гоп..0ерпе с1осйз ~от висЬ. зузгепгв, апгг дгие а йвгтгЬигей а1дотгйтп ~от сопгри6пд а с1ос1с. 3 СопппшпсаМоп Рго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!яайоп !в са11ей ореттжд 1Ье соппест!оп апй !1я й1всагй!пд 1я са11ей с1озтттд тЬе соппес6оп. ТЬе й1тйстт1ту оЕ соппест!оп тпападетеп~ Ея йтте то тЬе рояз!Ъ|1!ту тЬат а теяваде геташз 1п тЬе сошпип!саФ1оп сЬаппе1я ътЬеп 1Ье соппес1!оп 1я с1озей. БттсЬ а тпеяваце сотт1й Ъе гесеЬгей жЬеп по соппест!ои ех!в1я ог йиг!пд а 1атег соплест!оп, апй !тя гесе1рт пшвт пот й!ятшЬ тЬе соггест орегат!оп оЕ тЬе сттггепФ соппесМоп. ТЬе рготосо1в й1ясттзяей !п тЬ!в сЬартег аге йея1апей Еог й!ЕЕегепт, 1ауегв !и а рго~осо! ЫегагсЬу, яттсЬ вз тЬе 081 теЕетепсе тпойе1 (ЯттЬзесМоп 1.2.2). ТЬеу аге шс1ттйей тп тЫз Ьоо1т Еог й!ЕЕегеп1 гемопз; йе Йгвт рго1осо! тз сошр1еФе1у мупсЬгопоттз, тт Ь11е ФЬе зесопй ргоФосо1 ге1тев оп ФЬе соггесФ ттзе оЕ т!тпегя.
1п ЪотЬ смея тЬе чег!6сат!оп оЕ тЬе рготосо1 сопсептгатев оп 3 С т типьсоттоп РтотосоЬ тЬе геци!тес! ва~е!у ргорегту тЬат !я, тЬат ЕЬе гесеЕчег ъч11 оп1у с!е1!чег тЬе соггес1 т!ата. ТЬс йгвг рготосо! (Яест1оп л.1) !я с1ея1дпет! Еог тЬе ехсЬапхе оЕ с!ата Ьетъчееп тъо в1ат1опв т1тат Ьача . Йгест рЬуз!са! соппест1оп (висЬ м а те1ерЬопе 1!пе), апт! тЬегеЕоге Ье!опр !п тЬе г!аФа-1ий 1ауег оЕ ВЬе ОЯ1 шос!е1, ТЬе яесопс1 рго~осо! (ЯесИоп 3,2) !я с1ез!зпет1 то Ье ивет! Ьу ~то ята6опз 1Ьат шият сопппип!сате ч!а ап !тк~ гтпейате петюог1 !розз!ЬЕу сопга!и!п~ отЬег ятат!опя апс1 соппест!п~ тЬе еот! зтат!опя ФЬгоидЬ с1!йегепт ратЬя), апс1 1Ыз рготосо1 тЬетеЕоге Ье1опов !и 'Ье тгапярогт 1ауег оЕ тЬе ОЯ! шот!е1.
ТЫз ЙЕЕегепсе !пйиепсеь тЬе тес!и!г~ ".' Еипст!опа!!ту оЕ тЬе рготосо1з ш тЬе Ео!1оыпд гъ'о раув. !1) Еттотз сопзЫетео. Рсг:Ье тжо рготосо1я Ййегепг с1азяев оЕ тгапзтЫьв!оп егтог ~ч!11 Ье" пяЫегей Мевяацея саппот Ьурмя еасЬ отЬег !и а рЬув|са! соппестж тпг! тЬеу саппоро Ье т1ир1!сатет1; !пт!еет1, !и Яест!оп 3.1 оп1у тЬе 1оз: оЕ шеяза~ев !я сопя!с1егет! (Еог тЬе ~втЫ!пц оЕ шеввакез, зее Ье1ож) 1п ъ пеЬчогК шевзакев сап ттаче! ч!а ЙКегепт ратЬв, аист Ьепсе Ъурыв еасЬ отЬег; а1во, т!ие Го Еа!1игев оЕ !птегшеЙате ятат!опв шеззадев шау Ье тЕир11сатет! м жеП аз 1ов!. Непсе, !п Яест!оп 3.2, тЬе 1овв, 1ио1!саг!оп, апс1 геогс1ег!пд оЕ тпеззадея М11 Ье сопя!с!егер.
(2) Соппест!оп тпаттадетевт РигтЬег, соппест!оп шапацешепФ чу!1 пот Ье сопя!т1егес! Еог тЬе бгят рготосо1, Ьит, ал11 Ье Еог тЬе яесопй А рЬуз!са! соппест!оп !я ияиа11у вирровес! то орегате сопйпиоиз1у т1иг!по а чету !оп~ т!ше, тат Ьег тЬап Ьешд орепет! апт! с!овес! гереаФет!1у.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
