Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 81
Текст из файла (страница 81)
ТЬегеСоге ош1м1оп Гы1игев йС шСо СЫз ЫегагсЬу ЬеСжееп сгмЬ апй ВукапСше й11цхея. 387 12.2 Яобизт А1доттИити геейя то а пихей-Ыцге шойе1, чтЬеге 1 ргосемев шау Га11, 6 оцт оГ жЬ1сЬ 1д а пийуь тчау. Соггест ЪеЪвлог оГ ~Ъе гешашшх ргосеееее сад Ъе асЫечео ш 11цв пюйе1 Ы 26+ $ < Ф (ш а аупсЬтопоиз пюс1е1 оГ сошрцтат1од). 1д вудсЬгодоцв йзтт1Ьцтей яуятешв ФЬете и ад асЫМода1 ЬИцге пюре, даше1у, юЬете а ргосезв ехес~йея соттес1 Иеря Ь~й ат тЬе ятощ Мше (йце то а з1осч ог от, с1ос1с оГ ФЬе ргосем). ТЬи йуре оЕ 1дсоттесй ргосевв ЪеЬачют 1з са11ес1 а Фюипд еттот.
12.2.2 Ресчвит РтоЫетпз ТЬе втцт1у оГ гоЬцзт а18огй1пдз и седФегей агоцдт1 тЬе во1цт,1од оГ во-са11ей йесаьоп рто61етпл, юЬеге М 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у, тегпипабоп, сопзьйепсу, адй поп-ттппа1йу. ТЬе 1епшдат1од гецц1тешедт зФа~ез 1Ьат, аЛ соггесФ ргосеявез тч111 йесЫе, 1.е., мт1те а ча1це Фо тЬе1т оцФрцт, еъедФцаЛу.
1п йетегпцд1вйс а1цог1ФЬшв йегш1дайод и гщц1гей 1д а11 сошрцФайодв; ш ргоЬаЫ11зт1с а1дог1ФЬшя 1т, и геоц1гей ~о оссцг тчЫЬ ргоЬаЫИу оде (зее СЬарФег 9). ТЬе геоц1гешед1 тЬат а11 согтесФ ртосеявев аде 1а ча1це Фо тЬе1г оцтрШ ехс1цйея аду во1цйод ш чтЬ1сЬ а ргосевя пиит счай то гесе1че яоше шГогшаМод антош пюге тЬад У вЂ” 3 ргосеяяея.
?дс1еей, 1Ье вФоррш~ оГ Ф ргосеввев сацвев ад иЫейшФе жай ш а соттест ргосем, ~ло1атшд ФЬе тепдшат1од гщц1гешедФ. ТЬе сопз1вФедсу геоштепжй 1шрозев а ге1айод Ьетяеед ФЬе йес1в1одз та1сед Ьу ЙЖегетй ргосеввев. 1д ФЬе в1шр1евФ саве, а11 Йеси1опз аге гес1ц1гес1 то Ъе еоцз1; чте вреа1с оГ а сотиетицз рто61етп ш ФИ1з сме (счйсЬ ча1це и гесршет1 шау с1ередт1 од. ФЬе шрцтя). 1п шоте сошр1юатей ргоЫепи а с1ам оГ о~йрцт честогв сад Ъе йейж1, аж1 ~Ье с1ес1з1опз оГ сотгест, ргосемев яЬоцЫ Гогш а гестог ш тЬи с1мз. 1д Иж е1есбоп ргоЫеш (СЬартег 7), 1ог ехашр1е, йе геоц1гешеЫ и ФЬат, оде ргосезя с(есЫев тЬат Й и е1яс1еЫ ("1"), адт1 а11 отЬег ргосеввев зЬоцЫ йесЫе ое~еа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чей Ьу 388 18 Гамй То1етапсе т 0Ыгйи«ей Яуз«ахи ап а1Вопйш ш ю1псЬ еасЬ ргосевв счг1«ев а "О" «о «Ье оц«ри«шипейа«е1у. ТЬе поп-«г1ч1а11«у геои1гешеп«в«а«ез йа««чо еззеп«1а11у йЯегеп«ои«рц«в аге розв1Ые ш ЙМегеп«ехеси«1опз оГ «Ье а18ог1«Ьш (1.е., ш «Ье сме о1 сопзепзцз, «Ьа««Ье в1зог1«Ьш Ьзз ехеси«1опв йа«мт1«е "О" аЫ ехеси«юпв «Ьа«тчп«е "1"). Веая1оп ргоЫешз аЪз«гас«а 1агде пцшЬег оГ сопппоп з1«иа«1опз ш «11я«г1Ъи«ей сошри«шд, вз же пою «11ясивз. (1) Соттй-А!от«. 1п а йз«пЬи«е«1 Йа«аЬме а «гапяас«1оп шчо1чшд чагюив з1«ев шия«Ье ехеси«ес1 ш ай шчо1чес1 з1«ев ог ш попе о1 «Ьеш. ТЬегеГоге, айег аппоипсшз «Ье ирс1а«е «о «Ьеве з1«ез, еасЬ з1«е йе«егпппез ~чЬе«Ьег «Ье ирйа«е сап Ье ехеси«е«1 1оса11у атн1 чо«ев е1«Ьег "уев" ог '"по", БиЪзециеп«1у, а2 (сопес«) з1«ев шиз«йесИе тле«Ьег «о соттй «Ье «гапзас«1оп, шеашщ «Ьа«1« ~чШ Ье ехесц«е«1 ечегуюЬеге, ог «о або«1«, шеашпз «Ьа«1«жй по«Ъе ехеси«е«1.
Н а11 ргосезвез чо«е«1 "уев" «Ье ргосеввев пиж«йес1«1е соттй, 1Е ваше ргосевзез чо«е "по" йе ои«соше шиз«Ье абот«. Сопаз«епсу Ьеге шеапя «Ьв,«а11 «1еаз1опя аге е~ра1, ап«1 «Ье ргоЫеш 1з поп-«гМа1 Ьесаизе, «1ереЫпщ оп. «Ье шрц«, Ьо«Ь а соттй ап«1 ап або«шау Ье гессе«1. (2) .Омй.йивей сотри«засти: сопяетиия оп жри«. ?ц яуз«ешв жЬеге а сошри«а«юп 1з герЬса«е«1 «о шсгеме ге11аЫ11«у, «Ье ои«соше оГ йе чагюия ргосеззогв сап Ье вский оп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. (3) Бесйоп. 1п «Ье е1ес«юп ргоЫеш (вее а)зо СЬар«ег 7) 1«ж гес1и1ге«1 «Ьа«опе ргосем йесн1ез «о Ьесоше а 1еа«1ег ыи$ аП о«Ьег (соггес«) ргосевзез «1ес1«1е «о Ьесоше а поп-1еайег. ТЬе ргоЫеш Ьесошев поп«гМа1 И' тче гщщге йа«ро«еп«1а11у сЫегеп«ргосемез сап Ъесоше 1еа«1ег.
(4) Аррт.охота«е аугеетеп«. 1п смея жЬеге сопвепвцв ашот шрц«я 1з по«асЬ1ечаЫе, а тчеа1«ег 1опп оГ сопз1з«епсу шау зцшсе юг воше аррЬса«1опв. 1п «Ье арргох1ша«е аКгеешеп«ргоЫеш еасЬ ргосевз Ьм ап ш«е~ег шри«6ош а рчеп йп1«е где, зау 1, ..., й. ТЬе 12.2 Яойи$ АЦоп0ити йесиюпв оГ ргосеззез аге тесрпгеп ~о тает Ьу а~ шонт 1, апт1 ~о 11е ЬеФюееп ча1цез Жал ас~ца11у оссцтгет1 ав ярцев; вее а1во Яесйоп 13.3 Йи а соп$шцоиз чегв1оп оГ тЬе ргоЫеш (и-арргох1шате а~геешепт).
12.2.3 Яиттат у оУ СЬар1ечя 13 апй 14 Эце 1о тЬе 1аг8е ш1шЬег оГ 1аюап гевцйв сопсегпшК гоЬцз$ з18ог1Иши 1т Ь ш1ровя1Ые ш 1Ьи Ьоо1т 1о йисизя сошр1е1е1у 1Ье в1аФе-оИЬе-агт ш $Ье йе1т1. ТЬе ша1ег1а1 ргевептет1 ш СЪартегв 13 апй 14 Ьаз Ьееп ве1ес$ей МтЬ И ИЬ ЫК Н 1а Ы 'пй. (1) Яоше 6шйашепта1 гевц1тв вЬоцЫ Ье шс1цт1ец: Ию1 тЬеге и по йеФегпйпибс сопвепяи ш авупсЬгопоцв зувтепи; $Ьат ргоЬаЬйи$1с а18ог1$Ьшв 1о1ега1е Ъеп1дп Га11цгев ш цр то опе-Ьа11 оГ йе ргосеввев, ог шаИ8п 6Й1цгез ш цр то опе-Опп1 оГ йе ртосезвев. (2) А т1ешопзтгат1оп вЬоцЫ Ье з1чеп оГ ноше о1 тЬе МсЬп1с цен цвей то асЫече гоЬцйпевв ог то ргоче 1тв 'ппровя1Ь1йу. (3) А йшопзтгат1оп вЬоцЫ Ъе шс1цйей тЬа1 вупсЬгопоцв зуяФешв сап ас1пече пюге гоЪцв~певв йап мупсЬгопоцз вув1епи. ТЫв сотйгм1в м6ФЬ йе тевц1$з (ргезеЫет1 ш СЬартег 11) ФЬЮ шйса1е 1Ьат ге11- аЫе вупсЬтопоцв вувтешз ате пот шоте рояегбт11 тЬап ге1иЫе аяупсЬгопоцв вув$епи. СЬартег 13 йий1ея ФЬе гоЬив1певв тЬа1 сап Ье асЫечей ш авупсйтопои8 вувтепи.
А 6шйашепта1 гевц1т юм нЬокль Ьу РисЬег, ЬупсЬ, апа Ратегяоп (т1Р85), паше1у, тЬат по Йетегпйпит1с а1допйш Вг сопвепвцв ехидн тЬат сап то1егате ечеп а яшз1е сгаяЬ Га11цге. ТЫв гевц1Ф агав 8епега11вей Ьу Мотап апй ЪЧо1Ь$аЫ (МЖ87) то а Мает с1аяв оГ йесиюп ргоЫепж шс1цй1п8, е.К., е1естюп, Ьц1 пот арргохпна1е а8теешепт. ТЬе сопс1цз1оп оГ тЬеве жог1тз и тЬат стмЬев сап Ье то1егатес1 оп1у Ъу ргоЬаЫ11вт1с а18опт1ппз (ог вупсЬтопоцз опез). ТЬе генц1т, саппоро Ье вФгепфЬепей то арр1у Фо $Ье сейнт Гац1т шойе1 оГ шйа11у-с1еаа ргосензев; йз и вЬок~ Ьу йе ехиФепсе оГ Йесепшшвт1с сопзепзцв апй е1есФ1оп а1зот1йшн Гог шШа11у-Йеай ргосеввев. Влпйоттйза$1оп Йоев Ье1р; а гапаопйлей сопвепвцв а18опФЬш Ьу ВгасЬа апт1 Топей [ВТ85~, иЫсЬ и мупсЬгопоцз апт1 Фо1егаФев ~ < Ю/2 сгмЫ~щ ртосезвев ог Ф < Ж/3 Вугаптше ргосеввен и ргенептет1.
СЬартег 14 вФцй1ев тЬе гоЬцзтпевв тЬат сап Ье асЫечей ш зупсЬгопоиа вувФепи. 11тййе ш Йе мупсЬтопоцз шоце1, тЬе сгм1шщ от а рюсевв сап Ъе це~естеа Ьу 1Ье гешашшп ргосемев, Ьесацзе а Ьоцпоет1 гезротие Мше о1 а соттесФ ргосевв и рьагахйеей. Сопзет1цепФ1у, а шцсЬ Ы8Ьег йерее о1 гоЬцзтпевз и асЫечаЫе, юЫсЬ и вЬоап ш йе 1т1еа1иет1 шоце1 оГ а вуйеш 390 12 Гаий То1етипсе ьи 0ьзЕтт|тиЫ Яуэгеяи орегаг?п8 ш рц?вев (зее СЬаргег 11).
Оегегпцп|зйс а|8ог|йшз сап Фо1егаге Г < Ф/3 ВуяапИпе ргосеььеь, Е < Х сгавЬ|пд ргосетев, ог $ < У Вувапг|пе ргосемез ?Е шеззаде ац1ЬепйсаИоп |з роваЫе. ТЬ|в апс1 ~Ье Ьпрозз|ЬШ$у генов оЕ СЬар~ег 13 Ьпр1у гЬа1 гоЬцвг вупсЬгошгегз 1ог Ец|?у мупсЬгопоцв пеФттог?и с|о поФ ех|ьг,. ТЬе 1шр1ешептат|оп оЕ $Ье ри|вей шос1е1 оп зувФешз ттйЬ Ьш?гес| ззупсЬгопу (рЬуз1са1 с1ос?св апс? Ьоцпс?ей шезза8е-йе1ау Мше) гецц|гев ~Ье с1ос?сь Фо Ье ассига~е1у вупсЬгошаей, а ргоЫеш ю?йсЬ ?в ~Ье виЬ1ес~ оЕ гЬе геша|пс?ег оЕ СЬаргег 14.
.Е2.2.4 Тороса ттоФ АтЕйтеааетЕ ж ФЬм Воой ТЬе гезц|сз ш СЬаргег 13 апй 14 рче ап |пйсайоп аЬоц~ ~Ье йе8гее оЕ гоЬив~пезв асЬ|ечаЫе ш сЪгг?Ъцгей вузФешз. Мацу ргоЫешь апй гевцйз геша|и Еог ЕцгФЬег заиду; Ье1о~т же шйса~е а Еевич оЕ ~Ьезе апс| 8|че ро|п~егз 1о Йе 1йегайцге.
(1) Яе~?петпепг о~ аупсЬгопу авзитрбопв. ?и ййв Ьоо|с оп|у сошр1есе1у авупсЬгопоия апй сошр1еге1у вупсЬгопоиь ьуйешв аге сопзИегей, аЫ ФЬеве зув~ешв йЯег сопзЫегаЫу ш сЬе?г асЫечаЫе гоЬив1пезз. По1еч, Эчтог|с, ? упсЬ, апй Бгосйпеуег [ЭРБ871, [?Н Б88) в~ийей ~Ье Еаи?Г-Го1егапсе оЕ зув1ешз игн?ег шгегшес?1аГе яьвигпрГ1опь аЬоцГ ьупсЬгопу. СЬаш3ха, НасЬ11асоз, абак? Тоцез [СНТ92~ сопви?егес| а ге1агес1 ргоЫеш, паше1у го чтЬат, ех~екй Еа|1игея шиз~ Ье йесесФаЪ|е ш огйег ~о Ье то1егагей Ьу а вув~еш. (2) .Оегеттптайоп о~ ьоЪаИе галйь, ?и йм Ьоо?с тЬе зо?чаЬШ~у оЕ зоше Фзз|сз алсос гЬе ипво1чаЬШ~у оЕ оФЬегв |в йешопвггайей; а ргес?ве сЬагас~егыат|оп оЕ ьо1чаЪ|е аш? ипзо1чаЫе таь?св юяв 8|чеп Ьу В|гап, Могап, апс1 Уа|тв [ВМ290~.
(3) Сотр?спи оЯ~аий Ео?егаисе.?и аййй|оп ~о йесИшд чгЬа$ ~азйь аге во1чаЫе, И |в ром|Ые со аиду ФЬе агпошй оЕ сошрцйаМопа1 гевоигсея сопвцшей Ъу а рго~осо1 Еог зо1чаЫе Файв. Бечега1 сошр1ехйу шеаьцгез сап Ье ~язеп дно ассощй: шевзаде сошр1ехйу, Ъй сошр1ехйу, аш$ Мше сошр1ехйу (ойеп са|?ес? гошк| сошр1ехйу ш йй сопГех~).
Ап очегт6ечт оЕ ьоше гевийв аш? а сопвепзиз ргогосо1 шееСшз вечега1 1очгег Ьоцпс|з в|пш1Гапеоив1у |в Еоциб ш [ВСР921. (4) Вупаиис вуагетпз атиЕ угоир тпетпбетзЬьр. ?и тЫз Ъоо|г 1Г |ь аьвишес| тЬаС гЬе со|?есг1оп оЕ ргосевзез |в йхей (вйа~1с) аш1 |шожп (~ЬоиКЬ ьоше ргосемев шау Еа|1). А в1ат?с со|?есй1оп оЕ ргосемев |в зц?ФаЫе Еог зп аррЬсайоп гЬай шиьг гип гейаЫу 1ог а 6хей, Вшие ашот оЕ 1?ше, зисЬ ав ап а|гсгай сопгго1 зувзеш, чтЬеге гера|гз апй гесоп68- 391 12.3 31аЫитд А1дот 1йтз шат1оп $а1а р1асе оДЧже.
Раий-Фо1егапт, орегаз1оп оГ а вуз$еш 1ог вл шг1ейште Йигатюп (ав ш, Гог ехашр1е, ап орегМ1пв зуз1еш ог ап ыг-Фгашс-согйго1 зуйеш) геоц1гез Фас ргосемев сап Ье герыгей вхк1 ~Ье ве1 оГ ргосемез гесопйвцгес1 отт;йпе, 1.е., чт1~Ьоит, зсорр1пз тЬе аррЬсатюп. Весопй8ипп8 тЬе яет, ог ргосеззея 1з гуопе Ьу ехесит1п8 а уговор тиетпбегя/ир ргозосо1, ш ~чЬ1сЬ Ик ас$1че ргосемез авгее оп Мхе яет, оГ ргосемев ш $Ье яувтеш. Яоше геяи1тз оп ФЬеве ргососо1я ыи1 гейгепсев аге 1оцгн1 ш 1НЗЯ92). (5) Сотптиитисайоп гигттд зйатвН иатъаЫев. 1п сЬ1з Ьоой пйегргосеяя сопппцшса~юп Ьу шеапя оГ шемахе рзм1пз 1з сопвЫегей.