Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 39
Текст из файла (страница 39)
Аявцгпе 1Ьа1 Х Ьая гЬе ргореггу 1Ьаг ап 1пйпшгп а1маув ех1я1в; гЬе 1пйпшт 1я цп1оие Еп йы саве б ~пШаи апз Уве а/ тчаие Л/уапйтав аиг1 гя депогес1 а Л 6. Мои л 1я а Ыиагу орегагог апс1 ая Ы 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ешепг оГ а раг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оог11Ьпи ТЬеогегп 6.11 Еиету 1ИГ а1дапйт ы а шаие а/уопгИ,т. Ртао~.
1ег /' Ье аи 1ХР а1яогйЬти апс1 аяяшие гЬеге 1я а согири1аг1ои С оГ Х ъ"1гЬ 1иМа1 сопй игаг1оп у, 1и ~чЫсЬ р шт7гев гЬе ча1ие .7 го оиГ„апс1 гЫв ъг1ге ечег1г 1я пот, ргесег1ес1 Ьу апу ечеи~ 1и д. Сопя1с1ег ап 1пЖа1 соийаигаФ1оп ~', жЬ1сЬ 1в ес1иа1 1о .г ехсер1 ГЬат ц Ьаз а ЖКегеп~ 1ири1 /', сЬовеп япсЬ гЬаг,/' ~,', Я1исе ио ияе оГ а'я 1ирпг, саива11у ргесе6ея р'в ~чг1ге ечеиг ш С, а11 ече~пв оГ С гЬа~ ртесег1е ~Ь1я ът1ге ечепг аге арр11саЬ1е 1и гЬе вате огдег в1аг11и~ батоги г'. 1и 1Ье геяп1г1иК соп1ри1аг1оп р аггея 1Ье еттопеопя геви11,7 аз 1и С.
П ТЬеогегп 6.12 Еиету шале аЦотч/Птп сап ае ивеН 8а сотириге ап гпйтит. Ртоа~. Ье~ а ъаче а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я жг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юауя сотпрпФеб ая тЬе 1пйпппи оГ гтчо а1геас1у ех1вг1п~ ча1ыея,,У ( и Ьо1г1я Гог а11 ча1ыея г1ш1п~ гЬе ~чаче.
ТЬия. 1Г И 1з а Несйе ечеп$ ш р, гЬе ча1ие и1~/ яаг1яйев 1 < и1~1, аис1, Ьесаыяе И 1з ргесес1ед Ьу а~ 136 о 'ттаие апьь Ттаиетзаь Льдогьйттьз ТЬе сопя~гпсгед ?ХР а1дог1гЬт яЬагев а11 ргорегйея МйЬ А ехсерт, гЬе Ъ1~ сотр1ех?гу, Ьесаияе ап е1егпепв оГ Х ьв аррепйес? ~о еасЬ тевяаяе о1 А. ТЬе пот1оп оь ап 1ийьшьпь 1ььпсььоп тау веет гайег аЬяйгас1, Ьп~ 1п 1ас1 тпапу .'писс1опя сап Ье ехргеязес1 аы 1пйша, ав зЬоюп 1п 1Те191Ь, ТЬеогет 4.1.1.2]. гас1 6.13 (?пйпшгп 1Ьеогетп) Х~* ьз а Ьгпату орегайог оп а зе1 Х зисьь Йа~ (1) * ьз сотпьпиьа~гие, ь.е..
и*6 = бч а, (2) ° ьз аззосьа1ьие, ь.е., (а*Ь) *с = а~ (о, с), апЫ (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пФегвес11оп ог ььшоп оь" яе'.в. СогоНагу 6.14 Л, ~', т1п, тах, цсй, 1сгп, й, ати1 0 от' иа1иез 1оса' 1о йе ртосеззез сап 6е соттьри1ей ьп а зьпд1е иьаие.
ТЬе сотрьь1аь1оп о1 орега1огв 1Ьа1 аге соттььта1те апй аяяос1а1ите, Ьпт, пог Ыетро~епь, 1я сопяЫегей 1и ЯпЬвесЫоп 6.5,2. 6.2 А Со11есИоп оГ Жакте А1догйЬгпя А со11есйоп о? ъа~е аш1 ггачегва1 а1дог1"Ьтв М1? Ье ргевен1еь1 1и 1Ье пех~ тЬгее весй?опв. ?и а11 савев 1Ье а1дог1йип 1ех1 1я ръеи ьог ФЬе ргосевя р. 6.2.1 ТЬе Вьпд А1дот"ЮЛт ?и тЫя яььЬвесйоп а паче а?догЖпп Гог а г1пд пей~чог?г тч11? Ье язеп. ТЬе вате а1~ог1тЬьп сап Ье пзес? аког Напп11оп?ап пеЬчог?ся ?п тьтЫсЬ опе йхей Нат?11ошап сус1е ьз епсос?ес1 т ~Ье ргосезвез. Аявпше 1Ьа~ Гог еасЬ ргосевз р а с?ес11са1ей иещЬЬог №аг„?в Егчеп япсЬ ~ЬаС а11 сЬаппе1в ве1ес1ес? 1п ФЫя ~чау Готт а Напй1Фошап сус1е. ТЬе а1~ог?тЬт 1я сеп1га?1яей; 1Ье 1шИатог яеЫз а теяваде (Фо?с) (са1?еь? ФЬе ьойеп) а?опК ФЬе сус1е, еасЬ ргосевя развея Й оп, апь? реп Й гетигиз Фо :Ье 1и16а1ог г?ье 1пйа~ог бестаев; яее А1~ог11Ьш 6.2. !еавс опе е~епг 1п еасЬ ргосевв д, ьтЫ~ь < ь' аког а11 д.
ТЬ?з ппр1ьея 1 = юь~ь. П 6.- .Л Со!1есйол о~ И~аис А1доттйтпя 187 рог гЬе 1пЖатог: Ьедт зепс) (Го)с) Го Мсхгр; гесе1че (йо1с); Нес~де епй сог поп-1п111аГогя: Ьефп гесегче (1о1с); зепи ( го1с) го №-"гр епд А1догйЬгп 8.2 Тнк ыхс л~сомтнм. ТЬеогеги 6.15 ГЬе ппд а(дотлПтп (А1дот"байта 6.2) сз а ъазв п!дат~,'Ьта Ргоо~ Са11 Ье 1п16асог ро. Ая еасЬ ргосезя яепс1я аг пгоя+ опе гпеззаде гЬе а18огйЬт ехсЬапаез аГ гпояГ К гпеязадея а1ГоцеГЬег.
Ж1гЬ1п а Йп1ге пшпЬег оЕ згерз гЬе а1дог1гЬш геасЬея а геггЫпа1 сопй8— пгагюп. 1п гЫя сопй~ига~юп ро Ьм а1геайу реп~ ~Ье го)сеп, 1.е., Ьа.=. развей ~Ье зепи ягасешепг 1п йя ргодгаш. ЕиггЬегшоге, по (го1с) шезвз~е 1я ш ггапяй ш апу сЬаппе1, огЬегМяе гс сои16 Ье гесеиеИ апй гЬе сопйрггаМоп ъои1с1 пос Ье геггЫпа1. А1яо по ргосеяя о1Ьег гЬеп рц "Ьо1с(я" гЬе го1сеп (1.е., Ьм гесе1чес1, Ьпя пот зепи (го1с)), огЬегМяе:Ыз ргосеяя соп)с1 вепре (со1с) апс1 ГЬе сопй игас1оп 1я пог Гегш1па1. Сопс1ийп8', (1) ро Ьм яспс 1Ье !о1сеп, (2) Еог еасЬ р ФЬаг Ьая зепи йЬе йо1сеп, Юетй Ьм гесе1чей ~Ье со1сеп, апд (3) Еог еасЬ р у~ ро гЬаг Ьм гесе1чег1 гЬе ю)сеп, р Ьм зепс ~Ье ~о)реп.
ггош ~Ь1з апд гЬе ргореггу оЕ Рехг 1г Ео11отчз ФЬЮ еасЬ ргосем Ьм зепг апс1 гесе1чес1 1Ье ~оКеп. Ая ра Ьаз гесе1чей гЬе 1о1сеп апд ФЬе сопй8игаг1оп 1з йеггп1па1, ро Ьаз ехеспгей 1Ье НесЫе ясаСегпепС. ТЬе гесе1рй апс1 вепйпд оЕ (го1с) Ъу еасЬ ргосеяя р ~ ро ргесес1ея гЬе гесе1р1 Ьу рс, Ьепсе 1Ье Йерепс1епсе сопЫюп 1я зайзйес1. 6.2.2 ТЬе Тгее А1дот'тПттт. ?и ФЬ1я зиЬзесг1оп а чтаче а1догйЬгп 1ог а аггее пегчтог1с ж11 Ье а1чеп.
ТЬе зыпе а1~ог1гЬш сял Ье изей п1 ал агЬ1Фгагу пегиог1с 1Е а зрапп1пд ггее оЕ $Ье пе~чтог1с 1з ачы1аЫе. 1~ Ев взявшей 1Ьа~ а11 1еачез оЕ йЬе аггее 1пЖайе ~Ье а1~огМпп. ЕасЬ ргосеяя зепй ехас11у опе шеззаде 1п ~Ье а1~огЫЬш. 1Е а ргосем Ьм гесе1чей а шеяяа8е йа еасЬ оЕ 1гз 1пс1с)епс сЬаппе)з ехсер1 опе (1Ыя сопдЖоп 1я шЖа11у багие Еог 1еачев), йе ргосем яепс(я а шеява8е ч1а ~Ье гешаш1пд сЬалие1. 1Е а ргосевз Ьм гесегчед а шевза~е ч1а аП оЕ 1гя 1пс1с1епг сЬыше1я й с1ес1г1ея; яее А18ог1йпа 6.3. То ргоче ~Ьа1 тЫя а18ог1йип 1я а чаче а1~ог1ФЬш, а Ее~ч погаМопз аге ш~гойисей. 1е~ ~р, Ье 1Ье ечепг юЬеге р зепи а шеззаде ~о а, влг1 д„ йе ечеп1 тчЬеге ц гесе(чея а шеяяаае Егош р.
Тр, с(епо1ея ~Ье яиЬяе~ оЕ 6 Таие вп4 Тгаиетвгй А1дотсНипз чаг тссд[я[ АКОГ еасЬ о Е ЮйцЬ„: Ъ001еап 1шФ ~й.''ве (" тгс„[д[ 1я Фгие 1Г р Ьа гесе1чМ а палева;~~е Ьнп О ') Ъес1п ъ Ы1е -~[д: тес, 'о1 1в 1а1яе) > 1 ~1о Ь~а'.и: лче ( Фок,' 1гоп~ ~: теср[с~ .— — г: ие ео3; (':~ою ФЬеге 1в оп~ уо к1ФЬ гася[и ~[ 1в 1а1ве ~) яепй (Фо'-:) го до ыФЬ тес„[до[ ь Ыве .; х десерт» (Фо1с) Ггогп до, тес [Оо[.= й'ие; Йесб!е ,'" 1п1слп оФЬе" ргосеввев оГ йес1яоп: Гог.~11 с б Уг;д6~, с,' др с1о я пй (Фон) го а ") епс1 А1дог1ФЬгп 8.3 ТНК та',К Л~ООжтНМ. ФЬс ргосеяяез ФЬаФ аге геасЬаЬ1е агою р МФЬоиФ сгояв1пе ФЬе ей~е рд (ФЬе ргосеяяея "оп р'з яЫе о1 ФЬе ед е"); яее Г[впге бА.
ТЬе соппесФ1ч1Фу оГ ФЬе пеФ~чог1с 1гпр11ея (яее Р1апге 6.4) апс1 Р = Фр) 0 Д Т,р. те Феадй геме~дьр~~д1 ТЬе Гога11 вФаФегпепФ ъ1ФЬ1п согпгпепФ я1р~я 1п А1цог1ФЬтп 6.3 ж11 Ье сБясцвяед аФ ФЬе еп4 оГ ФЪ1в виЪвесФ1оп; ФЬе пехФ ФЬеогегп 1в аЪопФ ФЬе а1дог1ФЬгп арагФ Фгогп Ф1ия яФаФегпепФ. ТЬеогегп 6.18 Тйе Фтее а1дот7Пт ~А1дот1йт б.Ю~ гз а шаве а1уотдб~тп. Ртов. Ая еасЬ ргосевя вепс1я аФ пюяФ опе пгевваде ФЬе а1~ог1ФЬгп свез аФ гпозФ % гпеяяа~ез а1ФоееФЬег.
ТЬ[з 1гпр11ез ФЬаФ ФЬе а1цогМип геасЬез а Фепи[па1 сопй~пгаФ1оп у айег а 6п1Фе пшпЬег оГ аФера; 1Ф тч111 Ье яЬожп ФЬаФ ш у вФ 1евяФ опе ргосевя Ьав ехеспФей а ЙесЫе ечепФ. 1.еФ Г Ье ФЬе пшпЬег оГ тес Ь1Фз дд1ФЬ ча1ие Га1зе 1п у апд 1еФ К Ье ФЬе пшпЪег о1 ргосеввев ФЬаФ Ьаче а1геайу яепФ а гпезваде 1п у. Ав ФЬеге аге по пмявацев 1п Фгаыя1Ф 1п у (оФЬегччве у тчои1с1 поФ Ье Фегпйпа1), Г = (2М вЂ” 2) — К; ФЬе ФоФа1 пшпЬег оГ тес Ь1Фз 1з 2Ау — 2, апс1 К оГ ФЬезе аге Фгие. Аввшпе ФЬаФ ио ргосезз Ьав йесЫег1 1и у. ТЬе Аг — К ргосевзев ФЬаФ Ьаче поФ уеФ вепФ а пмгвще 1п у Ьаче аФ 1еввФ Фтчо Га[яе тес Ь1Фя еасЬ; оФЬепд1яе ФЬеу сои1й яепй а гпевяаае, сопФгайсФ1пд ФЬаФ у 1я Фепшпа1. ТЬе К ргосезяея ФЬаФ Ьаче зепФ а шевяаее ш у Ьаче аФ 1еаяФ опе Ияе тес Ь1Ф еасЬ; оФЬегчт1яе ФЬеу сои1с1 десне, сопФгасЫсФ1пд ФЬаФ у 1з Фегпппа1. Яо Р > 2(Ау — К)+ К, А СоИесйап о~ И'аче А1дотчйтз 169 Р9 ЧР Весошроз10оп о1 Т ВесотровЖоп ог Т„ Р1Киге 6.4 Тнк яцвткквя Т„„.