Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

Na, kia whakaaro tatou. E 5 nga ngeru e mau ana i roto i te ruuma, a, kia haere ki te whakaara i te rangatira, me whakaae katoa ratou ki tenei, na te mea ka taea e ratou te whakatuwhera i te kuaha me te tokorima o ratou e okioki ana ki runga. Mena ko tetahi o nga ngeru ko te ngeru a Schrödinger, ko etahi atu ngeru kaore e mohio mo tana whakatau, ka puta te patai: "Me pehea e taea ai e ratou?"

I roto i tenei tuhinga, ka korero atu ahau ki a koe i roto i nga kupu ngawari mo te waahanga kaupapa o te ao o nga punaha tohatoha me nga kaupapa o a raatau mahi. Ka tirotirohia e au te whakaaro matua o Paxos.

Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

Ina whakamahi nga kaiwhakawhanake i nga hanganga kapua, nga momo putunga korero, me te mahi i roto i nga tautau o te maha o nga pona, ka whakapono ratou ka oti, ka noho haumaru, ka waatea tonu nga raraunga. Engari kei hea nga taurangi?

Ko te tikanga, ko nga taurangi kei a matou he taurangi kaiwhakarato. Kei te whakaahuahia i roto i nga tuhinga e whai ake nei: "He tino pono tenei ratonga, he SLA kua hoatu, kaua e manukanuka, ka tohatoha nga mea katoa ki taau e tumanako ana."

E whakapono ana matou ki nga mea pai, na te mea ko nga taangata mohio mai i nga kamupene nui i kii mai ka pai nga mea katoa. Kaore matou e patai ana: he aha, inaa, ka taea e tenei te mahi? He take tika ano mo te whakahaere tika o aua punaha?

I haere ahau i mua tata nei Te Kura Rorohiko Tohatoha a i tino whakahihiri ki tenei kaupapa. Ko nga kauhau i te kura he rite tonu ki nga karaehe tatauranga i tetahi mea e pa ana ki nga punaha rorohiko. Engari koinei te ahua o nga algorithms tino nui e whakamahia ana e matou i ia ra, me te kore e mohio, i whakamatauhia i te wa kotahi.

Ko te nuinga o nga punaha tohatoha hou e whakamahi ana i te Paxos consensus algorithm me ona momo whakarereketanga. Ko te mea tino pai ko te whaimana me te tikanga, ko te tupono noa o te noho o tenei algorithm ka taea te whakamatau noa ma te pene me te pepa. I roto i te mahi, ka whakamahia te algorithm i roto i nga punaha nui e rere ana i runga i te maha o nga node i roto i nga kapua.

He whakaahua marama mo nga korero ka korerohia i muri mai: te mahi a nga tianara tokoruaMe titiro tatou mo te whakamahana te mahi a nga tianara tokorua.

E rua o matou ope - whero me te ma. Ko nga hoia ma kei te taone e whakapaea ana. Ko nga hoia whero e arahina ana e nga tianara A1 me A2 kei nga taha e rua o te taone nui. Ko te mahi a te hunga whero he whakaeke i te taone ma ka wikitoria. Heoi, he iti ake te ope o ia tianara whero takitahi i te ope ma.

Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

Nga tikanga wikitoria mo te hunga whero: me whakaeke nga tianara e rua i te wa kotahi kia whai hua ai ratou ki runga i nga ma. Hei whakatutuki i tenei, me whakaae nga tianara A1 me A2 ki a raua ano. Mena ka whakaeke takitahi nga tangata katoa, ka ngaro nga makawe whero.

Kia tae ki tetahi whakaaetanga, ka taea e nga tianara A1 me A2 te tuku karere ki a raua ano ma te rohe o te taone ma. Ka eke pai te karere ki tetahi tianara hoa rangatira, ka haukotia ranei e te hoariri. Patai: he raupapa korero penei ranei i waenga i nga tianara makawe whero (te raupapa o te tuku karere mai i A1 ki A2 me te rereke mai i A2 ki A1), ka whakaaehia kia whakaae ki te whakaeke i te haora X. I konei, Ko nga kupu taurangi ko nga tianara e rua ka tino whakapumau ka whakaekea e tetahi hoa (tetahi tianara) i te wa i whakaritea X.

Mehemea ka tukuna e A1 he karere ki a A2 me te panui: "Me whakaeke tatou i tenei ra i waenganui po!" Kaore e taea e General A1 te whakaeke me te kore e whakamanahia e General A2. Mena kua tae mai te karere mai i A1, ka tukuna e General A2 te whakapumautanga me te panui: "Ae, me patu nga ma i tenei ra." Engari inaianei kare a Tianara A2 i te mohio mena kua tae mai tana karere, kaore ranei, karekau he taurangi mena ka whakaekea te whakaekenga i te wa kotahi. Inaianei kei te hiahia ano a General A2 ki te whakamana.

Ki te whakamaarama atu ano i a raua korero, ka marama ake ahakoa te maha o nga huringa whakawhiti karere, karekau he huarahi hei whakapumau kua whiwhi nga tianara e rua i a raua karere (mehemea ka taea te haukoti i tetahi karere).

Ko te Raruraru Tianara e rua he whakaaturanga pai mo te punaha toha ngawari e rua nga pona me te kore korero pono. Ko te tikanga karekau he taurangi 100% kei te tukutahi. Ko nga raruraru rite ka korerohia i runga i te waahanga nui ake i muri mai i te tuhinga.

Ka whakauruhia e matou te ariā o nga punaha tohatoha

Ko te punaha tohatoha he roopu rorohiko (i muri nei ka kiia e matou he node) ka taea te whakawhiti karere. Ko ia node he momo hinonga motuhake. Ka taea e te node te whakahaere i nga mahi i a ia ano, engari hei whakawhiti korero ki etahi atu pona, me tuku me te whiwhi karere.

He pehea te whakatinanatanga o nga karere, he aha nga tikanga e whakamahia ana - ehara tenei i te mea pai ki a tatou i tenei horopaki. He mea nui kia taea e nga pona o te punaha tohatoha te whakawhiti raraunga ki a ratau ma te tuku karere.

Ko te whakamaramatanga ake ehara i te ahua tino uaua, engari me whai whakaaro tatou he maha nga huanga o te punaha tohatoha hei mea nui ki a tatou.

Huanga o nga punaha toha

  1. Tuhinga – te tupono ka puta nga huihuinga tukutahi, tukutahi ranei i roto i te punaha. I tua atu, ka whakaarohia e maatau nga huihuinga ka puta i runga i nga waahanga rereke e rua ka rite tonu ki te mea karekau he raupapa marama o te puta o enei huihuinga. Engari, hei tikanga, kaore i a matou.
  2. Kaore he karaka o te ao. Karekau he raupapa o nga huihuinga na te kore o te karaka o te ao. I roto i te ao noa o te tangata, kua waia tatou ki te meka he karaka me te wa tonu. Ka huri nga mea katoa ina tae mai ki nga punaha tohatoha. Ahakoa nga karaka ngota tino tika kua paheke, a tera pea he waahi kaore e taea e taatau te korero ko wai o nga huihuinga e rua i puta tuatahi. Na reira, kaore e taea e taatau te whakawhirinaki ki te waa.
  3. Rahunga motuhake o nga pona punaha. He raru ano: ka hee tetahi mea na te mea karekau o tatou pona e mau mo ake tonu atu. Ka rahua te puku, ka whakaara ano te miihini mariko i te kapua, ka kimo te whatunga ka ngaro nga karere. I tua atu, tera pea he waahi ka mahi nga pona, engari i te wa ano ka mahi ki te punaha. Ko te karaehe whakamutunga o nga raruraru i whakawhiwhia he ingoa motuhake: raruraru Tianara Byzantine. Ko te tauira tino rongonui o te punaha tohatoha me tenei raruraru ko te Poraka. Engari i tenei ra kaore matou e whakaaro ki tenei momo raruraru motuhake. Ka aro atu tatou ki nga ahuatanga ka taka noa te kotahi, neke atu ranei o nga pona.
  4. Tauira whakawhitiwhiti (tauira karere) i waenga i nga pona. Kua whakatauhia e matou ko nga pona te whakawhitiwhiti korero ma te whakawhiti karere. E rua nga tauira karere rongonui: tukutahi me te tukutahi.

Nga tauira o te whakawhitiwhiti korero i waenga i nga pona i roto i nga punaha toha

Tauira tukutahi – E tino mohio ana matou he wa poto e mohiotia ana ka tae mai te karere mai i tetahi pona ki tetahi atu. Mena kua pahemo tenei wa, kaore ano te korero i tae mai, ka taea e tatou te kii kua rahua te node. I roto i tenei tauira he wa tatari matapae tatou.

Tauira tukutahi – i roto i nga tauira tukutahi ka whakaarohia e matou he mutunga te wa tatari, engari karekau he taima penei i muri ka taea e matou te kii kua rahua te node. Ko era. Ko te wa tatari mo te karere mai i te node ka roa te roa. He whakamaramatanga nui tenei, ka korero ano tatou mo taua mea.

Te ariā o te whakaaetanga i roto i nga punaha tohatoha

I mua i te tautuhi okawa i te kaupapa o te whakaaro, me whakaaro tatou ki tetahi tauira o te ahuatanga e hiahiatia ana, ara - Te Tukurua Miihini State.

Kei a matou etahi poroporo kua tohatohahia. Kei te pirangi matou kia rite, kia rite nga raraunga kei runga i nga pona katoa o te punaha toha. Ina ako tetahi o nga node i tetahi uara hou ka tuhia e ia ki te pororakau, ko tana mahi ko te tuku i tenei uara ki etahi atu pona katoa kia whakahouhia te raarangi ki nga pona katoa ka neke te punaha ki tetahi ahuatanga hou. I roto i tenei take, he mea nui kia whakaae nga pona i waenga i a ratou ano: ka whakaae nga pona katoa he tika te uara hou e whakaarohia ana, ka whakaae katoa nga pona ki tenei uara, a ma tenei keehi ka taea e te katoa te tuhi i te uara hou ki te raarangi.

I etahi atu kupu: kaore tetahi o nga pona i whakahē he nui ake nga korero e tika ana, a, kaore i te tika te uara i whakaarohia. Ko te whakaaetanga i waenga i nga pona me te whakaaetanga mo te uara kotahi e whakaaehia ana he whakaaro i roto i te punaha tohatoha. I muri mai, ka korero tatou mo nga algorithms e tuku ana i te punaha tohatoha kia whakamanahia kia tae ki te whakaaro.
Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha
I runga ake i te tikanga, ka taea e taatau te tautuhi i te algorithm consensus (he algorithm consensus noa ranei) tetahi mahi e whakawhiti ana i te punaha toha mai i te kawanatanga A ki te kawanatanga B. I tua atu, ka whakaaetia tenei ahua e nga pona katoa, a ka taea e nga pona katoa te whakau. Ko te ahua, ehara tenei mahi i te mea iti penei i te titiro tuatahi.

Nga ahuatanga o te Algorithm Consensus

Me toru nga ahuatanga o te algorithm whakaaetanga kia noho tonu te punaha me te ahu whakamua ki te neke mai i tera whenua ki tera whenua:

  1. Whakaaetanga – me rite te uara o nga pona mahi katoa (i roto i nga tuhinga e kiia ana ko tenei taonga he taonga haumaru). Ko nga pona katoa e mahi ana i tenei wa (kaore i rahua, i ngaro ranei te whakapiri atu ki etahi atu) me uru ki te whakaaetanga me te whakaae ki etahi uara mutunga.

    He mea nui kia maarama i konei ko nga pona kei roto i te punaha tohatoha e whakaarohia ana e hiahia ana kia whakaae. Arā, kei te korero tatou inaianei mo nga punaha ka kore noa e taea e tetahi mea (hei tauira, ka rahua etahi node), engari i roto i tenei punaha karekau he pona e mahi ana ki etahi atu (te mahi a nga Tianara Byzantine). Na tenei taonga, ka noho rite tonu te punaha.

  2. Angatonú — mena he rite te uara o nga pona mahi katoa v, ko te tikanga me whakaae nga pona mahi tika ki tenei uara v.
  3. Whakamutunga – ka mau i nga pona mahi tika katoa ki runga i tetahi uara (taonga ora), ka taea e te algorithm te ahu whakamua i roto i te punaha. Ko ia takitahi e mahi tika ana me whakaae ki te uara whakamutunga me te whakau: "Ki ahau, he pono tenei uara, e whakaae ana ahau ki te punaha katoa."

He tauira mo te mahi a te algorithm consensus

Ahakoa kaore pea i te tino marama nga ahuatanga o te algorithm. Na reira, ka whakaatu maatau me te tauira he aha nga waahanga o te algorithm o te whakaaetanga ngawari ki roto i tetahi punaha me te tauira karere tukutahi, e mahi ana nga pona katoa i runga i te tumanako, kaore nga karere e ngaro, kaore he mea e pakaru (he tino tupu tenei?).

  1. Ka timata katoa i runga i te tono marena (Propose). Me whakaaro tatou ka hono tetahi kaihoko ki tetahi node e kiia nei ko "Node 1" ka timata i te tauwhitinga, ka tukuna he uara hou ki te node - O. Mai i tenei wa, ka karangahia "Node 1" tuku. Hei kaiwhakatakoto whakaaro, me whakamohio e "Node 1" ki te punaha katoa he raraunga hou, ka tuku karere ki etahi atu pona katoa: "Nana! Ko te tikanga "O" i tae mai ki ahau, ka hiahia ahau ki te tuhi! Tena koa whakauhia ka tuhia ano e koe te "O" ki to rangitaki."

    Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

  2. Ko te waahanga e whai ake nei ko te pooti mo te uara e whakaarohia ana (Pooti). Hei aha? Tera pea kua tae mai etahi atu pona korero hou ake nei, a kei a ratou nga raraunga mo te tauwhitinga kotahi.

    Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

    Ka tukuna e te node "Node 1" tana tono, ka tirohia e etahi atu node o raatau raarangi mo nga raraunga mo tenei huihuinga. Mena karekau he taupatupatu, ka kii nga pona: "Ae, kaore aku korero mo tenei huihuinga. Ko te uara "O" ko nga korero hou e tika ana mo taatau."

    I tetahi atu take, ka taea e nga pona te whakautu ki te "Node 1": "Whakarongo! He korero hou aku mo tenei tauwhitinga. Ehara i te 'O', engari he mea pai ake."

    I te wahanga pooti, ​​ka whakatauhia e nga pokapu: ka whakaae katoa ratou ki te uara kotahi, ka pooti ranei tetahi o ratou ki te whakahee, e tohu ana he raraunga hou ake tana.

  3. Mena i angitu te rauna pooti me te pai o te katoa, ka neke te punaha ki tetahi waahanga hou - Te whakaae ki te uara. Ka kohia e "Node 1" nga urupare katoa mai i etahi atu pona me te ripoata: "I whakaae katoa ki te uara "O"! Inaianei ka kii mana ahau ko "O" to tatou tikanga hou, he rite tonu mo te katoa! Tuhia ki roto i to pukapuka iti, kaua e wareware. Tuhia ki to rangitaki!”

    Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

  4. Ka tukuna e te toenga o nga pona he whakau (Kua whakaaehia) kua tuhia e ratou te uara "O"; kaore he mea hou i tae mai i tenei waa (he momo mahi rua-waahanga). I muri i tenei huihuinga nui, ka whakaaro matou kua oti te whakawhitinga tohatoha.
    Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha

No reira, e wha nga kaupae i roto i te whakaaro algorithm i roto i te keehi ngawari: tono, pooti (pooti), whakaae (whakaae), whakaū i te whakaae (whakaaetia).

Mena i etahi wa kaore i taea e matou te whakaae, ka timata ano te algorithm, me te whai whakaaro ki nga korero i tukuna e nga pona kaore i whakaae ki te whakaū i te uara i whakaarohia.

Whakaaetanga algorithm i roto i te punaha tukutahi

I mua i tenei, he maeneene nga mea katoa, na te mea i korero matou mo te tauira karere tukutahi. Engari e mohio ana tatou i roto i te ao hou kua waia tatou ki te mahi i nga mea katoa i runga i te tukutahi. He pehea te mahi a te algorithm rite i roto i te punaha me te tauira karere tukutahi, i reira e whakapono ana matou ko te wa tatari mo te whakautu mai i tetahi node ka taea te roa te roa (na te mea, ko te kore o te node ka kiia ano he tauira ka ka taea e te node te whakautu mo te wa roa).

Inaianei kei te mohio tatou me pehea te mahi a te algorithm i runga i te maapono, he patai mo nga kaipanui hikaka kua tae mai ki tenei tawhiti: e hia nga pona kei roto i te punaha o nga pona N me te tauira karere tukutahi ka kore e taea kia tae tonu te punaha ki te whakaae?

Ko te whakautu tika me te tika kei muri i te kaipahua.Ko te whakautu tika ko: 0. Mena ka rahua tetahi node i roto i te punaha tukutahi, ka kore e taea e te punaha te uru ki te whakaaetanga. Ko tenei korero i whakamatauhia i roto i te kaupapa FLP, e mohiotia ana i roto i etahi porowhita (1985, Fischer, Lynch, Paterson, hono ki te taketake i te mutunga o te tuhinga): "Ko te kore e taea te whakatutuki i te whakaaetanga tohatoha ki te kore te iti rawa o te node kotahi ka taka. .”
Ko te ngeru a Schrödinger kaore he pouaka: te raruraru o te whakaaro i roto i nga punaha tohatoha
E tama, ka raru tatou, kua waia tatou ki nga mea katoa he koretake. A tenei ano. Me pehea te noho tonu?

I korero noa matou mo te ariā, mo te pangarau. He aha te tikanga o te kupu "kaore e taea te whakatutuki" te whakamaoritanga mai i te reo pangarau ki roto i a tatou - miihini? Ko te tikanga "kaore e taea te whakatutuki i nga wa katoa", i.e. He keehi karekau e taea te whakatau. He aha te ahua o tenei keehi?

Koia tonu te takahitanga o nga rawa oranga i whakaahuatia i runga ake nei. Karekau he whakaaetanga noa, a kaore e taea e te punaha te ahu whakamua (kaore e taea te whakaoti i roto i te waa mutunga) mena kaore he whakautu mai i nga pona katoa. Na te mea i roto i te punaha tukutahi karekau he wa whakautu e matapaehia ana kaore e taea te mohio mena kua tuki tetahi pona, he roa noa iho ranei te whakautu.

Engari i roto i nga mahi ka kitea he otinga. Kia roa to tatou algorithm ki te mahi i te wa e rahua ana (ka taea te mahi mo ake tonu atu). Engari i te nuinga o nga ahuatanga, ka mahi tika te nuinga o nga pona, ka ahu whakamua tatou i roto i te punaha.

I roto i te mahi, ka mahi maatau ki nga tauira korero tukutahi. Ko te tukutahi wahanga e mohiohia ana e whai ake nei: i roto i te keehi whanui, he tauira tukutahi, engari ko tetahi kaupapa o te "wa whakapumautanga o te ao" o tetahi waahi i roto i te waa kua whakauruhia.

Ko tenei wa o te waa kaore pea e tae mo te wa roa, engari me tae mai i tetahi ra. Ka tangi te karaka whakaoho mariko, a mai i tera wa ka taea e tatou te matapae i te wa e tae mai ai nga karere. Mai i tenei wa, ka huri te punaha mai i te tukutahi ki te tukutahi. I roto i nga mahi, ka mahi maatau i nga punaha penei.

Ko te Paxos algorithm e whakaoti rapanga whakaaro

paxos he whanau o nga algorithm e whakaoti ana i te raruraru whakaaetanga mo nga punaha tukutahi-a-waahanga, i runga i te tupono ka taka etahi pona. Ko te kaituhi o Paxos Ko Leslie Lamport. I tukuna e ia he tohu okawa mo te noho me te tika o te algorithm i te tau 1989.

Engari ko te tohu i puta mai i tawhiti atu i te mea iti. I tukuna te whakaputanga tuatahi i te tau 1998 (33 wharangi) e whakaahua ana i te algorithm. Ko te mea i puta mai, he tino uaua ki te mohio, a, i te tau 2001 ka whakaputaina he whakamaramatanga mo te tuhinga, e 14 nga wharangi. Ko te nui o nga whakaputanga ka tukuna hei whakaatu i te mea ko te raruraru o te whakaaetanga ehara i te mea ngawari, a kei muri i enei mahinga algorithm he nui nga mahi a nga tangata mohio.

He mea whakamere na Leslie Lamport tonu i kii i tana kauhau, kei roto i te tuhinga whakamaarama tuarua he korero kotahi, kotahi rarangi (kaore ia i tohu ko tehea), ka taea te whakamaori i nga huarahi rereke. Na tenei, he maha nga waahanga o Paxos hou e kore e mahi tika.

Ka nui ake i te kotahi te tuhinga o nga mahi a Paxos, no reira ka ngana ahau ki te whakaatu poto i te whakaaro matua o te algorithm. I roto i nga hononga kei te mutunga o taku tuhinga ka kitea e koe he rauemi mo te ruku atu ki tenei kaupapa.

Nga mahi i Paxos

Ko te Paxos algorithm he ariā o nga mahi. E toru nga mea matua (he whakarereke me etahi atu mahi):

  1. Kaitohu (ka taea ano te whakamahi i nga kupu: nga kaiarahi, kairuruku ranei). Koinei nga taangata e ako ana mo etahi uara hou mai i te kaiwhakamahi me te kawe i te mahi rangatira. Ko ta raatau mahi he whakarewa i nga tono mo te uara hou me te whakarite i etahi atu mahi a nga pona. I tua atu, ka taea e Paxos te noho mai o nga rangatira maha i etahi ahuatanga.
  2. Nga Kai-whakawhiri (Nga Kai-Pooti). He pona enei ka pooti ki te whakaae, ki te whakakore ranei i tetahi uara. He mea tino nui ta raatau mahi, na te mea kei runga i a raatau te whakatau: he aha te ahua ka haere (kaore ranei) te punaha i muri i te waahanga o muri mai o te algorithm whakaaetanga.
  3. Ākonga. Ko nga pona ka whakaae noa me te tuhi i te uara hou kua whakaaetia ina kua huri te ahua o te punaha. Kaore ratou e whakatau, ka whiwhi noa ratou i nga raraunga ka taea te hoatu ki te kaiwhakamahi mutunga.

Ka taea e tetahi node te whakakotahi i nga mahi maha i roto i nga ahuatanga rereke.

Te ariā o te pŭpŭ

Ka whakaaro tatou he punaha to tatou N kōpuku Na o ratou te tino nui F ka hinga pea nga pona. Mena ka rahua nga kopuku F, me whai maatau 2F+1 kopuku kaikawe.

He mea tika tenei kia mau tonu te nuinga, ahakoa i roto i nga ahuatanga kino rawa atu, o nga pona "pai" e mahi tika ana. Koira F+1 "pai" node i whakaae, a ka whakaaetia te uara whakamutunga. Ki te kore, tera pea he ahuatanga ka rereke nga tikanga o o tatou roopu-a-rohe me te kore e whakaae ki a raatau ano. No reira, me whiwhi tatou i te nuinga o nga pooti.

Ko te whakaaro whanui mo te mahi a te Paxos consensus algorithm

Ko te Paxos algorithm e rua nga waahanga nui, ka wehea kia rua nga waahanga mo ia waahanga:

  1. Wāhanga 1a: Whakaritea. I te wa whakarite, ka whakamohio te kaihautu (kaiwhakatakoto whakaaro) ki nga pona katoa: “Kei te timata tatou i tetahi wahanga pooti hou. He rauna hou ta tatou. Ko te maha o tenei rauna he n. Inaianei ka timata tatou ki te pooti." I tenei wa, ka whakaatu noa i te timatanga o te huringa hou, engari kaore e whakaatu he uara hou. Ko te mahi o tenei wahanga ko te timata i tetahi rauna hou me te whakamohio ki nga tangata katoa mo tana nama motuhake. He mea nui te nama porohita, me nui ake te uara i nga nama pooti o mua mai i nga kaiarahi katoa o mua. Na te mea ko te mihi ki te tau a tawhio noa ka maarama etahi atu node o te punaha he aha nga korero hou o te rangatira. Ko te mea pea kua puta kee nga hua pooti a etahi atu pooti mai i nga rauna i muri mai, ka kii noa atu ki te kaiarahi kei muri ia i nga waa.
  2. Wāhanga 1b: Oati. I te wa i whiwhi nga pona kaihautu i te nama o te wahanga pooti hou, e rua nga putanga ka taea:
    • He nui ake te nama n o te pooti hou i te maha o nga pooti o mua i uru atu ai te kaikawe. Kātahi ka tukuna e te kaiawhina he kupu oati ki te kaiārahi kia kore ia e uru atu ki etahi atu pooti me te nama iti iho i te n. Mena kua pooti kee te kaikawe mo tetahi mea (ara, kua whakaaehia e ia etahi uara i te wahanga tuarua), ka honoa e ia te uara kua whakaaetia me te maha o te pooti i uru ki tana oati.
    • Ki te kore, mena kua mohio te kaikawe mo te pooti teitei ake, ka taea e ia te wareware i te takahanga takahanga me te kore e whakautu ki te kaiarahi.
  3. Wāhanga 2a: Whakaae. Me tatari te kaihautu mo te whakautu mai i te koorum (te nuinga o nga pona kei roto i te punaha) a, mena ka tae mai te maha o nga whakautu e hiahiatia ana, ka rua nga whiringa mo te whakawhanaketanga o nga huihuinga:
    • Ko etahi o nga kaiwhiwhi i tuku uara kua pootihia e ratou. I tenei take, ka tohua e te kaihautu te uara mai i te pooti me te tau nui rawa atu. Me karangahia tenei uara x, ka tukuna he karere ki nga pona katoa penei: “Whakaaetia (n, x)”, ko te uara tuatahi ko te nama pooti mai i tana ake taahiraa Propose, ko te uara tuarua ko te mea i kohia e te katoa, i.e. te uara e pooti ai tatou.
    • Mena karekau tetahi o nga kaiwhiwhi i tuku uara, engari i oati noa ratou ki te pooti i tenei rauna, ka taea e te kaihautu te tono kia pooti mo to ratou uara, te uara i riro ai ia hei kaihautu i te tuatahi. Karangatia ko y. Ka tukuna he karere ki nga pona katoa penei: "Whakaae (n, y)", he rite ki te putanga o mua.
  4. Wāhanga 2b: Kua whakaaetia. I tua atu, ko nga pona kaihautu, i te wa i whiwhi ai ratou i te karere "Whakaae(...)" mai i te kaiarahi, ka whakaae ki a ia (tukua te whakapumautanga ki nga pona katoa e whakaae ana ratou ki te uara hou) mena kaore ano i oati etahi (atu) ) kaiarahi kia whai waahi ki te pooti me te tau a tawhio noa n' > n, ki te kore e warewarehia te tono whakau.

    Mēnā i whakautu te nuinga o ngā kōpuku ki te kaiārahi, ā, ka whakaū katoa i te wāriu hōu, kātahi ka kiia te uara hou kua whakaaetia. Hore! Mena karekau i tae te nuinga, karekau ranei e whakaae ki te uara hou, katahi ka timata ano nga mea katoa.

Koinei te mahi a te Paxos algorithm. He maha nga waahanga o enei waahanga, kaore i whakaarohia e matou nga momo ngoikoretanga, nga raru o nga kaiarahi maha me te maha atu, engari ko te kaupapa o tenei tuhinga ko te whakauru i te kaipanui ki te ao o te rorohiko tohatoha i te taumata teitei.

He mea tika ano kia mohio ko Paxos ehara i te mea ko te ahua anake, tera ano etahi atu algorithms, hei tauira, Raft, engari he kaupapa tenei mo tetahi atu tuhinga.

He hononga ki nga rauemi mo te ako ano

taumata timata:

Leslie Laport taumata:

Source: will.com

Tāpiri i te kōrero