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

1п а сепСга1лей а!дог!СЬгп сопСко1 к1ес1я1опз сап Ъе шас1е Ъзяек! европ ап оЪзегчас!оп оГ СЬе яСаСе оГ СЬе яуяСеш. Ечеп СЬоидЬ СЬе епС!ге яСаСе ыяпа11у саппоС Ъе ассевяе6 ш а яш~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СЬ сепСга112ес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у оЪяегче4 Ъу СЬе пос1ея. ТЬСв ЫоггпаС1оп сап оп!у Ъе йес1исек! 1пйкесС1у Ъу согпраг!щ 1пСокгпаС1оп аЪоыС гпеззадея яепС аЫ гесе1чек! Ъу сЬе пойея.

(2) Ьаск о~ а д1ооа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йпд СЬаС опе оссигз Ъе1оге СЬе оСЬег, ЪиС Сог оСЬег ра1гв 1С 1я СЬе сазе СЬаС пе1СЬег о1 СЬе ечепСв оссыгя ЪеГоге СЬе оСЬег !1 агп78). МцСиа1 ехс1из1оп сап Ъе асЬ1ече1 ш а сепСга1юес1 вузСекп Ъу гес!п1- шд СЬаС Ы СЬе ассевз оГ ргосевз р Со СЬе гезоигсе вСагСя 1аСег СЬап СЬе ь 1 !иСтойис1гап.' ПиЬ.йи1е6 БувСетв ассевв оЕ ргосеяя д, Йеп Йе ассезв оЕ ргосеяв р г ' вСагС аЕСег Йе ассеяз оЕ ргосеяя д Ьяя епс(ед.

1пйеей, а11 яцсЬ ечепСз (Йе яСагС1щ апд епйпК оГ Йе ассеяя оГ ргосеявев р апд с) аге соСа11у огбегег1 Ьу Сне Сетрога1 ге1аС1оп; ш а ЙвСг1ЪцСес1 яузСет СЬеу аге поС, апг1 СЬе вагпе яСгаСе'у 1я поС яцйс1епС, Ргосеяяея р апг1 д гпау яСагС ассеия1пд СЬе геяоцгсе, жЫ1е СЬе яСагС оЕ пе1СЬег Сегпрога11у ргесег1ея Йе вСагС оЕ Йе ойег. (3) Хоп-йеСегтптитп. А сепСга11гед рговгат гпау йеясг1Ъе сЬе сошрцСаС1оп м 1С цпго11я Егощ а сегСа1п 1прцС цпагпЪ1дцоця1у; фчеп СЬе ргоагагп ьп6 СЬе 1прцС, оп1у а з1пв1е сотпрцСаС1оп 1з рояя(Ые. 1п сопСгмС, СЬе ехесцС1оп оЕ ь с11всг1Ъцсей зуяСет 1и цзца11у попс1еСепп1п1зС1с, йце Со рови1Ые йЕЕегепсея ш ехесцС1оп вреей оЕ СЬе вувСеш согпропепСя. СопяЫег СЬе я1СцаС1оп иЬеге а яегчег ргосевв гпау гесе1че геоцевСв Егош ап шйпо~чп пщпЪег оЕ с11епС ргосевяея.

ТЬе вегчег саппоС вцярепй СЬе ргосевв1щ оЕ геоцевСя цпС11 ай гес1цевСв Ььче Ъееп гесе1чес1, Ъесацяе 1С 1я поС 1спожп Ьо~ч гпьпу гпезяа~ев тчШ агг1че. СопвеццепС1у, еасЬ геоцевС шцяС Ъе ргосеввей 1шгпе61аСе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оЪа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оп.

Ечеп СЬоцф ш а г11вСг1ЪцСег1 вуяСет а ц1оЪа1 вСаСе сап Ъе г1ейпей, алг1 вл ехесцС1оп сап Ъе вееп м а зес1цепсе оГ д1оЪа1 яСаСея (сЕ. Эейп1С1оп 2.2), СЬЕя ч1ем 1я оЕ 11ш1Сег1 цзе и1псе СЬе ехесцС1оп сап а1яо Ъе г1езсг(Ъег1 Ъу оСЬег яес1цепсев оЕ з1оЪа1 вСаСеи (ТЬеогет 2.21). ТЬозе а1СегпаС1че веоцепсея цяца11у сопз1зС оЕ гйЕЕегепС а1оЪа1 вСаСев; СЫв рчев СЬе иСаСегпепС "СЬе яувСетп мвцшес1 СЫв ог СЬаС вСаСе Йцг1пц 1Св ехесцС1оп" ь чегу ЙцЫоцв теьгцпд. Е ас1 оЕ 1глоМефе оЕ СЬе в1оЪь1 вСаСе соц16 Ъе сотрепяаСей 1ог 1Е 1С ~чеге ровыЫе Со ргей1сС СЬЕя в1оЪь1 вСаСе Егош СЬе а1иог1СЬт СЬаС 1в Ъе1п~ ехесцСей. '0пЕогСцпаСе1у, СЬЕя 1я поС ромЕЫе с1це Со СЬе 1пЬегепС попг1еСеггшп1яш ш СЬе ехесцС1оп оЕ г11вСг1ЪцСег1 вувСети. '29 1.Э РчзгпБи1ет1 А1дотЧЬри 1п1г1 ег Р1дше 1.5 А з!мРгдР!еп хетъчоак Акснггеступе.

1.Э.2 Ап Ехатпр1е: Бгпд1е-тпеззаде СотитпипхсаЬаоп Же яЬа11 111из1га~е тЬе ЙЖси1Мея 1трояес1 Ъу ~Ье 1ас1 оЕ ~потч1ефе оЕ где фоЪа1 я~а~в апй гЬе 1ас1с оЕ а д1оЪа1 т1те-Егагпе Ъу ап ехатр1е ргоЫет, Жяспвяес1 Ъу Ве1япез 1Ве176], пагпе1у ~Ье ге11аЫе ехсЬап~е оЕ 1пЕогтайоп ъ1а ап ипге11аЫе тес11иш. СопвЫег отто ргосеввев, а апс1 Ъ, соппесгес1 Ъу а с1Ма пе~тчог1', юЫсЬ ~гапвтйз тевза~ез Егогп опе ргосезя ~о 1Ье о1Ьег. А тевваце тау Ъе гесеийтес1 ап агЬКгаг11у 1опд Ите айег 1~ и зепи, Ъиг тау а1яо Ъе 1овг а1годегЬег 1п гЬе пеФжог1с. ТЬе ге11аЪ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.5. реп 1Е оп1у а з1пд1е 1пЕогтаг1оп цшг 1в го Ъе ~гапврогсей Егот а ~о 6, гЬе пейчог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в са11ес1 орепгпд апг1 йз сБясагс11пд 1в са11ег1 с1оипд 1Ье соп егзаМоп. ОЪзегте гЬаг, айег с1оз1пд йЬе соштегва11оп, ап МСР ж 1п ехасг1у гЬе вате ватаге аз ЪеЕоге орешь й; тЫв 1з са11ей тЬе сЕозей зтаге. 1пЕогтай1оп цшг, тп и яаи1 то Ъе 1озй 1Е а ~таз пог1йег1 оЕ йв гесе1рг Ъу 6, Ъий тЬе ипй жаз петег асгца11у с1е1итегес1 Со Ъ. дашт, тп 1в заЫ то Ъе Й~рйса1ед 1Е й ттзз с1е1и~егег1 $Мсе.

Ке11аЫе соттпшсат1оп гпесЬашятя ргечеп1 1озвея ав же11 яз Йир11сайопз. 1Ф и ввзшпед ~Ьа1 ХСРз гпау Еа11 1 1пгтч1исьап: Оьвг 'оигей Ьуз1етз (сгаьЬ), айег ъчЫсЬ ~Ьеу аге ез?аг~ес1 1п ~Ье с1ояей яйа?е (ейесй1че1у 1оз1ид а11 1и?огшаМои аЬои1 а сиггн 11у ореп соичегяа0ои). Хо ге11аЫе сопшшп1саг?ог 1в асЬ?ечаЫе. Ая а йгяг оЪяегчайои, й сап Ье яЬоъчи ъЬа~ по ша11ег Ьо": 1п1г1са?е1у ~Ье ХСРз аге деяфпед, к 1я по?, розя1Ые ~о асЫече сошр1еге!; ге11аЫе сотпшп1сайоп.

ТЫв оЬяегчайоп сап Ье тпЫе 1пдерепс1епъ1у о?' Ню дея1дп о?' ~Ье дага пегъчог?с ог ~Ье ИСРя апй оп1у ге11ез оп ~Ье аяяшпр0о !Ьа~ зл МСР шау 1ояе 1пГогшаМоп аЪои1 ал ас~1че сопь егяайоп. То яее гЫя, аззпгпе ?Ьа 1?ег 1пЖа1лайои оЕ а сошшпп1са?1оп Ьу а. УСР А апй ХСР В йагт:..опчегяаМоп, с1пг?пц ъчЫсЬ ХСР В с1е11чегя т ~о б айег ~Ье гесе1р~ о1 я лезвие М Ггош ХСР А. СопяЫег ~Ье саяе ъчЬеге ХСР В сгаяЬея апй 1я гея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е11чегз 1Ье шеяяаде, а с1ирЫ аг?ои шау аг1ве. Н поййсаМоп го а 1я з1чеп М1Ьопг с1е11чегу, а 1озз шау а 1яе. Же яЬа11 подач еча1иаФе яеъега1 розз1Ые с1ея1дпз Гог 1Ье ХСРз юйЬ геярес~ го гЬе рояя1ЫИу оГ 1озшд ог йыр11сабщ шевзацея. Ъе вЬа11 1гу ~о йея1дп Же рго1осо1з 1п яисЬ а ъчау ',.ЬМ 1оззез аге ачоЫей ш апу саяе. А опе-тевваде сопчегвайоп. 1п 1Ье я1шр1ез~ роев?Ые 6езфп, ХСР А яепс1я ~Ье Йа1а ыла11егей ч?а ~Ье пе1ъчог?с, побйез а, алй с!озея, ш а зш~1е асйоп прои 1и?Ма11заг1оп.

МСР В аЬчауя йе11чегя а шеяяа~е 1? гесе1чея ~о 6 алс1 с1ояев айег еасЬ с1еЬчегу. ТЫя рго~осо1 ш~гойисея а 1озз ъчЬепечег ?Ье пе~ъчогй генея 1о йе11чег а шеяяаце, Ьи1 ?Ьеге ?з по розя1Ы1йу оГ ш~гойис1пд йир11сайопв. А Фъчо-гпевваКе сопчегваИоп. А 1ипйей ргоФес11оп ада?пяг, 1озз о1 гпеяза~ея 1я оКегей Ьу ~Ье асЫМоп оГ ас1сло~ч1ейдешеп~я 1о гЬе рго~осо1, 1п а погтпа1 сопчегза6оп, ХСР А вепров а с1а1а шеяза~е ( йаФа, гп) аис1 уча?~я Гог 1Ье гесе?рг, о1 ап ас?споъч1ес1дешеп1 гпеяяаде (ас1с) Ггош МСР В.

ЪЪеп 1Ыя шеяяаве ?я гесе?чес1, ЯСР А с1озез ~Ье сопчегва~1оп. ХСР В, ирои гесе1р~ оГ йЬе ( йаСа, т) шеяяаде, йе11чегз ти 1о б, гер11ез ъчйЬ ап (ас1с) шеяяаде, апд с1озея. Бпшшаг?г?п~, аи еггог-аггее соичегва11оп сопящая оГ ~Ьгее ечепй. 1.3 ВиГтчЬигей А!дотхйтпв 1. ЯСР А зепй (с1аЕа,т) 2. ХСР В гесеМе (гЕага,т), де11чег т, зепс1 (ас1с), с1озе 3. ХСР А гессе (ас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поМ- ей~епгепГ Еог а 11ппгей ипоипг оЕ г1гпе, апй 1Е по впсЬ а гпеява~е 1в гесеюед, а гипег гипз она апс1 а йтеоЫ оссигз.