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

ТЬе рЬув1са1 1ауег (1). ТЬе рыгрояе о? ~Ье рЬуя?са1 1ауег 1п ~Ье ?ЕЕЕ я1апс1агс?я 1з я1т11аг ~о гЬаС оГ1Ье ог1рпа1 ?ЯО ягапс)агс1, пате1у 1о сгапят1с зес1пепсея оГ Ъйя. ТЬе ас~па1 зйяпйаг6 йейп111опя (~Ье гуре о? тч1г1пд, есс.) аге, Ьотчечег, гайса11у йЯегепг„дпе 1о 1Ье Гас~ ~Ьа~ а11 сопшшп1сайоп 1аЫев р1асе иа а соттоп1у ассевяес? тейпт гагЬег 1Ьап ро1пМо-ро1п1 соппесМопв. ТЬе те<Ипгп-ассеяя-сотйго1 япЪ?ауег (2а). ТЬе рцгрове о? ~Ь1в яыЪ1ауег 1в Фо гево1че сопй1сгв ФЬЮ аг1яе ЪеФтчееп пойез гЬаг, тчап~ 1о пяе 1Ье яЬагес1 сопппип1сайоп тейпт. А всаг1са1 арргоасЬ тчоп1с1 опсе аЫ Гог а11 всЬес1ц?е ~Ье Ф1те 1пСегча1в с1иг1пд юЬ1сЬ еасЬ пос?е 1з а11отчей Фо иве гЬе пж11пгп.

ТЬ1з те~Ьос1 ч~азвея а 1оС о? ЪапйжЫ1Ь, Ьотчечег, 1? оп1у а Геныч пос1ев Ьаче с1айа го ггапзт1С, аЫ а11 оСЬег по<?ея аге в11еп~; ФЬе тейпт геташз 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ип пщ йе сус11с огс1ег 1п ~чЬ?сЬ подея уй йЬе?г 1пгп 1з йеФеппшег? Ъу сЬе рЬуз1са1 соппесМоп ~оро1оуу (жЬ?сЬ 1з, 1пг?еес?, а г?п~), ~чЬ11е 1п а 1о1сеп Ъыя ~Ье сусЬс огг1ег 1в с1е~егт1пег1 дупат1са11у Ъмег? оп йе огйег о?' ~Ье пог1е агЫгезяея. ?и ~Ье сагг?ег вепзе тпЖр1е ассезз жйЬ со11?иоп г1е~есбоп (СИМА/СР) з~апдагг1, пос1ев оЬяегче реп йе тейпгп ?я Ы1е, аЫ Ы'яо ФЬеу аге а11оюес? 1о вепй Н Ьчо ог тоге пог?ев вяаг~ Фо вепг? (арргох1таФе1у) з?тп1$апеопз1у, 24 1 1пгтег1ислоп: Юз1г7бигей ЯрФепи Веге 1з ь сойигоп, ~чЫсЬ |я Йегесгес1 ьпй саизез еасЬ г е $о ш$еггирй Ыз Фгапзппвз1оп ьпс1 1гу щаш ь1 а 1аФег Мте. ТЬе 1о~1са1-11:й-сопйго1 виЫауег (2Ь).

ТЬе ригрояе оГ й|в 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-11п1с-сопйго1 яиЬ1ауег арреагв 1йе сЬе пеСсчог1с 1ауег оЕ йЬе ОБ1 тос1е1. 1пс1еей, сотшишсь6оп Ьейъееп апу ра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-11й-сопСго1 яиЫауег.

1.2.4 Йапдиаде БирротГ, ТЬе ппр1ешеп~аМоп оГ опе оГ ~Ье зоЪчаге 1ауегз оГ а сопыпип1сайоп пет~чог1~ ог а йз1г1Ьитес1 арр11саМоп гес1и1гез ~Ьа1 сЬе ЙЫг1Ьи~ег1 а1вог11Ьш изей ш гЬа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оп 2.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чев Ьеге ~о а ЬгГеГ йевсг1рйоп оГ гЬезе сопя~тисов; Гог шоте с1есаНв апс1 ехашр1ез оГ асгиа1 1ьпвиадев ~Ьа1 ияе ~Ье чаг1оиз сопя~тисов, вее, е.К., Ва1 [Ва190]. А 1апдище Гог рговтаппп1пд йвтпЬиФес1 арр11са$1опя шив$ ргочЫе ~Ье шеапз 1о ехргезя рага11еЬзш, ргосеяз шФегасМоп, апг1 поп-йегепшшзш.

Рьга11е11яш 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че а шеяяа~е.

Рага11е11япь ТЬе шозг арргорг1аФе девтее оЕ рага11е11зш 1п а дМг1Ъигей арр11саИоп дерепс1з оп гЬе гаИо Ъегсчееп йе сой оЕ сошгпип1саМоп апд сЬе созГ оЕ сошригаС1оп. А зша11ег йедтее оЕ рага11е11зш а11о~чя Еог Емйег ехесит1оп, Ъий а1яо гес1и1гея гпоте сопипип1сай1оп, во 1Е сопшшшса$1оп 1в ехрепв1че, 1Ье да1п Ьг согпри$аИоп зреес1 гпау Ъе 1озФ 1п адййопа1 согпшишсаг1оп созФ.

Рага11е11ят 1в ивиа11у ехргемес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зо ромЕЫе го ехргеы рага11е11зш Ъу гпеапя оЕ рзха11е1 ягагегпепгв ог 1п а Еилс~1опа1 ргораппп1пд 1влр~аде.

Рага11е11яш 1з пот, аЬ~аув ехрЬс1г, Еп а 1вл~иаве; гЬе рагг1Г1оп1п~ оЕ соде 1п1о рагаБе1 ргосезяея тау Ъе регЕогшед Ъу а зорЬ1вйсагей сотр11ег. Согпхпип1саг1оп. Согпшии1саИоп Ъе~счееп ргосеззея 1в шЬегепг Фо с11ягх1Ъийед вувйетя: 1Е ргосеявез йо пой сошшишсайе, еасЬ ргосеяз орегайея 1п 1зо1аг1оп Егогп ойЬег ргосезвея апй яЬои1с1 Ъе зйис11ед 1п 1во1аМоп, пот ая рагй оЕ а Йзйт1Ъийес1 зузгеш. %Ьеп ргосеяяез соорегайе Ы а сошрига6оп, сопипишсаМоп 1в песемагу 1Е опе ргосеяя пеес1в ап пйегшейайе гези1й ргос1исед Ъу апогЬег ргосеяя. А1зо, зупсЬгоп1за11оп 1в песемагу, Ъесаияе ФЬе Еоппег ргосевв шиз~ Ъе виярепйес1 шй11 гЬе гезий 1з ача11аЫе. Мемаде рааьтд асЫечея ЪогЬ согпшишсаМоп апс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а Ъесошез ача11аЫе го гЬе гесе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че орегайоп. 26 1 1л~тойисМол: 0шгйитев яузте~ти 1п отЬег ~чотйя, тЬе вепйет ',я Ыос1.ей цпс11 тЬе незвале Ьм Ьееп гесе1чей, апй а Ьчо-ъау яупсЬтошиаттоп ЬеОчееп яепйет апй гесе1чег геяц1тя. Меяяадея сап Ье яепт ро1п~-со-рошт, 1,е., 1готп опе яепйег Со опе тесе1чег, от Ьгоайсая~, 1п юЬ1сЬ сазе, пе яапте шеяваве 1в гесе1чей Ьу а11 гесе1четя. ТЬе тегш шц1т1сазт 1я а1во изей то геГет 1о птеыа8ея тЬат аге веп1 Фо а со11есМоп о1 (по1 песеяяаг11у а11) ргосевяся.

А яотпеъЬат тоге я1гис~игей сошшип1са11оп рт1пит1че 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п8 а чаг1аЫе сап Ье йопе Ъе1оге 1Ье чаг1аЫе Ьм Ъееп ътЖеп.

Бв1п8 яупсЬгоп1кат1оп ртЬп1т1чез зисЬ ав яетларЬотез [Вц68] ог толхтотя ',Ноа78~1, й 1я ровв1Ые 1о 1шр1егпеп1 тевва8е рмв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т аПощя тЬе гесе1рй оЕ гпеяяадея Ггогп йНегепт яепйегз. Айй1т1опа1 чтауз то ехртеы поп-йе1егтп1п1яш аге Ьмей оп диагйей соттлалй. А р~агйей сопппапй ш йв шов1 депега1 Готш 1в а 11вт, оГ в1атешептз, еасЬ ргесес1ей Ьу а Ьоо1еап ехргеяя1оп (йв р~агй), ТЬе ргосезв шау сопМпце йз ехесийоп М1Ь апу оГ 1Ье яса~етпептз аког ччЬ|сЬ йе согтезропй- 1пИ 8иагй еча1иа1ея 1о т иа. А 8цагй тау соп1аш а гесе1че орегаЫоп, 1п ъ ЫсЬ сме Ы еча1иатея йо тгие К тЬете 1з а тпезваде ача11аЫе ~о Ье гесе1чей.

1.3 З1вйг1ЬиФей А1цогЫЬпьв '1'Ье ргеч1оцв яесМопз Ьаче 81чеп геавопя Гог тЬе ияе оГ й1втт1Ъи1ей сотприФег яуятетя апйехр1ашес1 ФЬе пайиге оГ сЬезе вуя1ешв; 1Ье пеей 1о ргодтатп тЬеяе яуятетпяаг1яез м а сопяес1иепсе. ТЬе рго8галшип8 от й1вФт1Ьи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дог1тЬшя. Ия1г1Ьи1ей апс1 сеп1га11гей вуз1ешз й11тег 1п а пшпЬег оГеяяепт1а1 геярестя, тгеа1ей 1п ЯиЬвесМоп 1.3.1 апй ехешр11йей 1п 8иЬяест1оп п3.~. Иятг1Ьцтей а1~от1Мшм гезеагсЬ Ьвз тЬеге1оге йече1орей аз 1.3 Вибгйикед Л1допйтпз ап 1пк1ерепк1епС йеЫ о1 яс1епС1йс геяеагсЬ; вее ЯиЪяесС1оп 1.3.3.

ТЬСя Ъоо1 1з !пСептСеб Со !пскодттсе СЬе геатСег Со СЫя геяеаксЬ йе1тС. ТЬе оЬ)ессгтез оС СЬе Ъоо1 апк! а зе1есС!оп оГ геях!Се 1пс1пг)ей !п СЬе Ъоо1 аге якаСей Сп БпЪяесС1оп 1.3А. 1.3.1 ВхзС7 1ЬиСек1 иекнив СепС7а1ыед А1догййтв 131вСк1ЪиСек! яузветв й1кег 1гокп сепСка1иед (ып!ргосеяяог) сошриСег яуяСешя !и сЬкее евяепС1а1 гезресСя, тчЬ1сЬ тче вотч йясияя. (1) Еасоф о~ ЙпоыЫде о~ дЫа! якаке.