Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 80
Текст из файла (страница 80)
(2) Ртоюе 1Ьа1 Йе Фойеп о~ ртосезз р 1з заМ аФ товз 1+1/(~(р) — 2) Итиез Йиъпд а Итпе 1пзетиа1 о~ 1епдй Ф. (3) Репие а ~огпьи1а 1от йе шотв1-сазе тпевваде сотпр1ехйу о~ Йе а1дотгйтп. (4) оЬоы, 6у еагфпд 1, Йай а 1хпеат Итпе сочпр1етйу сап 6е оЫатей. Рац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Ьеогу ате воше6шев Ьзгй ~о йп1.
Оп 1Ье осЬет Ьатк?, воше ртоЬ?ешв Ьатж е1едатй ык1 чтеП-ев~аЬЪЬей ~Ьеогу ззк1 в?шр1е зо1ибопз счЬове ргезе~йа6оп Вз тче11 ш Ицз штгойис1оту техтЬоо?т. ТЫз сЬар~ег зег~ез м а депета1 1пйгойисМоп йо йЬе 1а1ет сЬар1егв. %е Шизтта~е 1Ье теазопз Еог изшд Еаий-то1етапФ а1догЫши (Бесй1оп 12.1), апй зиЪзеоие~й1у 1пттойисе Ьюо шаш турев оЕ Еац?т,-Фо1етапв а1дотИшж, паше1у гоЬивт а1~ог1тЬшв (Бесбоп 12.2) апт1 Май?з1пд а1цопв?ипв (Яест1оп 12.3).
12.1 Н,еавопв Еог Бв?пд хаий-Фо1егааФ А1цогИЬтпз 1псгеевыхд ФЬе пишЬет оЕ сошропептз ш а сИзтг?Ьитей зувтеш шеапз шстеаь1пз 1Ье ртоЬаЫ11ту ~Ьат зоше оЕ ~Ьеве сошропептз ага Ье зиЬ) ест Фо Едите с1цт1пд тЬе ехесц6оп оЕ а йвтт1Ьитей а?~ог1йип. Сошр~йегз ш а пегюог1т шау Еа11, ргосеввез ш а зуз~еш сап Ье етгопеоиз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итев. 384 12 РаиН. То!етапсе Ед МЪйъЬиЫ Ярейати ОЕ соптзе, ийпегаЫ11ту Фо Еа11птея и а1зо а сопсегд ш вет1пент1а1 сотпрптат1опз, тп ваЕеФу-ст1Мса1 арр11са~)одя, ог 1Е а сошрпФаФ1оп гши Еог а 1оп8 вше адски ртот1псея а доп-чег16аЫе гезий. 1~йегда1 сЬес1тя ртотес~ а8а1пзФ еггогв оЕ зоше турея (е.8., пюсЬйаг сЬес1т1д8 вулис ат1тЬшеИс шиса1стйаФюп), Ьд1 оЕ сошзе по ргоФесФюп сап Ье ас)йемен а8а1тиФ ФЬе сошр1еФе 1ояв оЕ тЬе рго8татп ог етгодеоыз сЬад8ез ш Вз сот1е.
ТЬегеЕоге ФЬе рояв1ЬИ- т(ез оЕ ЕатйМо1егадФ сошрпФпщ Ьу зетужй1а1 а1!топйпи апт1 шт1-ргосеззог сошрнйд8 зузтетпз аге ЬтшФет1. Веские оЕ тЬе т1ирегз1оп оЕ ргосезв1д8 геяодтсея ш а ои1т1Ьптет1 зувФеш, тЬезе зувФепи Ьаче ФЬе ратйа1-Еат1ите ргоретту; по шатает иЬаФ Ыдт1 оЕ Едите оссптз, й изыа11у а(тестов оп1у а рагт оЕ ФЬе е~й)ге зув$еш. А!с(, и~Ь11е тЬе 8тоМЬ оЕ ФЬе пшпЬег оЕ сошродедтз ша1сев 1Ф ехФтеше(у 1йе1у ФЬЮ а Еайше тч111 осспг ш зоше сошропепФ, К Ьесошев ех~теше1у ипШте1у йаФ а йл1нге ч~111 оссиг ш а11 сошродедФз. ТЬетеЕоте В шау Ье Ьорет1 ФЬЮ ФЬе тазов оЕ Еа11ш8 ртосезвев сап Ье Фа)тед очег Ьу ФЬе геша)д(д8 сошроп~тФз, 1еасЕпК то а 8тасе6й с1е8гатЫюп гМЬег ~Ьад ап очета11 пта16шсМод)п8.
1пс1еет1, зз сад Ъе зееп ш фЬе Ео11ое1д8 сЬартетв, тЬе йез18п оЕ сЪФт1Ьн1ео а18от1тЬшз 1от зузтепи к6ФЬ с1еЕесФ1че ртосеззез и ровз)Ые, апт1 соотт))паФес1 ЪеЬаи)ог сад Ье асЬ1ечес1. ТЬе ратба1-йл1дте рторегту ша1сез тЬе иве оЕ оиФпЪптет1 ("терЬсате1е) атсЬ1тестпгев ап атФгасФтче орт1оп Еог ФЬе йев18д оЕ сошрдФег аррЬсаМопв тЬат аге доФ с 1з(;т1ЬпФес1 Ъу даФпте, ЬпФ тесуйте Ь1фь те11аЫ11Фу.
ТЬе рт1шату сошрптег зувФеш оЕ ФЬе Брасе БЬдИ1е а1гстай вегчез м ап ехашр1е; БресСог апо С1йото [БС84) оезст1Ье Ив с1е~е1оршепт,. Содтто111пК сЬе БЬптт1е 1в а таз1т и~е11 втФ)йп ФЬе сарас)ту оЕ а вшие о(Е-ФЬе-яЬе1Е пйсгортосзвот, ЬпФ тЬе розз)Ъ1Ьту оЕ зпсЬ а ргосеззог'з Ьтеа)т)д8 т1ояп Идти а Й8ЬФ юм а зег(оыя содсетп ш 1$в т1ез18п. ТЬе йи1 соптго1 вузФеш авен Еопг 1т1едт1са1 ргосезвогз, еасЬ регЕопдпт8 ехасс1у тЬе ваше сошрпФаФ1од', тЬе асФпатотв ~оте од тЬе одтсоше, и~Ь1сЬ аЛачм ретЕесФ сопФго1 еред ЕЕ оде ргосевзог Еа(1з.
(ТЬе рЬуз1са1 геа11зат1од оЕ ~Ье асФыатогв а11оез ФЬе зузйеш Со зптчЬе ФЬе 1атег Еа1Ьтте оЕ а весодт1 ргосеззог м р~е)1.) А)тЬо~щЬ герЬсат1оп и ап арреаЫл8 орт1од Еог шстеаяш8 теИаЬй1ту, ФЬе с1ез18тт оЕ йе а18оптЬшз песезязту то соогд1пате а с1ивФег оЕ (шкеЬаЫе) ргосеззотз й йг 6ош ттЬча1. ТЬ(в (в 111дзФгатео Ьу ФЬе розйропешедт оЕ ФЬе йтвФ й8ЬФ оЕ ФЬе БЬптт1е (Етош Арп) 8 то Арт11 10, 1981), Ъесапзе оЕ ап егтог ш тЬе зойт~ате ргестве1у тевропв1Ые Еот ФЬат, Фм1с. РогтддаМу, тЬе з~поу оЕ Еаый-то1егадт, а18огШшм Ьм атЬадсей сопз1оег- ' Бее (ЗСЗ41 Гог аа ехр(алас!оа от чае ИВЫ ("Ьос врете") вЫ еысса ("со!д ерохе") рсосееиие.
12.3 Нобиаг А1дотйити аЫу вшсе 1Я81, апй ге11аЫе аррИсаФ1опв Ьазес1 ою герЬсаФ1ою аге юотч юе)1 ж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я виагапФеей Фо гесочег Егош ялу агЫФгагу сопй8игаФ1оп тчЬеп ФЬе ргосемез гезише соггесФ ЬеЬач1ог. Же яЬа11 Ьг1ейу 'шФгойисе гоЬивФ а1хог1ФЬтпз ш БесФ1оп 12.2 апй зФаЬ111яищ а1рий1ипя ш ЯесФ1ою 12.3, алй фче а зЬогФ сошраг1воп аФ ФЬе епй оЕ ФЬе сЬарФег, 12.2 В,оЬияФ А1~ог1ФЬтпв КоЬизФ а1вопФЬтпя аге йм1И;пей Фо яиагапФее ФЬе сопФшиоыз соггесФ ЬеЬач1ог оЕ соггесФ1у орегаФпщ ргосеыез 1п зр1Фе оЕ Еа11игез осситг1юд 1п оФЬег ргосеяям йиппв ФЬеи ехесиФ1оа.
ТЬеяе а1вог1ФЬтпз ге1у оп зФтазеятез зисЬ м чоФ1юд, тчЬегеЬу а ргосем тч111 оп1у ассерФ сегФа1п птЕогптаФ1ою ччЬею зиЕ6с1еюФ1у тпаюу оФЬег ргосеззев Ьаче а1зо йес1агей гесе1рФ оЕ ФЫз шЕогшаФ1оп. Нотчечег, а ргосем зЬои1й печет тча1Ф Фо гесе1че шЕогшаФ1оп Егош а11 ргосемев, Ьесаизе а йеай1ос1с шау ФЬиз аг1зе, 1Е а ргосеяв Ьая сгаяЬей. 12.2.1 Увйич е МотЕе1я То йеФепшпе Ьотч ФЬе соггесФ1у орегаФ1пв ргосемев сап ргоФесФ ФЬетпзе1чез адашвФ Еа11ей ргосеввез, азвишрФ1опв пимФ Ье тпайе аЬоиФ Ьоы а ргосем ш1фй Еа11. 1п ФЬе Ео11отч1пд сЬарФегв 1Ф 1я а1щаув яязитпей ФЬаФ оп1у рюсеяяея саю Еай; сЬаппе1я аге геИаЫе. ТЬив, 1Е а соггесФ ргосем веюсЬ а шмва8е Фо апоФЬег соггесФ ргосем, гесе1рФ оЕ ФЬе шемахе м6ФЬш йшФе Ф1ше 1я виагапФеей. (А Еайщ сЬаюпе1 свл Ье шойе1ей Ьу а Еяд1иге ш опе оЕ ФЬе шс1йепФ ргосезвев, Еог ехашр1е, вл опйяз1ою Еа1|иге.) Аз вл айй1Ф1оюа1 явяишрФ1ою, ~че аЬчауз ямшюе ФЬаФ еасЬ ргосем сзл яепй Фо еасЬ оФЬег ргосезв.
ТЬе Еойялюд ~аи1Ф тпойе1я аге изей ш ФЬ1з ЬооЫ. (1) ЕптФта11у-веав' ргосяяям. А ргосезв 1з са11ей 1п1Ф1а11у йеай 1Е 1Ф йоез юоФ ехесиФе а яшв1е вФер оЕ 1Фв 1оса1 а1вог1ФЬтю. (2) Стаяй таЫ. А ргосмз 1я за1й Фо сгмЬ 1Е 1Ф ехесиФез 1Фз 1оса1 а1вог1ФЬтю соггесФ1у ир Фо зоше шошеюФ, аюй йоез юоФ ехесиФе апу зФер ФЬегеаЕФег. 386 12 Гаи1т То!етцисе ж Питтйи1ев Яузтетпз (3) Вухаттттпв уейавтог. А ргосем и ваЫ Со Ье ВузапСше И' 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С ргойисев влу, ж111 Ье соггесС, Ьесацм цр Со СЬе оссштепсе оГ СЬе сгмЬ СЬе ргосезв ЬеЬаъев соггесС1у. Хеей1ем Со зау, СЬе 1оса1 вСаСе ог оцСрцС оГ а ВувапСше ргосезв сзл Ье агЫСгагу, апй по поп-СгЬйа1 гщц1гешепС оп 1С сзл Ье заС1зйей Ьу аиу а1~ог1СЬтп. Михей Га11игев атн$ С1ш1пц еггогв. 1тцС1а11у-йеай ргосеззея апй сгмЬез яхе са11ей Оетидю Гы1иге Сурев, итЫ1е Вуззлтше Сы1игев аге са0ей твайт Сы1цгев.
гог земга1 й1вСг1ЬиСей ргоЬ1ешв 1С Сигпв оиС СЬаС а соБесС1оп от Ф ргосемев свл Со1егаСе С Ьеп1дп Ы1цхез Н 2С < Ф, еЫ1е гоЬцятпевз адыпяС С ша11вп сигея геои1гез ЗС < Ф (ш ал азупсЬтоиоцз шойе1 оГ сошрцСаС1оп). Весаияе ша11дп ЙИигея отСеп саппоС Ье ехс1ийес1 ш ргасС1се ЪиС вхе мгу гаге сошрагей ж1СЬ Ьешеп Сы1цгев, Сагау алй Репу 1ОР92~ ехСепйей зоше Н1егвхсЬу оГ Гаи1С пхос1е1я. А ЫегагсЬу сап Ье йейж1 ашот СЬеве СЬгее Гаи1С шойе1я. Р1гзС, ап пцС1а11у-йеай ргосевв сап Ъе сопяЫегей а ярес1з1 саве оГ а сгмЬшв ргосевв, паше1у, СЬе сме жЬеге СЬе сгмЬ оссцгз ЬеГоге СЬе йгяС ечепС ш СЬаС ргосезв. Яесопй, а сгмЬей ргосеяя сап Ье соцяЫегес1 м а врес1а1 сазе оГ а ВугапС1пе ргосевв, Ьесаиве СЬе агЫСгагу ЬеЬа~6ог мвцшей Гог ВувапС1пе ргосеявея 1пс1ийев ехесиС1оп оГ по вСерв аС а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а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у, чтЬеге а11 вСерв атСег а сегташ шошепС ахе опцССей).