Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (Introduction to Distributed Algorithms. Gerard Tel (2nd edition).djvu), страница 9

Бо ~Ьеп гЬе ~~чо тевваде ргогосо1, ~чЬ1сЬ тау шггойисе г1ир11са1ея Ъиг сап Ъе шаде Егее оЕ 1оьзея 1Е сопчегваг1оп ЫепЫсабопз аге ас1с1ес1 ая же йг1 Еог гЬе вЬгеетевяа8е ргогосо1, шау ая ~че11 Ъе изей 1.3.3 Веяеатсй ГЫа ТЬеге Ьая Ъееп оп8о1пд гевеагсЬ 1п йягг1Ъигес1 а18ог1гЬтя с1иг1пр; гЬе 1вяг ~ мо г1есаг1ев, апс1 сопвЫегаЪ1е рговгеяя Ьая Ъееп таг1е еярес1а11у г1ипп8 гЬе тпе~ееп-е18Ы1ея. 1п ргеч1оиз вес6опя ке Ьаче рошСег1 аг вотпе ~есЬп1са1 йече1ортеп1з ~Ьа1 Ьаче яйши1асей геьеагсЬ 1п аЫг1Ъи~ес1 а1 ог1гЬтя, пате1у. гЬе дев18п оГ сотр~йег пе~~чог1 я (Ъо~Ь жЫе- апс1 1оса1-агеа) апс1 ши1Иргосеявог сотригегв.

Ог1рпа11у 1Ье геяеагсЬ юая чегу пшсЬ а1тей гожап1в арр11саг1оп оЕ ~Ье а1цогЫЬтв 1п тчЫе-агеа пегжогЫ, Ъи1 пожадауя 1Ье 6е1с1 Ьая с1ече1орес1 сг1яр таФЬетайса1 тос1е1в, а11оМпц арр11сайоп оЕ гЬе геви1сз апд те$Ьойз го Мг1ег с1аявея оЕ йз1г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е, гЬе ача11аЪ11йу оЕ сЬеар писгоргосеяяогя Ьав тас1е К рояя1Ъ1е Фо сопяггисг вуз~егпя М~Ь тапу Ыепг1са1 ргосеввогв, ~чЬ1сЬ Ьаз зС1ти1а1ес1 гЬе выду оЕ "апопутоия пе~юогЫ' (яее СЬар~ег 9).

ТЬеге аге вечега1 ) оигпа1з апг1 аппиа1 сопЕегепсев 1Ьа~ ярес1аЬге 1п геяи1гя сопсегп1п8 йз~г1ЪиФег1 а18ог1йшм апс1 61згг1Ъи~ег1 сотригаИоп. Боте оСЬег 1оигпа1в апй сопЕегепсез с1о поФ зрес1а11зе зо1е1у 1п гЬ1з зиЪ)ес~ Ъи1 соп~а1п а 1о1 оЕ риЪ11саМопв ш 1Ье агеа попе1Ье1езя.

ТЬе аппиа1 яутроя1ит оп Ргшс1р1ез оЕ 1)1вгг1Ъи1ег1 Сотри~лщ (РоПС) Ьаз Ъееп ог8ашкей ечегу уеаг яшсе 1982 ир Фо $Ье 11те оЕ ъгЖп8 1п Хог1Ь Атег1са, апг1 Ыя ргосеейпр аге риЪ11яЬег1 Ъу 1Ье Азяос1айоп 1ог Сотрийп8 МасЬ1пегу, 1пс, 1п~егпаМопа1 %ог)гзЬоря оп Пйг1Ъи~ес1 А1дог1йтя (%1)АС) тчеге ЬеЫ 1п Ойа~ча (1985), Атз~егс1ат (1987), %се (1989), Ваг1 (1990), Эе1рЫ (1991), НаЕЕа (1992), 1 аивыше (1993), апс1 ТегясЬе111пд (1994), гогот 1989 оп, ~Ье юог1сяЬоря Ьаче Ъееп Ье16 аппиа11у алс1 Ыв ргосеейпр Ьаче Ъееп риЪ11вЬег1 Ьу Брг1п8ег-Уег1а8 Еп СЬе зег1ез Еес~иге АГо~ез оп Сотригет 3с~епсе. ТЬе аппиа1 зутров1а оп йеогу оЕ сотрийпд (ЯТоС) апс1 Еоипс1аг1опя оЕ сотригег зс1епсе (РоСЯ) сочег а11 Еипйатеп1а1 агеаз оЕ сотри1ег яс1епсе, апй ойеп 1 ЫгодисИол: .0тзттйи$еН Буз'тетпз саггу рарегя оп йЫг1Ьи~ей согприМпя. ТЬе ргосеей1щ.

Л йе ЯТоС тпее~- !пр аге риЬ1!яЬей Ьу йе Аввос1абоп тог Сотприйпц МасЬ1пегу,?пс., апй Йояе оГ Йе ВСЯ гпееМп~я Ьу т!те 1ЕЕЕ. ТЬе Уоигтта1 о~ Ра~аПе! аттв' Ртз1гйи~ей Сотри1гттд (3РРС) апй 0гМпЬи1ей Сотри8гттд риЬ!1яЬ й1яйг1Ьи~ей а1догЫЬптв геки!аг1у, влс1 яо йоея )п~огтайоп Ргосежпд йеттетз (1РЦ. 1.3.~ Оийхпе оУ ~Бе ВооИ ТЬ1я Ьоо1с изя тчгЖеп ч1тЬ тЬе Го11оыпд тЬгее оЬ!ест1чев 1и пт1пй. ~1) То тпа'е гЬе геас1ег Ьтп!11аг ~ч1тЬ тесЬпщиея тЬат сап Ье изей то !пчезт1дате тЬе ргорегт1еь о!' а, !ч~п й!яраг!Ьитей а1дот1тЬт, то апа1уие апй зо1че а ргоЬ!етп тЬат ат1яеь 1и ~!те соп~ехт оГ й1ятг!Ьитей зуйетпя, ог то еча1иасе тЬе тпег!тв оГ а рагИси1аг пет~чог1т тпойе1. (2) То рточЫе !пв1~Ьт ит тЬе 1пЬегепт рояз1Ь11Жея апс1 !тпрояв!Ь111т1ез о1 яечега1 яузтетп тпойе!я.

ТЬе 1птраст оГ тЬе ача11аЬ1Ву оГ а д1оЬа! т1тпе-Гтатп 1я втий!ей 1п Яест!оп 3.2 влй 1п СЬар1егз 11 апй 14. ТЬе !тпраст оГ тЬе 1тпоМей~е Ъу ргосеввев о1 тЬе1г ЫептЖея 1з вгий1ей 1п СЬартег 9. ТЬе 1тпрас~ о1 тЬе геци1гетпепт о1 ргосеяв тетпт1патюп 1я зтий!ей !п СЬартег 8. ТЬе ппрасй оГ ргосевя Га11игез !я втий1ей 1п Раг1 ТЬгее. (3) То ргеветтт а со11ес~юп оГ гесеп1 втайне-оГ-йе-аг1 й!яраг!Ыей а1дог1тЬтпя, 1одетЬег МСЬ тЬе1г чег1йсат1оп апй ап апа1ув!з оГ тЬе1г сотпр1ехйу. %Ьеге а яиЬ!ест. саппот Ъе тгеафей 1и !и!1 йе~а11, геГегепсея то 1Ье ге1ечапФ зс!епт!йс !1тегатиге аге рчеп.

ТЬе тпа1ег1а! со11естей !и ФЬе Ьоо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п СЬартег 2 тЬе тпойе1 тЬат, МП Ье изей 1и тпозт. о1 тЬе 1атег сЬартегя !я 1птгойисей. ТЬе пюйе1 !я Ьо1Ь лепета! епощЬ Фо Ье ви1гаЫе Гог ~Ье йен е!оршей апй чег1йсаИоп оГ а1зог11Ьтпз апй В1фй епощЬ 1ог ргоч1п~ 1тпрояя1Ь111ту гези1тз.

Н 1з Ьазес1 оп тЬе потоп оГ тгапв10оп вузтетпз, аког ~чЬ~сЬ ргооГ ги1ез 1ог ваГеФу апй 1!чепеяв ргорегт1ез сап Ъе фчеп еаз11у. ТЬе потюп оЕ саиза!!ту аз а рагт!а! огйег оп ечептз оГ а сотпритат!оп тз !птгойисей влй !орса! с!ой аге йейпей.

сап Ъе с1еа1т Мй. аис1 ~Ьаз яотие тзя1ся аге ьо1чаЫе !и яр!ге от а сгаяЬ Еа!1пге. А1догйЬгпз Ьу ВгасЬа апс! Топе~ ъч11 Ье ргеьептес1; тЬеяе ьЬом т1тат !и соибгазт, гапт1огп!зед аяупсЬгоиоыя вувбетия аге аЫе то соре ж!тЬ а геавопаЫу 1агде ппгиЬег оЕ Еа11игез. 1т 1я Йыя яееи тЬат, ая !ь тЬе саяе Еог ге1!аЫе яуятетпв (вее СЬартег 9), гапс1ош1зей а1 ог!!Ьшь. оЕЕег шоте розз!Ы1!йез зЬаи с1етегш!пЫ1с а!~от!бЬшз.

1п СЬартег 14 тЬе Еаи1т го1егапсе оЕ яуисЬгоиоыя а!дог!тЬшз чч!! Ье ятыс1- !етЕ. А1дог1тЬтпя Ъу Е атпрог' еЕ аЕ. зЬоь тЬат:Еетегшш!зт!с яупсЬгоиопя а!дог!тЬтиз сап го1егате иоп-гг!ч~а! Еа!!атея. 1т. гя гЬия зееи гЬат. ии1йе !и тЬе сазе оЕ ге!!аЫе яуятешя !яее СЬартег 11). яуисЬгоиоия зузтетия оЕЕег итоге рояз!Ь!1!г!ез бЬаи аяуисЬгоиоыя яуятешь. Ап е~.еп 1ат~ег штЬег от Еаи1тз саи Ье то1егатес! !Е ргосеьзея аге аЫе го "яфп' Гие!г соппиип!саг!ои го обЬег ргосеьяез. Сопзециепт1у, !тир1ептепт!и яупсЬтои!зпт !и ап иитеЬаЫе яуятетп !я тиоге сошр1!сатет! тЬап !и тЬе ге1!аЫе саяе.

апй гЬе 1аят веса!оп оЕ СЬартег 14 ~ч11 Ъе Йечотей то тЫя ргоЫетп. А с1!ЕГегепг арргоасЬ го ге11аЫ1!ту, паше1у ч!а, е1Е-ятаЬ!1!з!п~ а1дог1тЬтиз, !ь Ео11отчес! !п СЬартег 15. Ап а1цог!тЬт Ев ятаЫ11з!и !Е, гецаг~1еяя оЕ !тя !и!ты! сопйдцгаг!оп, !т соти елея еъеглпа11у го !тя !итепс1ес1 ЬеЬаъ!ог. Яоше сЬеогу аЬоиг ябаЫ!1з!п~ а1~ог1гЬтпв ж!!! Ье дече1орей, апй а пышЬег оЕ зтаЫ!!з!иц а!дог!гЬтпз ял11 Ье ргеяепбес1. ТЬеяе а1цог!тЬтия !пс1иде рготосо1з Еог яечега! рарЬ а!дог!тЬтпв зисЬ аз тЬе сотритат!оп оЕ йерт1т-йгяг яеагсЬ тгеея (аз 1и Яесйоп 6.4) апй тЬе согирибат!ои оЕ гост!щ гаЫез абая Ьт СЬартег 4).

А1зо, з1аЫ1!з!и~ а1дог1ФЬтив Еог сЕата тгалвти!вв!оп (ав ги СЬаргег 3) Ьа~е Ьееп ргоровей. юЬ1сЬ тпау !пс11саге СЬат епт!ге сотрийег ттетиог)сз сап Ье ишр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СЬтв. ТЬе сЬо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Ы11Су геяи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еСа11ег1 йеясг1рС1оп оГ а рагС1си1аг согприСег яузСет ог ргораттшя 1апрыде. ТЬеге аге гпапу йЯегепС сотриСш~ яуяСегпя, апг1 ~че йея1ге СЬаС СЬе тос1е1 1я арр11саЫе Со а сйия оГ ге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 сотриСаСюп 1в ияиа11у сопяЫегег1 ав а со11есС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сез а зузСетп "ЙвСг1ЬиСесГ' 1я СЬьС еасЬ Сгапз1С1оп 1з оп1у 1пйиепсес1 Ьу, аист оп1у 1пйиепсез, ратС о~СЬе сопйрпаС1оп, Ьм1са11у СЬе (1оса1) вСасе о1 а я1щ1е ргосевз. (Ог СЬе 1оса1 вСаСез оГ а яиЪвеС оГ 1пСегасС1пв: ргосеявея.) 'Етапзтгтоп Бузгетпз апс! А1уотъйипз 45 с1ье1у; ш ЯцЬвесС1оп 2,с.З СЬе шос1е1 1в ас1арСес! Со яувСешя цв1п~ ьупсЬгопоцв шевяаве рмв1пв. ЯцЬяесС1оп 2.1.4 Ьг1ейу ййвсцвяев Еа(гпеяя. 2.1.1 УтапзсСгоп БуаСетиз А Сгапв1С1оп ьуьСет сопь1ьСя оЕ СЬе ьеС оЕ а11 розь1Ые вСаСев оЕ СЬе ьуьСеш, СЬе Сгапв1С1опь ("шочез') СЬе вувСет сап ша1се 1п СЫв яеС, апс1 а вцЬвеС оЕ яСаСеь ш ю1цсЬ СЬе вувСеш 1в а11ояес! Со вСагС.

То ачо1с1 сопЕцяюп ЬеСъееп СЬе зСаСея оЕ а ь1пд1е ргосевя апс1 СЬе яСаСез оЕ СЬе епС1ге а1~ог1СЬгп (СЬе "в1оЪа1 яСаСеь"), СЬе 1аССег М11 Егош почт оп Ье са11ес1 соп5дитагтпт. 13ейп1С1оп 2.1 А 1тапигтоп зизгетп 1з а Ст1р1е о = (С,, .с), иАете С тз а ьеС оу сопЯитаСгопв, — и а !тиат1т Стапьс1соп те1аСЕоп ап С, ахи! 1 сь а зибзег о~ С о1 1птгта1 соп)Сдитаггопз. А Сгапв1С1оп ге1аС1оп 1в а яцЪьеС оЕ С х С, 1пвСеас1 оЕ (у, 6) Š— СЬе тоге сопчеп1епС поСаС1оп у — б 1ь цяес1. Вейп1С1оп 2.2 Ьег о = (С, — +, Х) Ье а 1тапзтгъоп зузгетп. Ап ехесигъоп о! о' тв а тпахпиа! зес1иепсе Е = (Уо, .У„~ь,...), шйете Уо Е Х, апс! ~от а11 1 > О, "у, — "у,+с.

А Сетттппа! сопйдцгаС1оп Ев а сопйртгаС1оп у Еог жЬ1сЬ СЬеге Ев по б зцсЬ СЬаС .у -+ 6. ХоСе СЬаС а веоцепсе Е = (уь, ус, уь,...) МСЬ у, — у,+~ Еог аП г, 1ь шатс1ша1 1Е 1С Ез е1СЬег Епйп1Се ог епс(в ш а Сегш1па1 сопйрпаС1оп. Оейп1С1оп 2.3 Сотят,дитагтоп б 1з теасЬаЫе утотп.у, ти>8агтоп у - б, т|Юете ех1згз а зес1иепсе У = Уо, Ут, Уь,..., "~~ = б ииуп У, — У,+т 1от а!1 О < С < 1с. Сопрдитагуоп 6 1з теасЬаЫе тЕ Й тз теасЬаЫе ~готп ап ттгга1 сопутдитагтоп. 2..1.3 Бузйетпз ипС1т. АзупсУттопоиз Меззаде Раззтпд А с11зСг1ЬцСес! вувСеш сопв1вСв оЕ а со11есС1оп оЕ ртосеззез апс1 а сотптпиптсагуоп зибздггетп.