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

11 ~Ье та1п с1ещп оЬ1есМче о1 ~Ье ти1йргосевзог сотри1ег 1в со 1тргоче 1Ье яреег1 оГсотри~аЫоп, й ж ойеп са11ей арага11е1 сотри1ег. 11йя та1п Йея1цп оЬ)емче 1в Фо 1псгеазе ФЬе ге11аЬ|Иу, й 1в ойеп са11ес1 а гер11са1ей яув1ет. Рага11е1 сотри1егя аге с1мз16ей т$о в1п81е-1пя1гисйоп, ти16р1е-с1а1а (ог Я1МП) тасЬ1пея апс1 ти16р1е-1пз~гисгдоп, ти16р1е-с(айа (ог М1МЩ та- 12 1 1пГтойисбопг Пий ЙпГей яувйтпя 1 1п1с Ргосеяяог Вия И~иге 1.3 А Талхвриткк лип л коит~хс снпр. сЫпея. ТЬе Б1М1) писЫпея Ьаче опе 1пйгисбоп 1пХегрге1ег, ЬиФ йе швсгисгюп 1я сзхг1ей ои1 Ьу а 1агде пшпЬег оГ аг1гЬшебс шихя.

С1еаг1у, ГЬеве ип1~в 1асМ гЬе аиФопоту геои1гей ш оиг йейп1г1оп о1 й1вФпЬиХей вув$ешв, апй 1Ьеге1оге 51МР сошри1егв М11 по~ Ье сопз1йегеб 1п 1Ыз ЬооК. ТЬе М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ргосеввог сошри~егв 1в гЬе Тгапвригегв сЫр йече1орей Ьу 1пшов; яее Р1зиге 1.3. А Тгапзригег сЫр сопФашв а сепФга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Ье ггашс оЕ 32 ТгапяриСег 1пйз. ЕасЬ 'шсопипд шезяаде 1я 1пзресгей 1о вее ч1а чгЫсЬ 1ий Й шивг Ъе Гогчгагйей; Й 1з гЬеп вепг, ч1а гЬа~ 1ш1с. Апо1Ьег ехахпр1е оГ а рага11е1 сошригег 1в гЬе Соппесг1оп МасЬше СМ- 5 вуз1еш, йече1орей Ьу ТЬийшд МасЫпея Согрогайоп 11 АЭ+92~.

ЕасЬ пойе о1 гЬе шасЫпе сопв1вгв оГ а Гвзг, ргосезяог апй а чес~ог ргосеяв1п~ ип1г„Мшз ойег1пд 1п~егпа1 рага11еЬвш 1п аййЖоп 1о гЬе рага11е11вш оЕегей Тгаперпсег 1е а Ггаоетаг1г ог" гпгпое. Соппесиоп МасМпе ~е а гересегеп ггаоепгаг1г апп СМ-В а ггЫепьегН ог 'Пг$пЫпд Мас1ипее С огрогаиоп. 1 ХЛас м а 0ист7Ьигей Яузгзт Р Ъу Ьач1пх тапу по-=з. Ая еасЬ пойе Ьяя а ро~епг1а! рег1оппапсе о1 128 т11!1оп орегаМопв рег яесопй, апй опе тасЫпе тау соп1а1п 16,384 пос1ея, йе еп11ге тасЫпе тау ехесиФе очег 10'~ орегайюпз рег зесопс1. (А тах1- та! тасЫпе оЕ 16,384 ргосезяогз оссир1ея а гоот оЕ 900 т- "апй 1з ргоЬаЬ1у чегу ехрепз1че.) ТЬе пойея оЕ сЬе СМ-5 аге соппессей Ьу сЬгее ро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 1Ье пойез. 1п а гер11сасей яуягет еасЬ пойе сагпея оцс сЬе епМге сошри1а6оп, айег жЫсЬ ~Ье геяи1сз аге сотрагей ш огйег $о йеФесФ апй соггес1 еггогя. ТЬе сопвСгисс1оп оГ ши!С1ргосевяог сотрисегя гес1и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ев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о8у (1.е., а пппб ог 8пй) апй ФЬе ге11аЫ11су о1 ~Ье пос1ея. ТЬе 1пшоя С104 гоийп8 сЫрз ияе а чегу яыпр1е гоисш8 а18опГЬш саПей ж1етса1 тоийпд, й1зсизяей ш БцЬяесс1оп 4.4.2, ~чЫсЬ саппос Ье ешс1епг1у изей 1и пеЬчог1сз оГ агЬ1$гагу $оро1ояу.

ТЫя га1вея $Ье с1иевйоп М~е1Ьег яо1ийопз Гог осЬег ргоЫешз, е.д., йеай1ос1с ргечепс1оп, сап Ье изей ш сотЪшасюп и1сЬ фЫв гоибп8 шесЬагияш (вее Рго1ес1 5.5). (2) 1тр1етеп1абоп о!' а тлтгиа1 зРьатеа тиетоту. Мацу рагаБе! а1хопИыпв аге с1ез18пес1 Гог сЬе зо-са11ес1 рага!1е1 гапйош-ассеяв гпешогу (РВАМ) шос1е1, ш МисЬ еасЬ ргосеявог Ьая ассеяв ~о а зЬагес1 гпегпогу.

АхсЫФессигея м1сЬ а шетогу сЬаФ 1з рЬуз1са!1у зЬагес1 аге поФ 1 !пгпх3г "ь оп: Пи~гйи1ев яря1ели яса1аЫе; ~Ьеге 1я а йп.~ Птй ~о гЬе питЬег аГ ргосеязогз ~Ьай сап Ье зегчед Ьу а з1пд1е тпепюгу сЫр. В.езеагсЬ 1я ~ЬегеГоге гйгесгед ~осчагдя агсЬйесйигез гЬаФ Ьаче яечега1 тетогу подея, соппес~ед ~о гЬе ргосеяяогв Ъу ап 1пФегсоппесйоп пегжогМ.

БисЬ а пегжог1 сап Ье сопяггисгед, е.д., гогот '1~апяри~ег сЫря. (3) Лоан Ьа1апсжд. ТЬе сэтри1агюпа1 ротчег оГ а рагаПе1 сотриСег ж ехр1ойед оп1у 11' 1Ье чоЛс1оад оГ а сотри~аМоп 1з вргеад ип11огт1у очег ~Ье ргосемогя; см;сеп~гагюп оГ 1Ье ~чоган аФ а в1пфе поде де8гадея 1Ье рег$огтапс~- го ~Ьа~ о1 а я1п81е поде. П аП я~ерз оГ $Ье сотри~а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ог 1оад Ьа1апс1п~, яее Созс1пз1д 1Соз91, СЬар1ег 9] ог НагдеГ апд ЛоЬпзоп 1НЖО]. (4) Яобив~левв ауаьпиг ипдегесгаЫе ~антитез (Раг~ ТЬгее). 1п а герПса~ед яуз~ет 1Ьеге тияг Ье а тесЬашят 1о очегсоте Гы1игея ш опе ог тоге ргосеяяогя. 01 соигяе, сотри~ег пе~~чогЪ тия~ а1яо соп~1пие СЬе1г орегаЫоп ш врйе о1 ~Ье ГаПиге оГ а поде, Ъи~ ~Ьеге й 1в изиаПу мвитед ~Ьав ~Ье зисЬ 1ь11иге сап Ье де~ес1ед Ьу о~Ьег подев (зее, е.8., ФЬе ХессЬапде а18ог1ФЬт ш Бесйоп 4.3). ТЬе мзитрг1опз ипдег ъЫсЬ герПса1ед яувгетз пппб~ гета1п соггесФ аге тисЬ тоге вечеге зшсе а ргосемог тау ргодисе ап еггопеоиз апычег Ьи1 огЬегичзе соорега1е ш 1Ье рговосо1з ехас$1у 1йе а соггесг1у орегаАшК ргосеявог. ЧоИпд тесЬашятя шива Ье ипр1етепФед го 61зег ~Ье гези1гв оГ 1Ье ргосеяяогв, яо 1Ьаг, оп1у соггесФ алзтчегз аге де1гчегед ая 1ощ ы а та)огану оГ гЬе ргосеззогз орегаФез соггес$1у.

1.1. д Соореч'айяд Рч'осеваеа ТЬе депп оГ сотрПсаФед войжаге зув~етз тау ойеп Ъе яипрЬ6ед Ъу огдап1зшв; ФЬе зойюаге м а соПесбоп оГ 1яег1иепйа1) ргосеяяез, еасЬ ъчй а ччеП-дейпед, я1тр1е гм1с. А с1зяя1са1 ехатр1е ~о 1Пия~гаФе ~Ыз з1трМсайоп 1з Согпиау'в тесотИ сотетвоп. ТЬе ргоЫет 1з ~о геас1 80-сЬагас1ег гесогдв апд ягйе ~Ье вате да~а ш 125-сЬагасгег гесогдз. Айег еасЬ шриг, гесогд ап адййопа1 Ыый тиз1 Ье 1пзег~ед, апд еасЬ ра1г оГ м~ег1зЪ 1 "е~") шива Ье гер1асес1 Ьу Ю~а1 ы а Вгя1 Йи$ей Яря1еш? ап ехс1атайоп таг1с ("! «).

ЕасЬ ои~рпг гесогс1 пшзг, Ъе 1о11отчей Ъу ап епй-о1-гесогй (ЕОН.) сЬагас1ег. ТЬе сопчегяюп сап Ъе сыпей оис Ъу а я1п81е рго8гат, Ъиг, юг11ш8 ~Ыя рго8гат гз ъегу пйг1саФе. А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пяег~я ап ЕОВ. айег ечегу. 125 сЬагассегв. А йея1 п м а со11есйоп оГ ргосемея 1я пяиа11у мямлей аког орега11пд вуя~етя, Фе1ерЬопе яМФсЫп сепгегя, апй, м ъч11 Ъе яееп 1п ЯиЪяесгюп 1.2.1, сотппш1сайоп яойсчаге ш сотрп1ег пеЬчог1св.

А йев18п м а со11есйоп оГ соорега~ш8 ргосезяея сапяев -Ье арр11сайоп ~о Ъе 1од~са11р й1вФг1Ъи1ей, Ъи~ й 1я цшФе розя1Ъ1е ~о ехеси~е ~Ье ргосеяяея оп 1Ье вате сотри~ег, ш тчЫсЬ сме 1~ 1в пой рйржсаПр й1ясг1Ъигей. 1~ 1з оГ соцгяе 1Ье сме ~Ьай асЫечш8 рЬуя1са1 й1всг1ЪпИоп 1в тоге ему 1ог зувСетя ~Ьа~ аге 1орса11у й1з~г1ЪиГей. ТЬе орегайпд яуя~егп о1 а сотри~ег 1пя~а11а~юп тпз~ соп~го1 ~Ье сопсштепг, ехесиМсп о1 ~Ье ргосемея ялй ргоч1йе вЬе теапз Гог сотшшпсайоп апй яупсЬгоп1яаг1оп ЪеЬчееп ~Ье ргосеяяез.