Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 100
Текст из файла (страница 100)
1кЬеЗЬег ~Ье гесухез~ мгвз рахйей. Же йейхе ~Ье Го11о~чше ргейсаФез. Вед = В"От = Тор — — Жт = ийе~ ((ТООЬ(р) Л ВОЦ = р) Ч сЬ|13(р, О)) Л То = О Л Вй' = А„Й) ВЩр ВФЯз Л Ргот7ър Я Л ТОр Р Л ГОр Рат р фгв(р, д) Л Рчт = Стятй иИе(р) авйз(р, д) ~отти(р, д) утаи(р, д) Ргосезз р с1еагз ЗЬе тапаЫез Гог жргезс ргосеззше (акоп.
С„) 11 Ы 1з вот, сцггеюс1у ргосеззше а гециезз ваг1 тЬе чапаЫез аге вот, иЫейпей а1геайу. ТЬев, 11'р 1з И1е Ъцт, Ьзз а еещЬЪог д ат1ФЬ а гес1пезФ Гог р (а гооФ $ЬЕФ щааФз 15 ЯтаЫттабоп 474 Со 1ош, ог а сЬ1Ы о1 р ГогюахтНзщ а гес1цезС), ргосевв р шау зСатС Гогжагс1цщ йе гес1цевС (асС1од Р ). тт" р 1в а гооС апт1 Гогюагс1в а гет1иевС, 1С в111 ятзлС 1С (асС1од Ср), адтт тт р тогюатт1я СЬе гет1цевС Со 1Св рагепС апт1 СЬе ратепС ягзлСв 1С, СЬеп р ге1аув СЬе ятвлС (асС1оп В ). СоггесСпевв оГ СЬе а1~огтСЬтп. АХе1т еС а1.
1АКУ901 атриде СЬе соггесС- певз оГ СЬе а1хот1СЬтп Ьу вЬттеощ рторетС1ев о1 ехесиС1опв цзшК ЬеЬа~6ога1 гезяопшх. ТЬе теццевС/тер1у шесЬап1вш епяигез СЬаС а ртосевв сап 1ош а Стее тт1СЬ а та1зе гооС оп1у йл1Се1у оССед, Ьесаизе СЬе поп-ех1зСедС гооС т1оез поС ягалС геоиевСз, апй оп1у йп1Се1у шалу Га1ве ятзлСз ехиС ш1С1в11у.
ТЬеп, по Воок чзх1аЫе сопташз а та1зе гооС тогечет; СЬе ргосевв м6СЬ СЬе вша11евС ча1це от Рьз сопСашша а Ыве тооС доев поС ваСЫу $тее, апт1 ч611 гевеС Воок Со 1Сз о~п 1т1епС1Су. 1С Ео11оав СЬаС ечепСца11у СЬеге зхе по Й1зе гооСз, апс1 а1зо СЬаС е~ептца11у СЬе ртосезз ю1СЬ ЬщЬезС ИедС1Су тт~Ш Ье а гооС, Гог СЬ1я 1з СЬе оп1у мау Со заС1вГу заС ш СЬе аЬвепсе оГ ЫхЬег Воо$ ча1цев. А пот1е СЬаС т1оез поС Ье1ощ Со СЬе Сгее тооСет1 аС СЬе ЫЕЬевС дот1е, ЬиС Йоез Ьаъе а пе4ЬЬог ш СЬаС Стее, Йоез поС заС1зту СЬе тат ртетт1саСе апт1 жШ аССешрС Со 1ош, ч Ы1е пот1ез ш СЬе Сгее печет 1еаче 1С.
Ав а11 1псотгесС теоцезтз еъепСиа11у С11яарреаг 6ош СЬе Стее, ат1т11С1оп оГ пот1ез Со СЬе Стее сопС1пиез ипС11 СЬе Сгее зрапз СЬе юЬо1е деЬчог1с. 15.3 МеСЬот1о1отту Гот ЯСаЬ11иаС1оп ТЬе тес1ц1тешепт оГ зСаЬШваС1оп сошр1ЬтаСев СЬе Йев1яп оГ сЪСт1Ьитет1 а1- яог1СЬтпв сопя1т1етаЫу, ЬцС воше ~епега1 рагат11рпв сап Ье цяет1. 1д БцЬ- зесС1оп 15.3.1 же т11всцвв Ьою зСаЫ1ишх сошриСаС1опв свл Ье "вет1цепС1а11у сошрозет1", емп СЬоифь СЬе вСаЫ11яаС1оп от СЬе ЙхзС сатшоС Ье т1еСесСет1.
1д ЯцЬзесС1од 15.3.2 1С 1в т1ешопвСгаСет1 йаС зСаЫ11ипх а1хот1СЬтпз ех вС аког а11 ргоЫешя СЬаС сап Ье ехргеввес1 ав йпт1ш~ а "ш1шша1 раСЬ" ш а зшСаЫу сЬовеп п1еавиге. 1 Б.3. 1 РгоФосо1 Сотироззз1оп 1п тпапу сазез зл а1КопСЬтп Гог асЫегыщ а Йез1гет1 рояСсоптИ1оп ~ 1я сотпровет1 оГ Сто вСаяез; СЬе йгзС асЫемз а ровСсопт11С1од 8, тчЫ1е СЬе весопт1 Ьаз ртесопт11С1оп В злт1 асЫечез ф. Ехал1р1ез оГ сошрозет1 а1яог1СЬтпв аге пшпегоив апт1 шс1ит1е зоше а1яопСЬхпз СгеаСет1 ш СЫз Ьоо1с. (1) Воттй'пу, МовС тоиС1пя шеСЬодз зСзхС Ьу сошрцСшя гоцтшх СаЫез ш ергу дот1е, айег чЬ1сЬ рас1теСв ате 1огтгагт1ет1 ива СЬеве СаЫез.
3 МеСЬойо1оду Уот йаЬйзайоо 475 (2) Е1есЬоп. ТЬе геяяоп Гог е1есСшд а 1еайег ш а пеЬчог1т 1в ияпа11у СЬе йез1ге Со зпЬзес1пепС1у ехесиСе а сепСга11кей а18ог1СЬтп ш СЬе пеСюог1с. (3) Оеайас1с йеСесттоп. ТЬе фоЬа1-шаг1бпд я1дог1СЬтп Гог йеай1ос1с беСесС1оп (А18ог1С1шь 10.8) 6гвС сошрпСез а япарвЬоС оГ СЬе Ьм1с сошриСаС1оп апй зпЬзеоиепС1у апа1узез СЬе соп68шаС1оп оЬСа1пей.
(4) Стирй со1отгпд. А ви-со1оппц оГ а р1апат дтарЬ сап Ье сошриСей Ьу Йийщ а вшСаЫе асусЬс ог1епСаС1оп оГ СЬе 8гарЬ (сГ. Эебп1С1оп 5.12), аГСег ~чЫсЬ СЬе пойев сап Ье со1огей ш ял огйег сопз1яСепС ~ч1СЬ СЫз ог1епСаС1оп. ТЬе соИаСегаз-сошров1Сюи гп1е. ТЬеве оЬзегчаС1оля ~чете Гогша11зей Ьу Негшап 1Нег91] ш СЬе йебшС1оп оГ ап а1вот1СЬтт~-сошроя1С1оп орегаСог. Аз- зпше а рго8гатп 1з дчеп м а со11есС1оп оГ чвх1аЫез ялй аСош1с зСерв оп СЬове чапаЫев.
ЭейшС1од 15.15 ГзФ 5~ апй Яз Ье ртодтатти зисй йаФ по иатъаЬ1е йат и 'штеп Ьр Яз оссптз т Я~. ТЬе соПатета1 сотрозМоп о~8~ апа Яз, аепоСеа Я~ Е Яз, м йе ртодтатп йаг Ьаз ай йе иат7аЬ1ез агЫ а11 йе асСГопз о~ Ьой 5~ апа 3~. 1п СЫз йейхпС1оп, Я~ 1з СЬе рго8гаш нпр1ешепС1п8 СЬе 6гзС зСаде оГ СЬе сошриСаС1оп, злй Яз СЬе рго8гаш Гог СЬе зесопй зСа8е. ТЬе геяСг1сС1оп оп, Я~ апй Яз шеапз СЬаС по гееп1Ся оГ Яз вхе пвей Ьу Ят, СЬаС 1в, СЬеге 1з по "ГеейЬас)тз Гхош Яз Со Ят, 'СЬе чапаЫез оГ Я~ осси м сопяСапСв ш Яз.
ТЬе паСига1 чту Со 8шйе СЬе сопСго1 зтчССсЬ ЬеСюееп ~лчо с1ззв1са1 й1яСт1ЬпСей а1дог1СЬшя 1в Ьу шеапв оГ а СеплшаС1оп-йеСесС1оп ргоСосо1. ЯВЬ а ргоСосо1 (вее СЬарСег 8) 1в варев(шровей оп СЬе 6гвС рЬме, апй жЬеп 1С 1пй1саСев СЬаС СЬе 6твС зСаве 1з сошр1еСей (1.е., д Ьм Ьеен, евСаЬИвЬей), СЬе ргосеззев зСатС ехесиС1п8 СЬе зесопй зСаде. А з1шйаг шеСЬой саппоС Ъе цвей ч Ьеп СЬе йезщж1 а1дог1СЬш шивС Ье вСаЬЙв1п8, Ъесацзе 1С 1з поС розз1Ые Со оЪзетче (ш а яСаЪйгищ шаппег) СЬе СетпппаС1оп оГ СЬе 6тзС зСаде. Рот~лшаСе1у, а з1ш11ат сошров1С1оп оГ зСаЪ|11вшд а1дог1СЬшя 1з шисЬ ишр1ег: ехеспС1оп оГ СЬе зесопй вСаде шау Ье8ш аС ялу СЬпе, ечеп счЬеп СЬе 6гзС зСа8е 1з поС уеС сошр1еСе.
П а с1мв1са1 а18ог1СЬш (Гог СЬе зесопй зСаде) 1в зСагСей ЪеГоге 1Сз ртесопйГС1оп Ьм Ьееп евСаЪЬзЬей, 1С шау теасЬ а Гаи1су вСаве Ггош юЫсЬ 1С йоез поС тесовых; СЫз песезз1СаСез йеСесС1п8 СЬе СетпыпаС1оп оГ СЬе Ят|С зСаве. Ноюеъет, 1Г СЬе зесопб зСаде Ся зСаЫ1121л~, 1С ечепСиаПу евСаЬЬзЬев 1Сз розСсопй1С1оп ш зр1Се оГ епопеопз зСерв шабе ЬеГоге 1Св ргесопбГС1оп Ьм геасЬес1 СЬе чз1це йъе. 47Б 15 Я$аЫиаИоп Мою 1ес д Ъе а ргейсаге очег сЬе чаг1аЫея оГ Я», апс1 у» а ргейса~е обжег ~Ье чаг1аЫея оГ Яз.
1п йе сошрозйе а1вопФЬш, д в~Ш Ъе езсаЪЫвЬе$ Ъу Я» апс1 зиЪвеаиеп$1у у» и~Ш Ъе ез$аЪЫзЬей Ъу Я», .Ью 1есЬшса1 сопййопв шиз~ Ъе 1серФ ш шшй. Р1гз~, гЬе ехесийюп оГ сЬе сошров0оп шив1 Ъе Гай' ю.г.1. Ъо1Ь ргоКгашз; ~ЬГв ехс1я1ез ехеси~1опв ш жЬГсЬ а11 в~зря оссиг ш опе оГ гЬе всадя, ргеъеп$1гцг рговгевв ш ~Ье о~Ьег зуаве. Вейп1Моп 15.16 Ап ехеситзоп о~ Я»ЕЯз и ~агт ш.тЛ. Я; ~~ й соп3атз гтфпл$е1у тапу замерз оГ Я;, от соп1азпз ап гтфпйе зим Ы и»ЬгсЬ по з1ер о~ Я, и епаб1еЫ.
БесоЫ, же мяише ~Ьаг. ~Ье чаг1аЫея гезу Ъу Яз аге по~ сЬап»гес1 Ъу Я, реп сомйюп д Ьзз Ъееп ев1аЪЫзЬег1. ТЫз ехс1ийез зоше (Гаг-ГессЬе1) з1Сиай1опз и~Ьеге Я~ ргечеЫв рговгезв ш Яз Ъу ргезепФищ тчйЬ 1г, Ййегегй ве~сшвя оГ ФЬе чаг1аЫев, аП за$1вГуищ д. ТЬеогет 15.17 1~ йе ~оПоютд гноит сопййапз ЬоЫ: (1) ртодтат Я» ззабь|дзез $о д; (2) ртодтатп Яв з$аЫиез 1о ф г~д Ьо1й; (3) рюутат Я» аоез поГ сЬапде иатчаб1ез яаа бу Ят опсе д Ьо1й; апа (4) аП ехесиИ6пз ате ~акт и».тЛ.
бой Я» ать Яз, йеп Я»ЕЯ2 йаЫиез 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ям го д, Ы Го11ояз гЬа1 д 1з ез~аЪЫзЬей, 1.е., йа~ Мже 1в ап ~ висЬ ~Ьа$ д( уз) 1з багие Гог ергу» > з. ЪЧе паха сопзИег ФЬе вийх Е, оГ Е вФагс1п~ ш у;, 1.е., 1Ье яеоиепсе (»", "»',+~, ...). Гп йм вий1х д 1з багие Гог ергу соп6рпайоп, ж1исЬ ипрЫея (Ъу ФЬе $1игс1 авзишрйоп ш сЬе ~Ьеогеш) йа$ по чаг1аЫе гезу Ъу Яз 1в сЬапрй Ъу Я». Непсе, йе зщиепсе Я~~, .»~~+»„...) Гв ап ехесиМоп оГ Я2 сЬа~, 1Г йш1е, ешГв ш а ~еппша1 сопНвига11оп оГ Яз. Весаизе Яз вСаЪ1Ызев го 6 1Г д Ьо1с1з, Ы Гойлкз ФЬЮ ф 1з езсаЪЫзЬес1 аЫ гешашз багие. С3 с. Я Метйойо1оду ~от ЯИЙЙгайоп 1Е тЬе втаЪ111зат1оп оЕ Ют апт1 Яз 1я ргочет1 Ьу ргоМй~щ ат1е~иате потш 6шст1опз Ет апт1 ~з (в~ЙЬ гапке Ют апс1 И'з гезрес$п~е1у), а погш 6шст1оп Еот Я,ЯЯ2 сап Ъе рчеп Х)е6пе тЬе 6итстюп Ду) = (Я'у<ц), Я'у~~>)).
%Ьеп ечегУ втеР оЕ Ют Йесгезвез,Ет, апт1 а зтеР оЕ Я~ Йесгеавев ~з апс1 1еачев Л ипсЬвлдей, У т1есгезвев ш тЬе 1ех1со5гарЫс огт1ег иИЬ ергу втер оЕ Ят 1В Яз. Нслтегег, 1Е опе оЕ тЬе рто5татпв евтаЪЬзЬез 1тз розтсопсИ1оп ж1тЬ- оит тегшшатш5 (висЬ м, е.5., йе гшд ог1ептат1оп ргодгапь), тЬе Еа1тпезв сопйт1оп 1в вФШ пеейес1 то рьвтаптее рторевз ш ЪотЬ рго5ташв; вее 1тта86~ 1ог а йвсизз1оп оЕ Еа1тпевв 1звиев. Арр11саИоп: Б1х-со1огша оЕ р1апаг дгарЬз. Ав ап аррЬсаИоп оЕ тЬе ргшс1р1е оЕ ргоФосо1 сошров1Ф1оп чм ргевепС ап афог1тЪтп ФЬат вФаЪЙзея Фо а вж-со1оппд оЕ а р1влат рарЬ. Аззише ргосевв р Ьзз а чапаЬ1е с, яИЬ ~а1иев ш (1, 2, 3, 4, 5, 6); тЬе 5гарЬ 1з впт-со1огей 1Е пе15ЬЪогв ате со1огес1 ййегепт1у, 1.е., 1Е ФЬе ргейсаФе Ф, т1еЕ1иес1 Ъу ф вв (Чущ ~ Е: сз т- сз), 1з тгие.
ТЬе т1ече1оршепт оЕ тЬе а1догМшх с1ове1у Ео11оав ФЬе ргооЕ ФЬат зисЬ а со1огит5 ех'втв, ~ЫсЬ 1з Ъмей оп ФЬе ЕоБожш5 Еаст. Уаст 15.18 А р!апат у арф Ьаз ат 1аит опе поде тотй т1едтее ~ее от 1езз. Ьешша 15.19 А р1апат дтарб. Лаз ап асдсйс опепта1чоп тп, иЫсб, еоету пойе йаз ап оитйедтее оЕ а$ тпозт 5эе.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
