Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 73
Текст из файла (страница 73)
С1еаг1у, тЬе арргорпаФе Ьзлсйщ оЕ с1еайос1сз и оЕ иФшозФ 1шроттавсе ш сЬе 1шр1ешевФат1оп оЕ ЙзФг1ЬиФес1 вувФепи. 10..в.1 МосЕе1 от. Ите Вавъс СотприЬатъоп аптек РгоЫетп ИайетепФ СопвЫег а веФ Р оЕ ргосевзез, ехесиФшд а Ьазьс сотприйайотт оЕ жЬ1сЬ ФЬе ршрове авй могущ аде оЕ по совсетп Ьеге. А ргосезв шау Ьаче Фо яиревс1 йз 1оса1 сошриФат1оп Ъесаизе 1т и вайш~ Еог шевелев Етош оФЬег ргосеввев; ФЬи и шос1е1ес1 Ьу ФЬе асйие вФаФе оЕ а ргосезз Ье1пд гер1асес1 Ьу а 61осйес1 вФ аде. ЖЬеп ртосевв р Ъесотпев Ыос1сес1 (асФ1оп Вр оЕ А1~опйтп 10.7), й зетк1в гес1иевт шевелев то а со11есйоп оЕ Ргосезвез с1епотей Веовр.
То Ьесоше асФ1че щаш (асФ1оп Р„), р шизФ гесе1че р.апФ шевелев Еготп ргосеззев ш Веовр, Ьит пот песевзатйу 6'ош аЛ. ТЬе виЬвеФв оЕ Веовр 6ош, ч~Ь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з герЬев Фо а11 гес1иевФ шевзазев, Вме и тгие оп1у Еот Веовр. Бесовс1, 1Е а вшие рахй вийсев Еог р, Бее и итие Еог ечету поп-ешрФу зес. ТЬ1гс1 авс1 ймйу, мвише р пеес1з 1000 Ы1о-Ьутев оЕ Етее вФога~е сарасйу апс1 вепс1в тес1иевФв Фо с11в1св А 1тЫЬ 900 ЫЪ~Ьутев Егее), В (аИЬ 600 Ы1о-Ьутез Егее), С (тр1тЬ 300 Ы1о-Ьутев Егее), апс1 Р (тчМЬ 100 Ы1о-Ьуйез Егее).
П А апсй апу оЕ тЬе отЬег йз1сз Ьесоше ачайаЫе, р сап сопт1пие. А1зо, 1Е В, С, апс1 Ю Ьесоше ачзйаЫе, р сап совСшие. Неге Ргеер(5) соиЫ Ье ехргмзес1 м (4~5 > 2 л А е Я) ч (фЗ > 3). ТЬе ргейсаФе хрее шау Ье с11йегепт еасЬ Ише р Ъесошев Ыос1сес1, ЬиФ аттрауз мбзвез 1Ье Ео11отр1тщ утро зввишрФюпв. .УО ЯпарзЬогз Вр. '( зингер = ас1те ) Ьевш йевеппше Яеозр аЫ Ртеер, ттр ж ттр + 1; ЕогаИ о Е Яеоз Йо вепй (гес1, тт ) Фо Ч; Степур .— — я; ататер .— — Ьйтсйеа Вр: ( А шевваее (гес1, тт) агпчев Егош о ) Ье6$п гесегге (гес1,е) Егош о; Репер .— — Репер 0 ((д, тт)) епт$ Ср'. ( зГагср = асйттс Л (д, тт) б Репер ) Ьефп вепй (д еп$, тт) ш о; Репер .= Репер ~ ((ц, тт)) еЫ Рр: ( А шевзазе ( ~гаиш, тт) аггее Егош о ) Ъерп гесе1ме (~гелй, е) Егош о; 1Е агасфер = Иосйед апй тт = ср Фйеп Ьеаш Статйр .= СтптМ 0 (о); И Леер(Слийр) ФЪеп зга$ер .= асИтте епй епй А1КогЫЪтп 10.T Тнк влзтс льоокггнм.
1т1. В"ее (Я) 1в Еа1ве алто Ргее (Яедз ) 1в сгпе. 1.т2. ггеер(А) ати1 А С В 1шр1у Ргеер(В). Ассогс1шн со П1, р доев поз Ьесоше ас~гте ЬеЕоге гесе1ттащ алу ага, алс1 боев Ъесоше асФюе втЬец агав аге гесеЬей Егош ай ргосезвез ш Яедз . Ассоп1шК ~о 02, р шау в1Ш Ьесоше асйм 1Е шоге риаз Ьаче Ьееп гесе1чей $Ьап апу пшшпа1 соБесйоп, оЕ рапса. СЬеп йЪе Ьаз1с а1еопйЪш, же сап порт тейпе а с(еай1ойей ргосевв ог йеайос1г сопйуи М1оп. ЭейшИои 10.13 Ртпсезз р тз а1те гп соп5уигайоп у т~ Йетп Ы а со~4д- игайоп о, геасЬаЫе ~тотп у, Еп шЬьсЬ р Ез асйтте; ртосезз р и ЫеайосйетЕ гу Ы тз по$ аде.
См4дигайоп у тз а Неайосй сопфуита1лоп ту гЬетк аге йатЕ1осйетЕ ргосеззез Фп 'у. айаг з$а$ер Фр Ведзр Стапгр Репер гтее : (асйтте, 01осйаЕ) : айаг : вес оЕ ргосеззез; : вее оЕ ргосевзев; : ве1 оЕ геспев$з : ргео1са1е; шй асйтте; иихф О; (* Неапев1 ппшЬег ') (» В.запей зев р) (р Несейей згапФз в) ай 8; (* Репса гет1иевФв *) (р РгееЬщ сопвтгаыйв р) 10 Япарвйой иаг айие: Ьоо1еап 1шФ 1аЬе; СтНес: мФ АР шВ СтаМр0(а: (ратй,и') Е вепш;р~тсЫ~р); М: (» Ива шаг)шщ 1п асМъе ргосевв») ( айиер Л (валер = асввие ч гтеер(СтНеср)) ) Ьекш а1иер .— — итие; гога11 а Е РетнГ 0 (Д: (гес1, и) Е (вепГ' ~ тси1цр)) ао вегв1 ~ А11ие) ш д епг1 Рр: (* РгоРв8аве гпаг1пп8 1п 6еЕс1 Ргосеввев *) ( Ап (Айваз) шевва8е агтьчев Гговп а ) Ьефп гесегче (АБО) Ггош а; Стйеср .'= СтЯеср 0 (д); Ы поз айиер ап6 Ртевр(СтЯеср) ФЬеп Ьефв айиер .= гтае; Еога11 д Е Репа 0 (<у: (гео, и) 6 (вепв р ~ тсиНдр)) с1о зепи ( А11ие) ш а А1когИьш 10.8 Тне оьОВАь-мАйк!мо Аг С0$птнм ТЬе шаг1огщ а1допйш~ в1ши1аФм а рояв1Ь1е соЫшиабоп оГ тЬе Ьвис а1- ИогМш~ 6ош у', юЬеге 1Ье ргосемея ФЬЮ Ъесоше вские вге $Ьове 1Ьа~ яее айив Фо итие, апй 8;гапХ шмвадев аге ~Ье (АБО) шевелев.
Хп гЬе яипи1аФей со~й1пиав1оп, а ргосем ппшес11аве1у агагйв а11 репс1пщ ге<1иеявв ртЬеп Ы Ъесошея асг1че. Ргосеяз р ехесис1пя М 1в всвое 1п у' ог Ьесошея ас11ие ав а гезий о1 гесеЫищ гЬе шеюадм 1п Фгапзй ш у', Ьепсе 1в арче ш у'. Ргосевв р яе$$ш8 айие Фо й.ие ш асФ1оп Р Ъесошея асИче ш гЬе в1ши1а1ей сопгшиай1оп вв а гезий оГ гесе1чшд а ягнят шеяяаде ФЬЮ тчм ее~а ш гЬе соЖпиабоп, Ъис ФЬ1з а1во 1шрЬез ФЬЮ ~Ье ргосевя 1я а11ке ш ~'. Сопмоиеп11у, а11 ргосеяяев р итПЬ айие = актив ~тЬеп 1Ье шагЫгщ а1~опвЬш Фегш1паФев аге а11че 1п у .
В гешашв го зЬою ФЬЮ, сопкегзе1у, Ы р 1я аде ш у' реп айиер 1в ве1 ~о Ь.ие. 1 еС р Ье а11че ш .у' апй (~~, ..., ~~) а соЫшиайоп 6ош у' 1ЬаФ кеяи1гв ш а соп1щигаМоп б ш ъ Ь1сЬ р 1в асФже. СаП ФЬе веоиепсе оГ сопГщигав1опв 1п 1Ыв всЬеййе ( уа, уг, ..., у~), ~тЬеге Ъ = у' апг1 Ъ = б. %'е вЬож Ьу шйисв1оп оп в 1Ьав И у, и гЬе ЬгвФ сопй8игайоп (ашоющ ув 1Ьгои8Ь у~) ш ~иЬ1сЬ ргосезз а 1я вские, реп айие, 1я веФ го итие с1игш~ шаг Ып8. Саве г = О: Ав а 1в вские ш 'у, асФюп М 1в аррйсаЬ1е, яеФФш8 айиед во Ь ие. ' АррЪайюп: 0еайосМ Ое~есйоп 349 Сззе а > О: Ргосевв д тчм Ыосйй т уо йгоцКЬ у, ~ апй Ъесотев ас~пм т еъей Д. С1езх1у, Д и ФЬе гесе1рФ оГ а (8галй, о,') шезяаце 1Ьаг, шсгеавея Стипл, Фо а соПесйоп С яайвГу1пд В"яе,'(С).
%е яЬаП яЬаж 1ЬаФ Гог еасЬ т б С, т 1з еъепйцаПу 1пс1цйе6 ш СтВес~ ш ФЬе тзг1апд а1Копйш; яе сопзЫег Фюо смея. (1) ТЬе (дгахй, ю ) шевяаде тчм ш Фгапвй ггош т го д т у . 1п гЬ1в сме т Ьвз Ъееп тс1цйес1 1п СтНес, а1геайу, йцпп8 Ыз 1шба11яаМоп 1о Стипл' 0 (т: (8гапй, о' ) Я зепи; ~ теиН„' ). (2) ТЬе (КгаЫ,о,) тезвз8е щм вепФ топе о1$Ье еиепгз ~, ФЬгоц8Ь Л ~. 1п ФЫз сме, (д, ц,) Е Репй, ог (ген ц, ) и ш $гапвй Фо т ш сопбвцгаЫоп у, апй т и ас~гче т опе оГ ~Ье соп68цгайопз уо ФЬго~щЬ у; р.
Ву ик1цсФлоп, айваз„и яе1 Фо й.ие Ьу ~Ье шахЫпж а18опИш~„алй язеп ФЬи Ьаррепв, т вел ал (Аде ) тема 1о д; зйег Ыя гесе1рФ, т е Стйес, Ьо1оз. Н СтВес, соп~а1пз С айег 1шйа1Ьайоп, М, и аррНсаЫе ахки ю11 яе1 айие,1 Фо итие; оФЬега6яе, а1тя, м1П Ье яе1 Фо атис (аФ ФЬе 1аФмс) реп гЬе ( Аде) теяза6е сотр1е1тк С и гесе1чей.
1п рахйсц1вх, а11ое, и веФ Фо итие. П ТЬе 1ептпабоп оГ А1допйш 10.8 1в йпрИсй, Ъцй сал Ье Йе1есФей Ьу арр1у1пв а ФегпшиЖоп Йе$есМоп а3допФЬт (СЬафег 8). реп 1егт1пабоп оГ 1Ье 81оЪа1 таг1оп8 а1допйш и йеФес1ей, ргес1яе1у йояе ргосемея р ай айоа = ~аЬе аге йеасйос1сей ш у'. 10.4.8 Веасйос1с ОеЬесФяоп чп НеяЬ.йс1ей МойеЬ ТЬе шойе1 оГ 1Ье Ьм1с сотрцФабоп цвел т 1Ьи весИоп и 1Ье шов~ депегв1 шойе1 цвей Гог яг~йуЬщ ФЬе Йеайос1с-ЙеФесИоп ргоЫеш, апс1 поФ телу а18опФЬпи ахе 1аюсчп аког йе1ес1ш8 йеасПосй т ФЬ(в шос1е1.
Опе а18ог1Ышх, а1зо Ьмей оп вппц1аФ1пв а сотй1пцаМоп ог 1Ье Ьм1с а1- волйт, ~тм ргорове1 Ъу ВггекшзЫ, Не1агу, влй Каупа1 1ВНВ92). ТЬеп а18опйш сопсе~йга1ев еП сопФго1 сошпшшсаФюп оп ап ешЬкЫей г1п8, спсц1ах1пк а хо1сеп союйазпт8 Фье ве1 оГ ргосемея пох уе$ 1а~оегп 1о Ье а1ье. Кеерпщ аП шЕогшайоп сетйгвНзей ш сЬе 1ойеп Гасйга~ев яепшлаМоп Йе1есЫоп оГ 1Ье таййщ; реп ФЬе ~о1геп Ьаз шас1е опе 6й ~оцг жйЬоцФ а сЬал8е т йе мФ, 1егштайоп и йеФесвей. ТЬе с1еайосй-с1е~ес~юп ргоЫеш и ойеп в~цйей ши$ег шоге геййс1ей азяцшрИопз сопсепшц Йе асйчайоп о1 ргосемев, зПоъчп8 а дарЬ-Йеогейса1 сЬяхас~епзайоп оГ Йеайосйз. Бее, е.8., Кларр'з ахйс1е 1Кпа87] Гог ал о(гегйе~ч оГ яежга1 шойе1з апг1 а18опйшз.
ТЬе тоз$ сошшоп шоде1в 350 10 Зварвйойв аге СЬове ш ~тЫсЬ а ргосем шизй оЬСа1п раМе Егоп1 а11 ргосеввея ш 1йз гециевй зей ш огй1ег Со Ьесоше асй1че (СЬе А1'1Р шой1е1), аги1 СЬозе ш мгЫсЬ а в1пц1е 8тапй виЕБсея (СЬе ОК шой1е1). Н.еяош се й1еасИос1йв: СЬе АЯ0 пюй1е1. А йвйг1Ьийей1 й1айаЪме сопз1яйя оЕ а со11есй1оп оЕ й1ев, сИярегяей1 обжег а мшЬег оЕ я1йез (сошрпйегя). ТЬе ЙайаЬаве шапацешепй зузйеш а11оъя авета Со ассем СЫя й1айа, е1СЬег 1ызй йо геас1 1С, ог Со шосИу СЬе йайа. Ассевв1п8 СЬе йайа осспгя ш а вйгисйпгеб жау Ьу шеапя оЕ й1айаЬме Стапзасййопз, мЫсЬ изиа11у айЫгезя й1айа ай ййегепй я1йея.