Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 70
Текст из файла (страница 70)
Ап ппрогсапс Ьи11с11щ Ыос1с ш СЬе с1ея1р~ оЕ а18огЫЬшз орегаФш8 оп вувсеш сошрисаМопа 1и а ргосес1иге Еог сошриМпд апс1 вйогш8 а ящ1е сопйдцгаС1оп оЕ 1Ыя сошриФас1оп, а зо-са11ес1 втьарвйог. Ассогс1шя Фо 1)ейшФюп 2.22, а сйвспЬисес1 сошриФаМоп ж с1езспЬес1 Ьу ЖЯегеп1 иеоиепсеи оЕ сопйрьгаС1опз, соп~а1пшд сМегепс со11есс1опз оЕ сопй8итатюпв. ТЬегеЕоге И 1з пос оЬчюиз жЫсЬ сопйдитатюпя аге сопя1с1егес1 из сопй8игаС1опя оЕ а сошрисасюп. ТЫз с1иезйоп тч111 Ье асЫгеивес1 ш БесФюп 10.1, яЬеге сЬе посюпв оЕ с~йв, сопя1всепс сиФз, апс1 ипаряЬо1в аге Йес1 Го8еСЬег.
ТЬеве пос1опз аге с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в, Р гешаии багие ш ечегу сопй8итасюп б Егош реп оп. Сопяес1иеп$1у, 1Е Р 1з Еоипс1 Фо Ье итие Еог а япарвЬой оЕ СЬе сопйдитайоп, ФЬе сгиСЬ оЕ Р сап Ье 331 ззг 10 Япарйог8 сопс1цйес1 Еог аП сопйвцгагюпв 6ош ~Ьеп оп.
Ехашр1ев оЕ зФаЬ1е ргорегг1ез 1пс1цс1е гегш1даг1оп, с1еай1ос1с, 1оы оЕ го1гепз, влс1 доп-геасЬаЬ111гу оЕ оЬ1есгв ш йупашк шешогу яФгцсгцгез. 1п Вес~юп 10.4 пе зЬа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гед 6оп1 ап еггопеоцв ехесцМоп гпау гечеа1 ъ Ьу а ргораш Йоез поФ асФ м ехресФей. 10.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хцге 10.1. Т1шв, Еи = ~1 ег (е~~ц, в~2> Оп гЬе ечепФя оЕ ргосезв р а 1оса1 саилЫ отЫет Ев йейпес1 Ьу е~*1.с е~'~ ~=~ Е <,у. ЕасЬ оЕ ФЬе ечеп1в сап Ье еМЬег а зетиЕ, тесехЕ ог гпгетпЫ ечепФ, сЕ. ВЬе йейшМопв ш СЬаргег 2.
То яшрИу ФЬе гергевепФа$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вг, тсЫ~'~ оЕ шезвазез ФЬаг, о Ьав гесе1че1 Егош р ш йЬе ечепФв е<ц ИкоццЬ е<'~. То ачоЫ ехрЬс1в звога~е оЕ сошшцшсая1оп ЫЫог1ев ш аррйсабопв оЕ ФЬе а1зопйцвз, 1г, жй Ье зЬоччь ш ЯцЬвесйоп 10.3.1 Ьаю Фо Ьй ФЫв мвцшрФ1оп. ТЬе апд оЕ а здаряЬог, а1яог1йш 1в Фо сопйгцсФ ехр11с1г1у а зуйеш сопйригаМоп сошровес1 6ош 1оса1 зФаФез (япарвЬоз зФагез) оЕ еасЬ ргосеяв. Ргосеяя р га1сев а 1осЫ зпарзЬо1 Ьу вгопид оде 1оса1 яФа1е с', са11ег1 ~Ье впарвйо3 зга~е оЕ р.
1Е гЬе впарзЬо~ звание 1в ф1, 1.е., р Фа1сев Ыв впарзЬоФ Ъейжееп е<'> злй е~,'+ц, 1Ье ечепгз ф~ чйЬ 1 < Е аге са11ей $Ье ртезЬо$ ечепй оЕ р аЫ 10.1 Ртейтщоттел (о) 41) с(*) с = ~') ср с =ср 0+1) ер ер ер Та)о~щ впарвЬоС 1п1С)а1 вСаСе Ущше 10.1 Сойерс)тАттом ор рносезя Р. Рз Рщпге 10.2 Ам гмсомявтнмт ямАрзнот. СЬе ечепСз м6СЬ т' ) з аге са11ей СЬе ролСлйог еттетИл оГ р. 1п С1ше Йазгап)з СЬе Сайшд о1 а 1оса1 впарзЬоС 1з йер1сСес1 Ъу р1асшд ап ореп с1гс1е оп СЬе ргосезз вСвСе СЬаС Ъесошез а впарвЬоС зСаСе; зее Р1уыез 10.1 апс1 10.2.
А (ц1оЪа1) впарвЬоС 5' сопз1зСз оГ а зпарвЬоС яСаСе с' Гог еасЬ ргосевз р ш Р; рте тчг1Се Я = (с',, ..., с' ). Весаизе 1оса1 вСаСез шс1ийе сошшпп1саС1оп ЫвСопез, а впарвЬоС 5' йейлез а сопйузгаС1оп у К СЬе вСаСе оГ сЬаппе1 ро )з Йейж1 Со Ъе СЬе веС оЕ шевзавез вепС Ъу Р (ассогйщ Со с ) ЪпС поС гесегчей Ъу д (ассогйпз Со с,). 1п оСЬег вогез, СЬе вСаСе оГ сЬаппе1 рд ш впарвЬоС 8' 1з йейпей Со Ъе СЬе зеС оГ шевзазев летИ ~ тсттЫ' .
ТЬе сопйр~гаС1оп сопз1зСшд ойЬе зпарвЬоС вСаСез аЫ СЬе с1ейпей сЬаппе1 зСаСез м611 Ъе йепоСес1 у . Боп)е апошаЬев ш СЬе сопвСгпсС1оп оГ СЬе соп6дпгаС1оп аг1зе 11' гсЫ~, )з поС а зпЪяеС о1 летИ'; зее Рщыге 10.2. Ассогйш)г Со зСаСе с, ш СЬе со11есСей впарвЬоС, а шеззазе тттм яепС Ъу рт Со рз, ЪиС ассогйшц Со с, по шевваЦе ткм геселей Ггош Р,. ТЬыз, СЬе сЬаппе1 Р,рз сопвашв опе шевваве ш СЬе впарвЬоС, влй СЫв шевваве Св ва1т1 Со Ъе "ш Сгапз1С ш сЬе впарвЬос. Хо~ч сопзЫег СЬе шевза)ге яепС Ггош р, Со Рз.
ТЬе веруш~ оС СЫв шезвапе 1з а ровСвЬоС еъепС, чтЫ1е 1Сз гесе1рС 1з а ргезЬоС е~тепС. ТЬпз, ассогйпп Со с',, по юезза~е втм вепС оп сЬаппе1 рзрз, ЪиС ассогйшп Со с, а шевзаде чм гесеюей йа СЫв сЬаппе1. Весацяе тси~~,~, Я летИ,, по шеап1пКй1 сЬо1се Гог СЬе вСаСе оГ сЬвлпе1 Ртрз сап Ъе шаде. ТЫз швр1хев СЬе $оПожшз бейпЖоп. 334 10 ЯпарзЬотв ЭейпИоп 10.1 ЯпарвйоС Я' 4з ~еавтз1е чу~от еасЬ Ство (пеьдЬбот) ртосезвев р апа о, тсиа С ветИ' . ТЬе 1ем1ЪЙСу о1 а впарвЬоС 1шрЬм СЬаС ш СЬе сопзСгцсС1оп оГ СЬе 1шрЬей сопйрпаС1оп по шеязахея "гешаш" ш тсср', СЬаС саппоС Ъе йе1еСей антош зепи; . %е зЬа11 са11 а шеяяаде а ртезйоФ тпезваде 1ог розСзЬоС птезваде, тезресС1че1у) Ы 1С и яепС 1п а ргевЬоС ечепС (ог розСзЬоС ечепС, геяресС1че1у). ТЬеге и а опе-Со-опе соггевропйепсе ЬеЬчееп ятарвЬоСв апй йшСе ситв ш СЬе ечепС со11есС1оп оЕ СЬе сошрцСаС1оп.
А сцС 1в а со11есС1оп от ечепвв СЬаС 1з 1ей-с1овей жСЬ гевресС Со 1оса1 сацза11Су. Пейп1С1оп 10.2 А сиС о~ Еэ тз а ве$ Ь С Еэ висй Йат е Е ЬАе'-< е з е' 6 Е. Сит Ц тз заЫ Со Ое 1а$ет Йап сит Ь| т~ Ь| С Ея. Оп СЬе опе Ьапй, Гог еасЬ зпарвЬоС Я' СЬе со11есС1оп Ь о1 ргезЬоС ечепСя 1в ем11у зееп Со Ъе а 6ште сцС. Оп сЬе оСЬег Ьапй, 1еС т' Ъе а цп1Се сцС. Рог еасЬ ргосезз р, е1СЬег по ечепС ш р и шс1цйей ш Ь (1еС тп = 0 ш СЫз сме), ог СЬеге и а шах1ша1 ечепС е~ 1 сопСашей ш т, апй а11 ечепСз е -~~ ер~ аге а1зо сопСа1пей ш Ь. ТЬеге1оге, Х, и ехасС1у СЬе зеС оГ ртевЬоС ечепСз оГ СЬе впаряЬоС йеЬпей Ьу Ю" = (с~~, ", ..., с„„"" ). А зпарзЬоС тч111 Ъе изей Со йе~тке шГогшаС1оп аЪоцС СЬе сошрцСаС1оп антош тчЫсЬ 1С 1я Са1теп, ЬцС ап агЫСгап1у Са1теп впаряЬоС ргоч1йея ЬСС1е 1п6тшаС1оп аЪоцС СЫв сошрцСаС1оп.
Ая ап ехашр1е, сопя1йет ап з1дог1СЬш Ьмей оп СЬе рмв1пх оГ а вшие Со1теп, вцсЬ зз СЬе Сгачегва1 а1КопСЬшя оГ БесССоп 6.3. Аввшпе СЬаС ргосеяя р Са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оп 2.3.2, апй и СЬегеГоге поС йейпей Гог сошрцСаС1опз. ТЬцз яе вЬа11 ассерС апу сопйрпаС1оп СЬаС и роззтИе Гог СЬе сошрцСаС1оп (1.е., оссцтз ш яоше ехесцС1оп оГ СЬе сошрцСаС1оп) м а шеаппщ6Й оцСрцС оГ СЬе а1допСЬш.
Вет1шИоп 10.3 $парвйоС 5' тв птеапспд~и1 ьп сотприСаСтоп С т1'Йете апов ап ехесиСтоп Е Е С висЬ Йат у тз а сопЯитаСвоп о~ Е. 335 10,1 Рте1тит~ат1ев %е гег1и1ге СЬе впарвЬоС а1ЮопСЬхп Со сооп1шаСе СЬе гефвСгаС1оп о1' СЬе 1оса1 вдарвЬоСя 1д яисЬ а чтау СЬаС СЬе геви1С1п5 фоЪа1 япаряЬоС 1я шеапшз6й. ТЬе Сипе1шезв оГ япарвЬоСя 1з йвсиззей ш ЯиЪвесС1од 10.3.2. ТЬе 1ем1Ъ1ЬСу оГ а здарвЬоС йдровея ге1аС1опз оп1у Ъегтчееп 1оса1 япарзЬоСз ог пе1дЬЪогв, тЫ1е шеалш5Яйпезв 1в а ~1оЪа1 ргорегСу оС СЬе япарвЬоС. УеС 1С счШ Ъе зЬотчп Ъе1о~т (ТЬеогетп 10.5) СЬаС Гем1Ые впарвЬоСя аге шеапшфи1 апт1 ч1се чегяа, ыи1 а1во СЬаС СЬезе зпарзЬоСз соггезродс1 Со сотитвгепг сиСв. А сиС 1в сопз1вСедС М 1С 1в 1ей-с1озей чт1СЬ гезресС Со саияаИу.
ОеЯп1С1оп 10.4 А смвюСетсг сиг о1 Еи тв а веС Е С Еи висЬ СЬаг е Е т Л е' -С е =о е' б Ь. ТЬеогеш 10.5 ЬеС 5' 5е а впарвЬоС апй Ь йе сиС ттрИей бу Ю . ТЬе 1ойоижоу 6гее вСаСетепгв ате едилиа1епС (1) Я' и ~еавй1е. (2) Ь тв а сопвтвгепФ сиг. (3) Я тв теаптд~и1. Ртоо1. %е яЬо~т СЬаС (1) 1шрЬез (2), (2) ипрЯея (3), ык1 (3) идрЬез (1).
(1) ипрЬез (2). Авзише Я тз Йвз1Ые. То яЬож СЬаС Ь 1я сопя1вСепС, Сне е б Ь аж1 е' -< е. Ву СЬе йейп1С1од оГ -< 1С зийсез Со зЬочт СЬаС е' Е Ь ш СЬе 1о11очт1пз Санчо смея. (1) е' -~р е (тчЬеге р 1з СЬе ргосем чтЬеге е' аги1 е Са1се р1асе): ш СЫз сазе е' б Ь Го11ояв Ъесаизе Ь 1з а сиС. (2) е' 1з а вепс1 ечепС адй е 1в СЬе соггеяроЫша гесе1че ечепС: 1еС р Ъе СЬе ргосем М~еге е' Са1пи р1асе, о СЬе ргосевз чтЬеге е Са1сея р1асе, адй т СЬе шмеле ехсЬап~ей ш СЬеяе ечепСз. Жотч: е Е Ь =~ т Е тси1„' Ъесаиве е 1я ргезЬоС =о т Е вепСв, Ъесаияе о' и Гем1Ые =о е' Е1 (2) ппрЬез (3). ТЬе фзС оГ СЬе ргооГ 1з Со сопзСгисС ап ехесиС1оп ш ~чЬ1сЬ а11 ргезЬоС ечедзз оссш Ъегоге а)1 ровСзЬоС ечепСз.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
