Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 47
Текст из файла (страница 47)
Весапяе ап е1есС1оп а16огйЬтп пшят Ье с1есептгаПкей ФЬ1я рг1пс1р1е сап оп1у Ье аррПес1 со с1есепсга1лес1 ягаче а!догйЬшв (вее ТаЫе 6.19). Е1есй1оп ю1сЬ ФЬе аггее а1дог1ФЬгп. П сЬе песъог1с соро1о ~ 1я а сгее, ог а ярапшп~ сгее о1 ~Ье пес~чог1с 1я ача11аЫе, ап е1есМоп сап Ье Ье16 пв1пя сЬе сгее а1~ог1СЬтп (БиЬяесс1оп 6.2,2).
1п сЬе атее а1аог1йшь 1С 1в гес1и1гес1 ФЬас ас 1еавс аП 1еачез аге шМасотя оГ сЬе а16ог1СЬтп. То оЫаш рго~геяя ш $Ье а16огМпп ш саяе оп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.3, жЫсЬ 1в апрпепсес1 (вв ш ТЬеогеш 6.12) Фо сошрисе ~Ье ятпа11еяс ЫепФИу апс1 со ша1се еас1т ргосеы с1есЫе. %Ьеп а ргосеяя с1есЫез Й 1споъз сЬе Ыеп$1су оГ сЬе 1еас1ег; 11 СЬ1з ЫепЫу ес1иа1в тЬе Ыепс1ту о1 1Ье ргосеяя, 1с Ъесотпев 1еайег, осЬегМве 1оя~ вее А16ог1СЬш 7.1. ТЬеогепъ 7.2 А1уот тйт 7,1 ео1чее йе е1естхоп ртоБ1етп оп 3теее илпу 0(Х) тезвауея аптек 0(Ю) Ите ттмй. Ртоо~.
реп аА 1еаят, опе ргосезз шЖаФея 1Ье а1догйЬш, аП ргосеззез зепс1 (сча1сеир ) тпеязадея со аП пефЬЬотз сЬе1г, злс1 еасЬ ргосези ясагся ФЬе ехеспЫоп о1 1Ье атее а1~ог11Ьтп аттег гесе1р1 оГ $Ье (юа1сеир) шеяяаце Еош 225 7 Е~есбоп А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С пос иер СЬеп Ьерп иер .— — Стие: Гога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ога11 о б №сдбр, д й оо с1о вепс1 ( Со1с, ир ) Со д епс1 А1Яог1СЬш 7.1 Еьест1ОХ АьООН1тнм РО11 тнеев. ечегу пе1дЬЬог. А11 ргосеззез Сеггп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ехйу Со 4Х вЂ” 4.
ЪЮЫп Р Сппе ип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СЫп 2Р С11пе ппйз, ЬНС СЬ1я 1з 1ей Со СЬе геас1ег; зее Ехегс1зе 7.2. и 7 Е1есбоп А1доттй~пз зисЬ ап а1дог1СЬш иая 81чеп Ьу Н1гясЬЬегд апс1 Яшс1а1г [НБ80). Бп1йе еаг1ж яо)пС1опя, СЬе Н1гвсЬЬег8-81пс1а1г а1дог1СЬт геошгей сЬаппе1я Со Ье 'о1;.,гесС1опа1.
1С .чвя соп1есСиг.л3 1ог а иЫ!е СЬаС Й(Ф'-) тезва8ев ъав а 'г ег '~оппй йг .!.11гесС1опа1 1;п8з, ЬпС Ре1 ег-"ег1 [РеС821 агЫ 1)о1еч, К1аие, а|Ы .ойеЬ ЗКБ82~ 1пдереп сп.!у ргорояей вл 0(Л 1о У) зошС1оп 1ог Спе зпЫ: сс1о гп1 гш8. ТЬе1г во.'иг, оп 1я сгеаСес1 ш ЯпЬяесС1оп 7.2.2. Т'е а1дог1СЬтя ъеге согпр1егпепгей Ьу гпаСсЫп8 1о,чег Ьоипй аС аЬопС С1е загсе С1ше. А жчогяС саяе 1оиег Ьоыпй оà — 0.34'т1о8Х тпезва8ея 1ог Ый'гесС1опа1 г1п8з ~чав ргочео Ьу Войаепс1ег [Вот188].
РасЫ, КогасЬ, апс1 ЛоСгп ~Р1Ж841 ргочес1 1оиег Ьоппй о1 й(71о У) юг СЬе ачега8е-саяе ;отпр1ех1Су, ЬосЬ Сог ЬЫ1гесС1опа1 апс1 ппЫ1гесС1опа1 г1п8з. ТЬе1г 1очего ".'о гевп1с ч111 Ье СгеаСес1 ш БиЬьесСюп 7.2.3. 7.'?.' ТБе А1догъГЛтпз о~ Ье1апп ап4 о~ Сйапд апН зт.оЬетСя 1и сЬе а1 ог1сЬп1 оГ 1.еЬапп [1.еБ77! еасЬ ш1с1аСог согприСез а 11яС оГ СЬе ЫепС1С1ея оС а11 ш1С1аСогз, аССег и ЫсЬ СЬе 1п1С1аСог и1с?~ СЬе вша11езС ЫепС1су гя е1есСей. ЕасЬ 1шС1асог зепи а Совдеп, сопСа1шп 1Сз ЫепС1Су, ч1а СЬе г1п8, апс1 СЫя Со1-еп 1я Гогчтагйей Ъу а!1 ргосеяяея.
1с 1в аявишед СЬаС СЬе сЬаппе1я аге ЙГо апс1 СЬаС ап ш1С1аСог пшяС депегаСе 1Ся Со1геп Ьегоге СЬе Со1сеп о1 апу оСЬег ш1С1аСог '1в гесе1чей. (реп а ргосеяз гесеЬтез а Со1сеп, 1С ит111 поС 1п1С1аСе СЬе а18ог1СЬгп СЬег"айег.) реп ап 1п1С1аСог р гесе1чез 1Ся оип Со1'еп ЬасМ, СЬе Со1епя о1 а11 ш1С1аСогя Ьаче развей р, апй р Ьесотез е1есСей 11' агЫ оп!у 11' р 1з СЬе вша11еяС ашоп8 СЬе ш1С1аСогз; яее А1дог1СЬт 7.2. 'ГЪеогегп 7.4 1е1апп'з а1доттгйтп (А1дот.ьСЬтп 7.ф вогез йе е1есСтоп ртоЬ- 1етп ~от дпдз изтпд 0(И~) тпеззадез ать 0(Х) Итпв ипйз. Ртоо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СЬ зша11евС ЫепС1Су 1в СЬе оп1у ргосеяв СЬаС Ьесошев е1есСей.
ТЬеге аге аС п1овС Ф с11ЕегепС Со1сепв апй еасЬ шайея У вСерв, жЫсЬ Ьг1п8я СЬе п1евва8е сотр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паСея ипСЫп 21ч' — 1 С1ше ип1Св. П 22д У.Я Ъпд МетшотЬ чаг СЫ„: веС оЕР 1п1С (р); втате„; Ъефп 1Е р 1в тшЫагог СЪеп Ъе~1п втпте„.:= сап '; зепб (Со1т.р) со Едехт„; тесеЪе (Ссй, ц) ж1т11е д ~ р с'о Ъефп Ьтвтр .—— 1лвтр '0 (д); веЫ (ссй,ц) со №ют„: гесе1че (со1с.д) епй; 1Е р = тпш(Е1втр) СЬеп втитер ..—— 1еайет е1ве втате:= !овт ела е1яе гереаС тесетче (Со1с, д); зепс1 (Со1с, ц) Со Хехлер ,.
1Е втатеа = в1еер СЪеп вйИер .— — 1овт ппСт1 Га!зе ептт А1еог1СЬтп 7.2 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СВ.79] 1жргочев оп 1.е1.апп'я а1- ~ог1СЬтп Ъу гетпоч1пд Еготп СЬе г1пд а11 Со)тепя оЕ ргосезвев Еог ччЬ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ип 7.3. ТЬеогетп 7.5 ТЬе СЬапд-ЯоБеттв а3уотъС1ли (А1догМьт 7.3) во1оев йе е1есИогь ртоЫетп ~от ттпдв ивгпд 9(Фв) тпеввадев т йе шотвС саве ать 0(Х) йтпе тттитв. Ртоо~ 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есСей, ЪиС СЬеу а11 епСег СЬе вСате 1овС аС СЬе 1аСеяС тчЬеп ро'я Со1теп 1я Еогтчагдес). 1п1С1аСог р МСЬ р ) р1 доев поС Ъесотпе е1есСет1; ро моея поС Еог~чагт) СЬе Со)теп (Со1т, р), во р печет гесеЕчея 1Св о~чп Со1теп. ЯттсЬ ап 1п1С1аСог р епСегя СЬе яСаСе 1овС, аС СЬе 1аСевС реп 7 Е1еойол 4!дог 1гЬгав !~аг в!отер Ьерп 1г р !я 1и!Г1асог сЬеп Ьеа1п вга1ер .— — сапа,епа (1о1с, р) го Явхгр, гереа1 тесе!! р ' Фо1с. !1); 1г о = р сЬеп вгатер .— — 1еас1вг е1зе 1Г !! < р 1Ьеп Ъефп Ы вгагвр —— сапй ФЬеп вга1вр ..— — 1овг; вепс! (Фо1с, о) го Твхгр апй ип61 в!атер — — 1еайет епо' е1зе гереай тесе!;е (то!с,о); велс1 (тсй, д) со Увхср гГ вгагер —— 1еер ФЬеп вгигер .— —,'овс ипв11 Й!ве епс1 ( Ол1у сЬе 1еайег сегл1!палаев сЬе ргодтьгп.
1т Йоос1в а л!еяваде Фо а11 ргосеввев со 1л1оггл сЬегл оГ сЬе 1еас!ег'в Ыепс!су апс1 Фо геггп1паге *) .А15ог1гЬпг Т.З Тне Снлхс — Йозектв ег.ест!Ом Аг.сок!тнв!. (со)с,ро) !я готтагс(е6. ТЬ1я ргочея сЬаФ гЬе а1рог1гЬгп зо1чея 1Ье е1есбоп ртоЪ1ет. Аг !пояс Ю с11йегепФ со!селя аге ыяес1, злй еасЬ со(сеп гя Гогжагс1ес! Ъу ас товг Х Ьорз, юЬ1сЬ ргоъея ап 0(Жв) Ъоипс! оп сЬе шеяяаде сошр1ехйу. То вЬовр сЬа1 й(Л') п1езяазея пхау шс1еео Ъе ызес1, сопзЫег ап ш!г!а! сопй ггга~!оп чгЬеге ~Ье ЫепЫМез аге аггапдес! ш !псгеазшК огс1ег агоипс! вЬе г!п~ (сГ. Р1Кпге 7.4) апс1 еасЬ ргосезз 1з ап !шИа1ог.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
