Introduction to Distributed Algorithms. Gerard Tel (2nd edition) (811419), страница 4
Текст из файла (страница 4)
Ргосеязея ~Ьа~ ехесп1е оп ~Ье вате ргосевзог Ьаче ассезя ~о ~Ье вате рЬуя1са1 тетогу, Ьепсе Й 1в шой па1пга1 1о изе 1Ыя гпетпогу 1ог соттпп1саИоп. Опе ргосеяя аггея 1п а сег1а1п тетогу 1оса1юп, апй апо1Ьег ргосеяя геайя гогот Ййя 1осаг1оп. ТЫз тойе1 оГ сопситтеп1 ртосеявея счая пяей Ъу 0ц1гя1га 11)Ц68) злй О~лс1й апй Спея [ОС76). РгоЪ1етз 1Ьаг, Ьаче Ъееп сопв1йегей ш ~Ыв сотйех~ шс1ийе ФЬе Го11оюшд.
(1) А10ттдсйр о~ жетону орета1готи. 1Ф 1я ангес пеп~1у мяптей 1ЬаФ геайшд апй югй1п8 оп а я1п81е тчогй оГ тетогу аге а1от1с, 1.е., ~Ье геай ог атее ехеси~ей Ъу оге ргосезз 1я сотр1еФей ЪеГоте апо1Ьег геай ог тчг1~е орегаИоп Ъерпя. 1Г з~гисгпгея 1агдег ~Ьап а я1п81е чогй аге йо Ъе прйЫей, 1Ье орегаМопя тпяФ Ъе саге6Й1у яупсЬгоп1яей 1о ачоЬ1 1Ье геайш8 оГ а рагйа11у ирйМей я~гисгиге. ТЫз сзл Ъе йопе, Гог ехатр1е, Ъу 1тр1етепйп8 тийьа1 ехсйи~оп Щ68~ оп 1Ье я~гпс1иге: тчЫ1е опе ргосевз Ьм ассезз ~о сЬе йгпс~ше, по озЬег ргосем сап айаг~ геай1пд ог ътЖп8. ТЬе 1шр1епжйа11оп оГ ппйиа1 ехс1пз1оп пз1п8 вЬагей чаг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ар, Ъи~ Ъу саге6т1 с|ея|дп оГ йе ген| апй '"й е а|цог|йтя, а~от(сну сап Ъе епяигес1. Рог ап очегч(е и о1 а18ог|йтя 1ог май-аггее а~от|с яЬагег| чаг1аЪ|ея, яее К(гоив(в апс| КгапаЫя 1КК89).
(2) ТЬе ргойссет-сопяитпет рто Ыет. Т~чо ргосезяез, опе оЕ ~ч|исЬ аггея |п а яЬагег| ЪиЯег ап6 йе ойег оГ жЫсЬ геайя гогот й|я ЪиЯег, тий Ъе соогйпагед ~о ргечеп1 ~Ье багз~ ргосеяя ггот ягг10пв реп 1Ье ЪиЯег 1я 6Й апс| 1Ье яесопй ргосеяя ггот геайп8 иЬеп ~Ье ЪиЯег |я етргу. ТЬе ргос1исег-сопвитег ргоЫегп аг|яез ъ"Ьеп 1Ье яо1и11оп 1о Соптчау'я сопчегя|оп ргоЫет |в ъог1сес| оиг; р, ргог|исев гЬе 1п$егтесПаге втгеат оГ сЬагасгегя, алс1 р~ сопяитев ФЬет. (3) багдаде со11есйоп. Ап арр11сайоп йаг, |я рго8таттей ивш8 с1упаппс дага вггис1игев гпау ргойисе ипассевя|Ъ|е тетогу сеПз, геГеггей го ая датоиде.
Гогтег1у, ап арр11саг1оп Ьаг| 1о Ъе 1п1еггиргес| реп йе тепюгу вув1ет гол оиг оГ аггее врасе, 1п огс1ег М) а11очк а ярес|а1 рго8гат са|1ей гЬе дат0аде со|1ес1от 1о |с|епг|гу апс| гес1а|т |пассеяя|Ые тетпогу. Оц1св~га ег а1. 11И.М+78) ргоровей ап оп-йе-~|у 8агЪа8е соПесгог, ~чЫсЬ соиЫ гип аз а верага$е ргосеяз сопсштепйу МФЬ ~Ье арр11сайоп. 1пйг(сне соорегаг|оп ЪеЬчееп 1Ье арр11сайюп апг| ФЬе соПесйог |в геои|гег|, Ъесаияе 1Ье аррйсайоп тау тосИу гЬе рошСег в1гис1иге ш ГЬе тетогу Мп1е 1Ье соПес1ог |я г|еснИп8 щЬ|сЬ сеПв аге шассевв1Ые.
ТЬе а18ог|гЬхп тив~ Ъе сагеМ1у апа1увед $о яЬож ~Ьа1 ~Ье тос|16сайопв йо по~ саиве ассезз(Ъ|е сеПз 1о Ъе еггопеоив1у гес1а|тег| Ъч гЬе тига1ог. Ап а18ог1ГЬт гог оп-ФЬе-йу вагЪа8е соПесг1оп ж1~Ь а в|тр1ег сопесглевя ргооГ жвя ргорояес1 Ъу Веп-Ап [ВА84). ТЬе во1иМопя со 1Ье ргоЫетя 11в~ес1 Ьеге йетопв~га1е 1Ьаг, чегу г|1Я|- си1с ргоЪ|етя оГ ргосевя шФегасИоп сап Ъе зо|чег| 1ог ргосеязев 1Ьаг соттип|са1е ч|а вЬагес1 тетогу.
Нотчечег, гЬе зо1ибопз аге ойеи ехФгете1у ворЫяг|са~ег| апс| вотег|тез а чегу яиЪс1е шгег1еачшд оГ вечеря оГ с||ЯегепФ ргосеявев 1п1гог|исез еггопеоив гезий Гог яо1иФюпя ~Ьа~ веет соггес~ аг, йгвг, (апг| весопсП) 81апсе. ТЬеге1оге, орегаИпд зуя~етз апд рго8гатппп8 1ап8иа8ев оЯег рг1т1Мчея Гог а пюге вФгисФигей ог8ашга$юп оГ 1Ье 1п1егргосеяя соттип|сайоп.
(1) БетарЬотея. А яетарЬоге (Щ68] 1я а поп-пе8ай1че (1пФе8ег) чаг1аЪ|е жЬояе ча1ие сап Ъе геаг| апй тчгМеп 1п опе а1от1с орегаМоп. А ч' 1.1 ИиК м а 0и1гйиКей $узсета? (2) (3) (4) орега$!оп !исгетеп!я йя ча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 ехесисе сЬе тес!и!тес! Р апс! 'ч орегаИопв. Мопйотя. А топ!Фог !Ноа74~ сопя!яй оГ а с!ага вйгис1иге апс! а со1- 1есИоп оГ ргосес1игея сЬас сап Ъе ехесисес! оп с1ия с!ага Ьу са11!п~ ргосезяез !и а ппйиа11у ехс1из!че тчау. Весаияе 1Ье с1аса свл Ье вссеяяес! яо1е1у ч!а йе ргосес1игея с1ес1атес! !и сЬе топ!сок, согтесс иве ог сЬе с1аса !я епяигес! жЬеп сЬе тош~ог !я с1ес1агей соггесс1у.
ТЬе тошФог сЬия ргечепФв ипгевФт!с1ес! ассеяя 1о ФЬе с!аса апс1 яупсЬтои!зев сЬе ассевя Ьу с1!Нетепла ргосеввея. Разрез. А р!ре [Вои83~ !в а тесЬап!яш сЬа~ точея а с!ага яФгеат Ггот опе ргосеы 1о апо$Ьег апс! яупсЬгоп!гев ФЬе Ьчо сотшип!са$ш~ ргосеяяея; !с !в а рте-ргоататшес! во1ик!оп со сЬе ргос1исег-сопяитег ргоЫеш. ТЬе р1ре !з а Ьм!с сотшип!салоп тесЬап!яш ш ~Ье Шч!х орегасшд вузсет. П сЬе ргоцтат р1 !тр1етеп$я ргосеяз р~ оГ Сопюау'я сопчегз!оп ркоЫеш апс! р2 !шр1ешеп~з р~, ФЬе Увпх сошшапс1 р1 1 р2 сацз кЬе йщо ргодгашз апс! соппес1в ФЬеш Ьу а р!ре.
ТЬе ои1риФ оГ р1 !в ЪиЕегес1 апс! Ъесотпез СЬе !прис, оГ р2; р1 !в виврепс1ес! реп ФЬе Ьийег !я 6й, апс! р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ече1орес! жИЬ рЬув!са11у йзсг!Ьикес! аррйсас!опя ш ш!пс1.
.~ АгеЬттеетите апа' Латтдиадея ТЬе 6зпсСюпа11Су оГ еасЬ 1ауег шияС Ъе ипр1етпепСей Ьу а й?зСт?ЬиСей а~от?СЬш, зисЬ сЬас сЬс а18ог?СЬтп ?ог 1ауег г яо1чеь а 'ргоЫст" йейпеб Ьу СЬе г/(с+ 1) 1пСег?асе, ипйет СЬе "аззитпрС1опз" йейпей 1п сЬе (ь — 1)/т 1пСег1асе. Рот ехатпр1е, СЬе (т' — 1)/г 1псет'асе тпау ярес1?у СЬаС жезяадея ате СтапзрогСей 1готп пойе р Со пойе д, ЪиС зоше тпеяяа8ея шау Ъе 1озС, ~чЫ1е СЬе т/(г+ 1) 1пСетГасе ярес?йея СЬаС шеяяадея аге Стапяш?ССес1 Гготп р Со д теЬаЫу. ТЬе а1дог1СЬш?с ргоЫетп Гог 1аует г' 1я СЬеп Со 1гпр1етпепС те11аЫе шезяа8е разя1п8 ия?пд ипге11аЫе птезяа8е разя?пд, ~чЫсЬ тз изиа11у с1опе ия?пд асМпотч1ей8ешепСя апй СЬе тестапзпиСС?пв оГ 1ояС шеяяа8ез (яее ЯиЬяесС?оп 1.3.? апй СЬарСет 3).
ТЬе яо1иС?оп оГ СЫя ртоЫет йейпез СЬе Суре о? тпезза8ея ехсЬап8ей Ъу СЬе 1аует т' ргосезяея апй СЬе тпеап1пв о? СЬеве теязааея, ?.е., Ьоъ СЬе ртосеяяея яЬои?й теасС Со сЬеяе тпеяяадея ТЬе ти1ея апй сопчепС?опз изей 1п СЬе 'сопчетяаС1оп" Ьет~чееп СЬе ртосеязея аС 1аует г аге ге?еттей Со аз СЬе 1ауег-т' рготосо? ТЬе 1омеяС 1аует о? СЬе ЫетатсЬу (1аует О ш Р1диге 1.4) ?я а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ауег ?тош оСЬет 1ауетя, апс1 СЬе 1птр1етпепСаС?оп сап Ъе сЬялцей ж?СЬоиС аЕесС?п8 СЬе оСЬег 1ауегз.
Ву СЬе пеСтчог?с агсЬтСестиге тче шевл СЬе соПесС?оп о? 1ауегв апй СЬе ассошрапу1п8 йейп?С?опв о1 а11 шСет?асез апй ргоСосо1з. Ая а пеСюогх тпау сопСа?п пойев ргойисес1 Ьу чат?оия шапи?асСигегз, рто8ташшей и?СЬ яойжаге ът?ССеп Ьу ЖйегепС соптрап?ез, 1С ?з ?шрогСапС СЬаС ргойисСз от й?ттег- епС сошрап?ея аге сошраС?Ые. ТЬе ?шрогСапсе от сошраС?Ь1?1Су Ьая Ьееп гесо8п?зей ~чот1сЬч?йе апй СЬеге?оте вСвлс1агй пехот?с втсЫСесСигея Ьаче Ъееп йече1орей. ?и СЬе пехС виЬяесСюп Сжо вСалйагйв аге й1ясиззей СЬаС Ьаче тесе?чей ап "о?Бс?аГ яСаСиз Ъесаиве СЬеу аге айорСей Ъу ?пйиепС?а? огцатизаС?опя (СЬе 1пСегпаС?опа1 8Сапйагйз Ог8ап?иаС?оп, 1БО, апй СЬе 1пвС?СиСе о1 Е1есСг?са1 апй Е1есСгоп?с Епрнеегз, 1ЕЕЕ).
ТЬе '1тапзпйяя?оп сопСго1 ргоСосо1/1пСегпеС ргоСосо1 (ТСР/1Р) 1я а со1- 1есС?оп оГ ргоСосо?в изей ш СЬе ?пСептеС. ТСР/1Р 1з поС ап ошс?а1 вСапйагй, ЬиС 1в изей во Мйе1у СЬаС ?в Ьм Ьесоше а Ие /ас~о вСалйзгй. ТЬе ТСР/1Р ргоСосо1 Ьпп1у (яее Эач?йзоп [Эач88~ аког ап шСгойисСюп) ?я зСгисСигес1 ассогй1пц Со СЬе 1ауегв о1 СЬе 031 шойе1 й1зсиззей ш СЬе пехС виЬзесС?оп, ЬиС СЬе ргоСосо1в сап Ье изес1 ш а?йе-агеа ав же11 ав ш 1оса1-агеа пеСиойз. ТЬе 20 1 1пЕтойистюп: ПЫтйи1еН Яуятетя Ь1фег 1ауетв соп1аш рго1осо)з Еог е1ес~гоп)с ша11 (тЬе з1т,йе таП-ттапзЕег рго~осо1, БМТР), й1е тгапзЕег (~Ье й1е-~гапзЕег рго~осо1, ГТР), апт1 Ь1тПгестюпа1 сот тппп1сатюп Еог гетпо1е 1орп (Те1пеЕ). .Е.3.2 Тйе ОЯХ Не1етепсе МодеЕ ТЬе 1птегпайопа1 Я1алт1ахс1з Ог~ап1вайоп (1БО) Ьм Яхес1 а йапс1агс1 Еот сотритет пев~чог1т1пд ргос1ттстз висЬ м тЬояе ияет1 (та1п1у) 1п тчЫе-вхеа пет~чот1ся.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
