Protokola lihevhatina Stellar yekem car di nav de hate şirove kirin David Mazier di 2015 de. Ev "pergalek peymana Bîzansê ya federal" e ku destûrê dide torên hesabker ên nenavendî, bêserok ku bi bandor li ser biryarekê bigihîjin lihevkirinek. Tora dravdana Stellar Protokola Lihevhatina Stellar (SCP) bikar tîne da ku dîrokek danûstendinê ya domdar ku ji hemî beşdaran re xuya ye biparêze.
Protokolên lihevhatinê dijwar têne fêm kirin. SCP ji piraniya wan sadetir e, lê dîsa jî vê navûdengê parve dike - hinekî jî ji ber ramana xelet a ku "dengkirina federasyonê", ku mijara nîvê yekem a gotara zanistî ye, SCP ye. Lê ev ne rast e! Ev tenê avahiyek girîng e ku nîvê duyemîn ê gotarê ji bo afirandina bikar tîne rast Protokola lihevhatina Stellar.
Di vê gotarê de em ê bi kurtî rave bikin ka "pergala peymanan" çi ye, çi dikare wê bike "Bîzansî" û çima pergala Bîzansê bike "federal". Dûv re em ê prosedûra dengdana federasyonê ya ku di gotara SCP de hatî diyar kirin rave bikin, û di dawiyê de em ê protokola SCP bixwe rave bikin.
sîstemên peymanê
Pergalek peymanan rê dide komek beşdaran ku li ser mijarekê bigihîjin lihevkirinek, wek mînak ji bo firavînê çi ferman bikin.
Li Interstellar, me pergala xweya peymana xwarina xwarinê bicîh kiriye: em ferman didin ku rêvebirê karûbarên me, John, çi dibêje. Ev pergala peymana hêsan û bandor e. Em hemî ji Yûhenna bawer dikin û bawer dikin ku ew ê her roj tiştek balkêş û xurek bibîne.
Lê eger Yûhenna baweriya me xirab bike? Ew dikare bi tena serê xwe biryar bide ku divê em hemî bibin vegan. Di nav hefteyek an du hefteyan de, dibe ku em ê wî hilweşînin û desthilatdariyê bidin Elizabeth. Lê ji nişka ve ew ji avokadoyên bi ançoyan hez dike û difikire ku divê her kes wisa be. Desthilatî xera dike. Ji ber vê yekê çêtir e ku meriv rêbazek demokratîktir bibîne: rêyek ku meriv pê ewle bibe ku tercîhên cihê têne hesibandin, di heman demê de encamek biwext û nezelal were misoger kirin, da ku kes dawî li fermana firavînê neke, an pênc kes fermanên cûda bidin, an nîqaş bikin. ber bi êvarê dikişîne.
Wusa dixuye ku çareserî hêsan e: dengek bihêle! Lê ev nêrînek şaş e. Kî dê sindoqan kom bike û encaman ragihîne? Û çima divê yên din ji gotinên wî bawer bikin? Dibe ku em dikarin di destpêkê de deng bidin serkirdeyekî ku em pê bawer in ku rêberiya dengdanê bike - lê kî dê rêberiya wê bike polî bi dengdanê? Ger em nikaribin li ser serokekî li hev bikin? An jî eger em bigihin rêkeftinekê, lê ev rêber di civînekê de asê bimîne an jî biçe betlaneya nexweşiyê?
Pirsgirêkên bi vî rengî di torên kompîturê yên belavbûyî de çêdibin. Pêdivî ye ku hemî beşdar an nod li ser hin biryarekê li hev bikin, wek mînak dora kê ye ku pelek hevpar nûve bike an peywirek ji rêza pêvajoyê derxîne. Di torgilokek krîptoyê de, girêk gelek caran neçar in ku ji çend guhertoyên gengaz ên ku carinan nakokî hene hilbijêrin ka çîroka tevahî çawa xuya dike. Ev peymana torê ji wergir re piştrast dike ku coin (a) derbasdar e (ne sexte ye) û (b) hîn li cîhek din nehatiye xerc kirin. Ev jî piştrast dike ku ew ê di pêşerojê de bikaribe drav xerc bike ji ber ku wergirê nû dê ji ber heman sedeman xwedî heman garantî be.
Pêdivî ye ku her pergalek lihevhatî ya di torgilokek hesabkerî ya belavbûyî de xelet-tolerans be: divê tevî xeletiyên mîna girêdanên hêdî, girêkên bêbersiv, û fermankirina peyamên nerast encamên domdar derxe holê. Bîzansî Pergala peymanê her weha li hember xeletiyên "Bîzansî" berxwedêr e: girêkên ku agahdariya derewîn didin, çi ji ber xeletiyekê be, çi ji ber hewildanek bi qestî ku pergalê xera bikin an jî sûd werbigirin. Tolerasyona xeletiya "Bîzansî" - şiyana ku meriv bi biryarek komê bawer bike jî dema ku hin endamên komê derewan bikin an jî rêgezên biryardanê bişopînin - tê gotin. yê ku hewl da êrîşê kordîne bike. li Anthony Stevens.
Alice, xwediyê pereyê krîptoyê bifikirin, ku divê di navbera kirîna qeşaya xweş ji Bob û dayîna deynê Carol de hilbijêrin. Dibe ku Alice dixwaze her duyan bi yekcarî bi xapandina heman pereyê xerc bike. Ji bo vê yekê, divê ew komputera Bob îqna bike ku coin qet ji Carol re nehatiye dayîn, û komputera Carol îqna bike ku coin qet ji Bob re nehatiye dayîn. Sîstema peymanên Bîzansî vê yekê bi rastî ne mumkin dike, bi karanîna rengek desthilatdariya piraniyê ku jê re tê gotin quorum. Girêk di toreke weha de red dike ku derbasî guhertoyek taybetî ya dîrokê bibe heya ku bibîne ku hejmarek têr ji hevalan - quorumek - bi veguheztinek wusa razî ne. Dema ku ev yek çêbibe, ew ê bloka dengdanê bi têra xwe mezin ava bikin ku zorê bidin girêkên torê yên mayî ku bi biryara xwe razî bibin. Alice dikare zorê bide hin girêkan ku li ser navê wê derewan bikin, lê heke tor têra xwe mezin be, dê hewildana wê ji hêla dengên girêkên dilpak ve were têkbirin.
Ji bo quorumê çend girêk hewce ne? Bi kêmanî, piraniyek, an bêtir, piraniyek bikêrhatî ji bo şerkirina xeletî û sextekariyê. Lê ji bo hejmartina piraniyê, hûn hewce ne ku hejmara tevaya beşdaran zanibin. Li ofîsa Interstellar an di hilbijartinên navçeyê de, ev hejmar hêsan e ku meriv fêr bibe. Lê heke koma we torgilokek bêserûber be ku tê de girêk dikarin bêyî pejirandina navendê bi dilê xwe têkevin û derkevin, wê hingê hûn hewce ne fîdralî pergalek peymana Bîzansê ku karibe quoruman ne ji navnîşek girêkan a ji berê diyarkirî, lê bi rengek dînamîkî, ji dîmenek girêkek ku her gav diguhezîne û bi neçarî ne temam e di demek diyarkirî de diyar bike.
Dibe ku ne mumkun xuya bike ku meriv ji perspektîfa yek girêkek di torgilokek berfireh de quorumek çêbike, lê ew gengaz e. Hêjmarek weha dikare encamên dengdana nenavendî jî garantî bike. Pirtûka spî ya SCP destnîşan dike ka meriv çawa vê yekê bi karanîna pêvajoyek tê gotin bi dengdana federal.
Ji bo kesên bêsebir
Gotara mayî dengdana federasyonê û protokola lihevhatina Stellar bi hûrgulî vedibêje. Ger hûn bi hûrguliyan re eleqedar nebin, li vir nêrînek giştî ya pêvajoyê heye.
- Nod li ser "namzedan" dengdana federal pêk tînin. Tûra dengdana federal tê vê wateyê:
- Node ji bo hin gotinan deng dide, mînakî, "Ez nirxa V-yê pêşniyar dikim";
- Girêk guhê xwe dide dengê hevalan heta ku yekî ku dikare "bistîne" bibîne;
- Node ji bo vê îdîayê "quorum" digere. Hejmarek namzedê "pejirandin" dike.
- Gava ku nodek dikare yek an çend berbijaran piştrast bike, ew hewl dide ku "dengdanê" bi çend tûrên dengdana federasyonê "amade bike".
- Dema ku girêkek karibe piştrast bike ku deng amade ye, ew hewl dide ku wê bi hê bêtir dorhêlên dengdana federasyonê pêk bîne.
- Dema ku girêkek karibe pêkanîna dengdanê piştrast bike, ew dikare nirxa wê dengdanê "derveyî" bike bi karanîna wê wekî encamek lihevkirinê.
Van gavan gelek tûrên dengdana federasyonê vedihewîne, ku bi hev re dora yek SCP pêk tîne. Werin em ji nêz ve binihêrin ka di her gavê de çi diqewime.
Dengdana federal
Dengdana federal prosedurek e ji bo destnîşankirina ka torê dikare li ser pêşniyarekê li hev bike. Di dora dengdanê de, divê her girêk yek ji gelek nirxên gengaz hilbijêrin. Ew nikare vê yekê bike heya ku ew pê ewle nebe ku girêkên din ên di torê de dê encamek cûda hilbijêrin. Ji bo ku vê yekê piştrast bikin, girêk barek peyaman paş û paş diguhezînin da ku her kes piştrast kir, ku quorum kulikan qebûl dike heman biryar. Ya mayî ya vê beşê şertên di vê hevokê de û çawa tevaya prosedûrê diqewime rave dike.
Quorums û quorum slices
Werin em bi diyarkirina quorumê dest pê bikin. Wekî ku me li jor behs kir, di torgilokek nenavendî ya bi endametiya dînamîkî de, ne mimkûn e ku pêşî li hejmara girêkan were zanîn û ji ber vê yekê çend ji bo piraniyê hewce ne. Dengdana federe bi danasîna ramanek nû vê pirsgirêkê çareser dike quorum birrîn (parçeya quorum): Komek piçûk a hevalan ku girêk pê bawer e ku agahdariya rewşa dengdanê bi tevaya torê re ragihîne. Her girêk perçeya xwe ya quorum diyar dike (ku ew dibe endamek de facto).
Avakirina quorumê bi qutkirina quorumê dest pê dike. Ji bo her girêkekê, girêkên wê yên jêkirî têne zêdekirin. Piştre şertên perçeyê têne zêdekirin van girêkan wate ya vê çîye. Her ku hûn berdewam dikin, bêtir û bêtir nod hene ku hûn nekarin lê zêde bikin ji ber ku ew berê di perçeyê de ne. Dema ku girêkên nû yên ku lê zêde bikin tune ne, pêvajo disekine: me bi "girtina gerguhêz" ya parça quorumê ya girêka destpêkê re quorumek çêkir.
Ji bo dîtina quorumê ji girêkek diyar ...
... endamên perçeya wê zêde bike...
...paşê em endamên perçeyên van girêkan lê zêde dikin.
Em berdewam dikin heya ku girêkek zêde nemîne.
Ti nodek ku lê zêde bike nemaye. Ev qadek e.
Di rastiyê de, her girêk dikare di bêtir ji yek perçeyê de xuya bibe. Ji bo ku quorum ava bikin, tenê yek ji perçeyan hilbijêrin û endaman lê zêde bikin; dûv re ji bo her endaman perçeyek hilbijêrin û endaman lê zêde bikin ew birrîn û hwd. Ev tê wê wateyê ku her girêk endamek pir quorumên gengaz e.
Di her gavê de tenê perçeyek quorum hilbijêrin.
Yek hejmara gengaz. An jî alternatîfek...
... perçeyên din hilbijêrin...
…(gava ku gengaz be)…
... qasekî din çêdike.
Nodek çawa dizane girêkên din di kîjan perçeyan de ne? Di heman awayê de wekî agahdariya din di derbarê girêkên din de: ji veguheztinên ku her nodek dema ku rewşa dengdana wê diguhezîne ji torê re diweşîne. Her weşanek agahdariya li ser perçeyên girêka şandinê vedihewîne. Pirtûka spî ya SCP mekanîzmayek pêwendiyê diyar nake. Pêkanînan bi gelemperî bikar tînin ji bo weşana garantî ya peyaman li seranserê torê.
Bînin bîra xwe ku di pergala peymanên Bîzansê ya ne-federal de, quorum wekî piraniya hemî girêkan tê pênase kirin. Pergala peymana Bîzansê ji hêla pirsê ve hatî sêwirandin: pergal dikare çend girêkên bêrûmet tehemûl bike? Di pergalek N girêkan de ku ji bo ji têkçûnan rizgar bibe de hatî çêkirin de, divê girêkek bikaribe bi wergirtina bertekên ji N−f hevtayan pêşkeftinê bike ji ber ku f ji wan kêm dibe. Lê piştî ku bersivek ji hevtayên N−f stendiye, em dikarin texmîn bikin ku hemî f peer (ku girê bersiv jê wernegirtiye) bi rastî rast in. Ji ber vê yekê, f ji N−f hevsalan (ku bersiv jê hatiye wergirtin) xerab in. Ji bo ku girêkan bigihîjin heman lihevkirinê, divê piraniya girêkên mayî rastgo bin, ango em hewce ne ku N−f ji 2f an jî N > 3f mezintir be. Ji ber vê yekê bi gelemperî pergalek hatî çêkirin ku ji têkçûnek xilas bibe dê bi tevahî N = 3f + 1 girêk û mezinahiya quorumê 2f + 1 hebe. Gava ku pêşnûme ji bendavê quorumê derbas bike, yên mayî yên torê pê bawer in ku dê her pêşniyarên hevrikî têk biçin. Bi vî rengî torgilok bi encamê re digihîje hev.
Lê di pergala peymana Bîzansê ya federal de, ne tenê piraniyek çênabe (ji ber ku kes bi tevahî mezinahiya torê nizane), lê têgeha piraniyê bi tevahî bêkêr e! Ger endametiya pergalê vekirî be, wê hingê kes dikare piraniyek bi tenê bi pêkanîna êrîşek bi navê Sybilê bi dest bixe: çend caran tevlî torê di nav gelek girêkan de. Ji ber vê yekê çima girtina perçeya gerguhêz tê gotin quorum, û ew çawa dikare pêşniyarên pêşbaziyê bitepisîne?
Teknîkî, bi tu awayî! Tevnek ji şeş girêkan bihesibînin, ku li wir du sêçik di perçeyên hevûdu de têne veqetandin. Binkoma yekem dibe ku biryarek bide ku ya duyemîn qet nabihîse, û berevajî. Ji bo ku ev şebek bigihêje lihevhatinekê (ji bilî şansê) tu rê tune ye.
Ji ber vê yekê, SCP hewce dike ku ji bo dengdana federasyonê (û ji bo ku teoremên girîng ên kaxezê werin sepandin), divê torê xwedî taybetmendiyek bi navê hevberdana quoruman. Di torgilokek bi vê taybetmendiyê de, her du quorumên ku dikarin bêne çêkirin her gav bi kêmî ve di yek girêk de li hev dikevin. Ji bo destnîşankirina hesta serdest a torê, ev bi qasî hebûna piraniyek baş e. Bi întuîtîkî, ev tê vê wateyê ku heke hejmareke bi gotina X-ê razî be, ti quorumek din çu carî nikare bi tiştek din razî bibe, ji ber ku ew ê bi hewceyî hin girêk ji hejmara yekem a ku berê deng daye X-ê bihewîne.
Ger di torê de hevberdanek quoruman hebe ...
...wê hingê hûn dikarin du quoruman ava bikin...
... dê her dem bi hev veqetin.
(Bê guman, girêkên hevgirtî dibe ku derewînên Bîzansî ne an wekî din xirab bibin. Di vê rewşê de, hevberdana quorumê qet alîkariya torê nake ku bipejirîne. Ji ber vê yekê, gelek encamên di kaxeza spî ya SCP de li ser bingeha texmînên eşkere, wekî tiştê ku di derbazbûna quoruma torê de maye heta piştî rakirina girêkên xerab jî. Ji bo sadebûnê, em van texmînan bihêlin implicit di gotara mayî de).
Dibe ku ne maqûl xuya bike ku meriv li bendê be ku derbasbûna quorumê ya pêbawer di torgilokek girêkên serbixwe de gengaz be. Lê du sedemên vê yekê hene.
Sedema yekem hebûna Înternetê bixwe ye. Înternet mînakek bêkêmasî ya torgilokek girêkên serbixwe yên bi quorumên hevberkirî ye. Pir girêkên li ser Înternetê tenê bi çend girêkên herêmî yên din ve girêdidin, lê ev komên piçûk têra hev dikin ku her girêk ji her girêkek din li ser hin rêgezan bigihîje hev.
Sedema duyemîn taybetî ji bo tora dravdana Stellar e (karanîna herî gelemperî ya SCP). Her malzemeyek li ser tora Stellar belavokek heye, û rêwerzên Stellar ji her belavker re hewce dike ku yek an çend girêkên li ser torê destnîşan bike da ku daxwazên xilasbûnê bişopîne. Di berjewendiya we de ye ku hûn rasterast an nerasterast van girêkan ji bo her malzemeya ku hûn jê re eleqedar in di nav perçeyên quorumê de bicîh bikin. Quorumên ji bo hemî girêkên ku bi malmendiyek diyarkirî re eleqedar dibin wê hingê bi kêmî ve li wan girêkên xilasbûnê li hev bikin. Girêkên ku bi gelek malûmanan re eleqedar dibin dê hemî girêkên xilasbûnê yên belavkerên têkildar di nav qurmên xwe de bihewînin, û ew ê hewl bidin ku hemî hebûnên xwe bi hev re bikin yek. Wekî din, her hebûnên ku bi vî rengî bi yên din ên li ser torê ve ne girêdayî ne, û divê neyên girêdan - ev bi vî rengî hatî sêwirandin ku ji bo vê torê lihevhatina quorum tune be (mînak, bankên ji herêma dolar carinan dixwazin bi bankên ji herêma euro û bankên ji herêma peso re bazirganiyê bikin, ji ber vê yekê ew li ser heman torê ne, lê yek tune ji wan xema tora veqetandî ya zarokên ku qertên baseball difroşin).
Bêguman, li bendê ne derbaskirina quorumê nîne garantî. Pergalên peymanên Bîzansî yên din pir ji tevliheviya xwe deyndarê garantiya quoruman e. Nûbûnek girîng a SCP ev e ku ew berpirsiyariya çêkirina quoruman ji algorîtmaya lihevhatinê bixwe radike û wê digihîne asta serîlêdanê. Ji ber vê yekê, her çend dengdana federasyonê têra xwe gelemperî ye ku li ser her pirsgirêkê deng bide, pêbaweriya wê bi rastî bi girîngî bi wateya berfireh a van wateyan ve girêdayî ye. Dibe ku hin karanîna hîpotetîk wekî yên din ji bo afirandina torên baş-girêdayî ne alîkar bin.
Dengdan, pejirandin û pejirandin
Di gera dengdanê ya federe de, girêkek bi awayekî vebijarkî dest bi dengdana ji bo hin nirxa V dike. Ev tê vê wateyê ku peyamek ji torê re diweşîne: "Ez girê N im, perçeyên min Q in, û ez deng didim V." Dema ku nodek bi vî rengî deng dide, ew soz dide ku ew çu carî li dijî V deng nedaye û dê çu carî jî deng nede.
Di weşanên peer-to-peer de, her nodek dibîne ku yên din çawa deng didin. Gava ku nodek têra xwe ji van peyaman berhev kir, ew dikare perçeyên quorumê bişopîne û hewl bide ku quoruman bibîne. Ger ew hejmarek ji hevalên xwe yên ku dengê xwe didin V jî bibînin, ew dikare biçe zarokgirtinî V û vê peyama nû ji torê re belav bike: "Ez node N im, perçeyên min ên quorum Q in, û ez V qebûl dikim." Qebûlkirin ji dengdana sade garantiyek bihêztir peyda dike. Dema ku nodek deng dide V, ew çu carî nikare deng bide vebijarkên din. Lê heke nodek V-yê qebûl bike, tu nodek li ser Torê dê vebijarka din qebûl neke (Teorema 8 di kaxeza spî ya SCP de vê yekê îsbat dike).
Bê guman, îhtimalek mezin heye ku tavilê hejmarek girêkên ku bi V re razî nebin. Dibe ku girêkên din dengên xwe bidin nirxên din. Lê rêyek din heye ku nodek ji dengdana hêsan berbi pejirandinê ve biçe. N dikare ji bo W nirxek cûda qebûl bike, her çend wî deng nedabe jî, û her çend ji bo wê jimareyek nebîne jî. Ji bo ku hûn biryar bidin ku hûn dengê xwe biguherînin, tenê bibînin set astengkirin girêkên ku W qebûl kirine. Komek astengker yek girêkek e ji her perçeyên quorumê N. Wekî ku ji navê xwe diyar dike, ew dikare deste wateya din. Ger hemî girêkên di komek wusa de W qebûl bikin, wê hingê (ji hêla Teorema 8-ê ve) dê tu carî ne gengaz be ku quorumek ku nirxek cûda digire were damezrandin, û ji ber vê yekê ew ji bo N jî ewle ye ku W qebûl bike.
Node N bi sê perçeyên quorum.
BDF ji bo N komek astengker e: ew ji her perçeyên N yek girêk vedigire.
BE di heman demê de ji bo N komek astengker e ji ber ku E di du perçeyên N de xuya dike.
Lê seta astengkirinê ne hindik e. Dê pir hêsan be ku girêka N bixapîne da ku nirxa xwestî qebûl bike, ger ew bes bû ku di her perçeyên N-ê de tenê yek girêk hack bike. Ji ber vê yekê, pejirandina nirxê ne dawiya dengdanê ye. Di şûna wê de, N pêdivî ye ku nirxê piştrast bike, ango, quorumek girêkan bibîne ku wê qebûl dike. Ger ew ew qas dûr biçe, wê hingê, wekî kaxeza spî ya SCP îsbat dike (di Teorema 11-ê de), mayî ya torê jî dê di dawiyê de heman nirxê piştrast bike, ji ber vê yekê N dê wekî encam dengdana federasyonê bi nirxek diyar biqedîne.
Dengdana federal.
Pêvajoya dengdanê, pejirandin û pejirandinê yek gera tevahî ya dengdana federasyonê pêk tîne. Protokola lihevhatinê ya Stellar gelek ji van doran berhev dike da ku pergalek lihevhatinê ya bêkêmasî biafirîne.
Protokola Peymana Stellar
Du taybetmendiyên herî girîng ên pergala lihevhatinê - ev in ewlehî и zindîbûn. Algorîtmayek lihevhatinê "ewle" ye heke ew çu carî nekare encamên cihêreng bide beşdarên cihê (kopiya dîrokê ya Bob dê çu carî berevajî Carol nebe). "Livability" tê vê wateyê ku algorîtma dê her gav encamek çêbike, ango ew ê asê nebe.
Pêvajoya dengdana federal diyar kir emîn di vê wateyê de ku ger girêkek nirxa V-yê piştrast bike, dê ti girêkek din nirxa din piştrast neke. Lê “wê wateyeke din nepejirîne” nayê wê maneyê ku ew ê mecbûrî tiştekî piştrast bike. Beşdar dikarin li ser gelek nirxên cihêreng deng bidin ku tiştek dê negihîje benda pejirandinê. Ev tê wê wateyê ku di dengdana federal de tune ye zindîbûn.
Protokola lihevhatina Stellar dengdana federasyonê bi rengek ku hem ewlehî û hem jî saxbûnê misoger dike bikar tîne. (Germantiya ewlekarî û saxbûnê ya SCP xwedan sînorek teorîkî ye. Sêwiran garantiyek ewlehiyê ya pir xurt hildibijêre, kêmkirina zindîbûnê ya piçûk dike qurban, lê dema têra xwe tê dayîn, muhtemel e ku lihevhatin were bidestxistin.) Bi kurtasî, fikir ev e ku meriv li ser gelek nirxan gelek dengên federatîf hebin heya ku yek ji wan di nav hemî qonaxên dengdana SCP-ê de ku li jêr têne diyar kirin derbas bike.
Nirxên ku SCP li ser lihevkirinê digere dibe ku dîroka danûstendinê an fermanek firavînê an tiştek din be, lê girîng e ku were zanîn ku ev ne nirxên ku têne pejirandin an pejirandin in. Di şûna wê de, dengdana federal li gorî pêk tê daxuyaniyên li ser van nirxan.
Tûrên yekem ên dengdana federalî diqewimin qonaxa namzediyê (qonaxa namzediyê), li ser komek gotinên wekî "Ez V namzed dikim", belkî ji bo gelek nirxên cihêreng ên V. Armanca namzediyê dîtina yek an çend gotinan e ku di pejirandin û pejirandinê re derbas dibin.
Piştî dîtina berendamên verastkirî, SCP derbasî qonaxa dengdanê dibe, ku armanc ew e ku meriv hindek bibîne. nasdayin (ango konteynirek ji bo nirxa pêşniyarkirî) û qederek ku dikare diyar bike bikaranîn ji bo wê (peyman kirin). Ger hejmareke dengdanê pêk bîne, nirxa wê wekî lihevkirin tê pejirandin. Lê berî ku girêkek bikaribe dengdanê li ser komîteya dengdanê bide, divê pêşî piştrast bike bişûndekirinî hemû pusûleyên bi nirxa dijber kêmtir. Van gavan - betalkirina sindoqan ji bo dîtina yekî ku dikare bête peywirdar kirin - li ser gelek îdiayên dengdana dengdanê gelek tûrên dengdana federasyonê vedihewîne.
Di beşên jêrîn de namzed û dengdanê bi berfirehî vedibêjin.
Namzetkirin
Di destpêka qonaxa namzediyê de, her girêk dikare bi xweber nirxek ji bo V-yê hilbijêre û deng bide gotina "Ez V namzed dikim." Armanc di vê qonaxê de ev e ku bi dengdana federasyonê namzedkirina hin nirxan were pejirandin.
Dibe ku têra girêkan li ser pêşniyarên têra xwe cihêreng deng bidin ku tu berbijar nikaribe bigihîje benda pejirandinê. Ji ber vê yekê, ji bilî weşandina dengên namzediya xwe, girêkan namzedên hevsalên xwe "ronî dikin". Echo tê vê wateyê ku ger nodek dengê xwe bide namzediya V, lê peyamek ji cîranek bibîne ku ji bo namzediya W deng dide, ew ê nuha hem deng bide V û hem jî ji W. (Di dema namzediyê de hemî dengên hevseran nayên deng kirin ji ber ku ev dikare bibe sedema teqîna namzedên cihêreng. SCP mekanîzmayek ji bo birêkûpêkkirina van dengan vedihewîne. Bi kurtî, formulek heye ji bo destnîşankirina "pêşaniya" hevalek ji nêrîna girêkek ve, û tenê dengên girêkên pêşîn ên bilind têne xuyang kirin. Namzed çiqas dirêj dibe. digire, bend kêmtir dibe, ji ber vê yekê girêk komek hevalên ku dengên wan dê nîşan bide berfireh dike. Formula pêşîn hejmara hêlînê wekî yek ji têketina xwe vedihewîne, ji ber vê yekê peerek pêşîn a bilind ji bo yek hêlînê dibe ku hevalek kêm-pêşeng be ji bo din, û berevajî).
Bi têgînî, namzed paralel e, hem V û hem jî W dengên federal ên cihêreng in, ku her yek bi ferdî dikare bigihîje pejirandin an pejirandinê. Di pratîkê de, peyamên protokola SCP van dengên kesane bi hev re pak dikin.
Her çend dengdana ji bo namzediya V-yê sozek e ku meriv çu carî li dijî namzedê V-yê deng nede, ew di asta serîlêdanê de - di vê rewşê de SCP - tê destnîşankirin ku tê çi wateyê "li dijî". SCP gotinek ku berevajî dengê "Ez X-ê destnîşan dikim" nabîne, ango peyamek "Ez li dijî namzedkirina X me" tune ye, ji ber vê yekê girêk dikare deng bide ku her nirxan destnîşan bike. Gelek ji van namzedan dê neçin deverekê, lê di dawiyê de girêk dê bikaribe yek an çend nirxan qebûl bike an piştrast bike. Dema ku namzedek were pejirandin, ew dibe namzêd.
Namzetê SCP bi karanîna dengdana federasyonê. Dibe ku gelek nirxên "B" hene ku ji hêla hevalbendan ve têne pêşandan û ji hêla girêk ve têne "rengdêrandin".
Namzed dibe ku gelek berendamên pejirandî encam bidin. Ji ber vê yekê, SCP ji qata serîlêdanê hewce dike ku hin rêbazek berhevkirina berendaman di yek de peyda bike pêkhatî (pêkhatî). Rêbaza tevlêbûnê dikare her tişt be. Ya sereke ev e ku heke ev rêbaz diyarker be, wê hingê her nod dê heman berendaman bi hev re bicivîne. Di pergala dengdanê ya nîvro de, "yekbûn" tenê tê wateya redkirina yek ji du berendaman. (Lê bi awayekî diyarker: divê her girêk heman nirxê hilbijêre ku ji nû ve were vegerandin. Mînakî, hilbijartina berê bi rêza alfabetîk). Di tora dravdanê ya Stellar de, ku li ser dîroka danûstendinê tê dengdan, hevgirtina du namzedên pêşniyarkirî tevhevkirina danûstendinên ku di nav wan de ne û ya herî dawî ya du demjimêrên wan pêk tîne.
Pirtûka spî ya SCP îspat dike (Teorema 12) ku bi dawiya qonaxa dirêjkirinê, tor di dawiyê de bi yek pêkhatî re digihîje hev. Lê pirsgirêkek heye: dengdana federe protokolek asynchronous e (mîna SCP). Bi gotineke din, nod ne ji hêla demê ve, lê tenê bi peyamên ku ew dişînin têne hevrêz kirin. Ji nêrîna nodê, ne diyar e kengê qediya qonaxa dirêjkirinê. Û her çend hemî girêk dê di dawiyê de bigihîjin heman berhevokê, ew dikarin di rê de rêyên cihêreng bigirin, di rê de berendamên pêkhatî yên cihêreng biafirînin, û çu carî nikanin bibêjin ka ya dawî kîjan e.
Lê normal e. Namzet tenê amadekarî ye. Ya sereke ew e ku jimara berendaman sînordar bike da ku lihevhatinek ku di pêvajoyê de pêk tê bigihîje ji bo wezîfeyê dixebitin ( dengdan ).
Running
Bulletin cotek e , ku jimare jimareyek e ku ji 1-ê dest pê dike û nirx berendamek ji qonaxa namzediyê ye. Ev dikare bibe berendamê girêkek xwe an berendamek girêkek cîran ku ji hêla wê nodê ve hatî pejirandin. Bi gelemperî, dengdan hewildanên dubare digire ku torê neçar bike ku li ser hin namzedan li ser hin dengan bigihîje lihevhatinekê bi girtina potansiyel gelek dengên federatî li ser daxuyaniyên dengdanê. Hejmarên li ser sindoqan hewildanên hatine çêkirin dişopînin, û dengên ku hejmarên wan zêde ne di ser sindoqên bi hejmarên kêmtir re derdikevin pêş. Ger nûçenameya asê dibe, dengdanek nû dest pê dike, niha li ser sindoqê ye .
Girîng e ku meriv cuda bike nirxên (mînak, fermana firavînê divê çi be: pizza an salad), nûçenameyan (cotek dij-nirx) û daxuyaniyan di derbarê sindoqan de. Dorpêça SCP çend tûrên dengdana federalî vedihewîne, bi taybetî li ser gotinên jêrîn:
- "Ez amade me ku dengê B bikim" û
- "Ez pêkanîna dengê B radigihînim"
Ji perspektîfa girêka diyarkirî, lihevhatin pêk tê dema ku ew dengek B dibîne ku ji bo wê bikaribe gotina "Ez dengdana B pêk tîne" piştrast bike (ango, hejmarek qebûl bike) peyda dibe. Ji vê gavê pê ve, ewle ye ku meriv li ser nirxa ku di B-yê de hatî destnîşan kirin tevbigere - mînakî, danîna vê fermanê ji bo firavînê. Tê gotin dervekirin wateyên. Gava ku pejirandina dengdanê hate pejirandin, girêkek dikare piştrast be ku her girêkek din heman nirx derxistiye an dê di pêşerojê de wiya bike.
Tevî ku gelek dengên federasyonê bi têgînî li ser îdiayên ji bo gelek dengdanên cihêreng têne çêkirin jî, ew ewqas peyaman naguherînin ji ber ku her peyam hejmareke dengan vedihewîne. Ji ber vê yekê peyamek rewşa gelek dengên federe bi yekcarî dide pêş, wek nimûne: "Ez qebûl dikim ku dengdanan ji berî "
Wateya têgînên "amade" û "pêkhatin" çi ye?
Nodek deng dide ku dengdanê bike dema ku ew pê ewle be ku girêkên din dê dengdanên bi nirxên cihêreng pêk neyên. Qenekirina vê yekê armanca amadekirina serîlêdanê ye. Dengek ku dibêje "Ez amade me ku dengê B bikim" sozek e ku tu carî dengek ji B-yê piçûktir, ango bi hejmartinek piçûktir neyê kirin (SCP hewce dike ku nirxên di dengan de bi rêzek diyar bin. Bi vî rengî, bulten kêmtir , heke N1
Çima "Ez amade me ku dengê B bikim" tê wateya "Ez soz didim ku qet dengên ji B piçûktir nekim"? Ji ber ku SCP betalkirinê wekî berevajiyê commit pênase dike. Dengdana ji bo amadekirina dengdanê di heman demê de dengdana ji bo nehêştina hin dengdanên din jî vedihewîne, û, wekî me berê behs kiribû, dengdana ji bo yekê sozek e ku tu carî li dijî wê deng neyê dayîn.
Berî weşana komîteyek, girêk divê pêşî bultenek bibîne ku dikare wekî amadekirî piştrast bike. Bi gotineke din, ew dengdana federasyonê li ser mijara "Ez amade me ku dengdana B pêk bînim," dibe ku li ser gelek sindoqên cihêreng, heya ku yekî ku jimareyek qebûl dike bibîne.
Ji bo amadekirina dengdanê sindoq ji ku tên? Pêşîn, girêk amadekariyên dengdanê ji bo <1,C> diweşîne, ku C namzedê pêkhatî ye ku di qonaxa namzedê de hatî hilberandin. Lêbelê, tewra piştî ku amadekariyên dengdanê dest pê bikin, dibe ku namzed bibe sedem ku berendamên din bibin dengên nû. Di vê navberê de, heval dikarin namzedên cihêreng hebin û ew dikarin komek astengker ava bikin ku qebûl dike "Ez amade me ku dengdana B2 pêk bînim" ku dê girêk jî razî bike ku wê qebûl bike. Di dawiyê de, mekanîzmayek demdirêj heye ku ger dengdanên heyî asê bin, gerokên nû yên dengdana federasyonê li ser dengdanên nû bi hejmarên bilindtir çêdike.
Hema ku girêk dengek B-ya ku dikare wekî amadekirî piştrast bike bibîne, ew peyamek nû "Bê dengdanê bipejirîne" belav dike. Ev deng ji hevalên xwe re dibêje ku girêk dê tu carî dev ji B bernede. Bi rastî, heke B dengek be , paşî “Bandora dengdanê " tê wateya razîbûna bê şert û merc ji bo dengdana ji bo amadebûna her dengdanê ji ji bo <∞, s>. Ev nirxa zêde ji hevalên din re dibe alîkar ku heke ew hîn di qonaxên pêşîn ên protokolê de ne, bi hevtayê commit re bigihîjin hev.
Di vê qonaxê de, hêja ye ku careke din were destnîşankirin ku ev protokolên asynchronous in. Tenê ji ber ku yek nodek ji bo peywirek dengan dişîne, nayê vê wateyê ku hevalên wê jî dikin. Dibe ku hin ji wan hîn jî li ser daxuyaniyên amadekariya dengdanê deng bidin, hinên din jî dibe ku jixwe wate ji xwe re derxînin. SCP rave dike ka girêk çawa divê her celeb peyama peer bêyî qonaxa wê pêvajoyê bike.
Heke peyama "Min peymanek ragihand » nayê wergirtin an pejirandin, ango îhtîmala ku peyam were pejirandin an pejirandin an - an, di her rewşê de, dengek bi nirxa C, û ne ya din, ji ber ku girêk berê soz daye ku tu carî betal neke . Wexta ku girêk ji bo peywirekê dengan diweşîne, ew ê bibe C an tiştek ne, li gorî ku lihevhatin çiqas diçe. Lêbelê, ev hîn ne bes e ku girêk C-yê ji derve derxe. Hin hevalên Bîzansî (ku li ser bingeha texmînên me yên ewlehiyê ji quorumê kêmtir pêk tînin) dibe ku li girêkê derewan bikin. Qebûlkirin û dûv re pejirandina hin dengan (an rêza dengan) ew e ku pêbaweriyê dide nodê ku di dawiyê de C-yê ji derve derxe.
Dengdana SCP bi dengdana federe. Nayê xuyang kirin: Dibe ku demjimêr di her kêliyê de biqede, hejmartina dengan zêde bike (û dibe ku berhevokek nû ya namzedên bijartî yên din çêbike).
Û ew hemû! Dema ku torê gihîştiye lihevhatinek, ew amade ye ku dîsa û dîsa bike. Li ser tora dravdana Stellar, ev hema hema her 5 çirkeyan carekê diqewime: serkeftinek ku hem ewlehî û zindîbûna ku ji hêla SCP ve hatî garantî kirin hewce dike.
SCP dikare vê yekê bi xwe ve girêbide ku xwe dispêre gelek tûrên dengdana federasyonê. Dengdana federe ji hêla têgeha perçeyên quorumê ve pêkan e: Komek hevalbendên ku her girêk biryar daye ku wekî beşek ji quoruma xwe (sûbjektîf) pê bawer bin. Ev veavakirin tê vê wateyê ku bi endametiya vekirî û xapandinên Bîzansî jî di torgilokek de lihevhatin dikare were bidestxistin.
Bêtir xwendinê
- Pirtûka spî ya orîjînal SCP dikare were dîtin û pêşnûmeya taybetmendiyan ji bo pêkanîna wê.
- Nivîskarê bingehîn ê protokola SCP, David Mazier, wê bi rengek hêsan (lê hîn teknîkî) rave dike. .
- Dibe ku hûn şaş mabin ku hûn di vê gotarê de peyvên "mêtingeh" an "delîlên kar" nedîtin. SCP van rêbazan bikar neynin, lê hin algorîtmayên din ên lihevhatinê dikin. Zane Witherspoon gihîştî nivîsand .
- torgilokek hêsan ku di yek dora tevahî ya SCP-ê de digihîje lihevkirinê.
- Ji bo xwendevanên ku bi pêkanînên SCP-ê re eleqedar dibin: binêre , ji aliyê tora peredana Stellar ve tê bikaranîn, an , ku min ji bo têgihiştina SCP çêtir nivîsand.
Source: www.habr.com