Sistèm modèn distribiye yo tout sou konpwomi. Pèfòmans, fyab, évolutivité, ak konsistans pa vini gratis - ou toujou peye yon pri yon kote. Se la teyorèm CAP la antre: li se pwen depa pou konprann konpwomi inevitab nan konsepsyon distribye.  Poukisa teyorèm CAP la vre? Ki sa li aktyèlman eksplike? Epi, pi enpòtan, èske li ase? Nan pòs sa a, nou pral eksplore teyorèm CAP la, limit li yo, kritik li te fè fas ak fason nouvo lide tankou PACELC ap pouse konvèsasyon an pi devan. Ann plonje nan.  Teyorèm CAP  Premye vèsyon teyorèm CAP la te kòmanse kòm yon deba ant   . Men, apre yon sèten tan, li te evolye, li te resevwa yon prèv fòmèl, epi li gradye yo vin teyorèm CAP la jan nou konnen li jodi a. ACID ak BAZ  Teyorèm CAP la di ke   : yon sistèm distribiye ka satisfè omwen de sou twa pwopriyete an menm tan   Konsistans   Disponibilite   Tolerans patisyon  Limitasyon sa a fòse enjenyè yo fè konpwomi difisil selon objektif sistèm nan ak reyalite anviwònman distribye yo.  Konsistans   Konsistans nan CAP pa menm jan ak konsistans nan   . Nan teyorèm CAP li refere a   oswa   . Sa vle di ke   , kèlkeswa ki nœuds trete demann lan. Sa vle di ke chak operasyon lekti reflete ekri ki pi resan an, kèlkeswa nod ou mande. tranzaksyon ACID yo lineizabilite konsistans fò tout nœuds nan yon sistèm distribiye dwe toujou prezante yon sèl, ajou-a gade nan done yo  💡 Konsistans nan ACID, yon lòt bò, konsantre sou asire ke yon tranzaksyon pote baz done a soti nan yon eta valab nan yon lòt eta valab, swiv règ yo defini nan chema baz done a. Li plis sou fè respekte kontrent entegrite (tankou kle etranje, kontrent inik, elatriye) ak asire baz done a pa kite nan yon eta valab, menm nan fè fas a aksidan.  Disponibilite   Disponibilite nan CAP vle di ke   . Nan lòt mo, si yon ne ki an sante jwenn yon demann, li dwe trete epi reponn a li. Sepandan, CAP   - li jis asire nœud la pa echwe an silans (pa egzanp, nan nœuds   yo ta ka reponn ak done rasi pandan yon patisyon pou asire disponiblite. ). chak nod ki pa echèk dwe retounen yon repons pou chak demann li resevwa, kèlkeswa patisyon rezo yo pa garanti repons lan ap toujou "kòrèk" oswa ajou sistèm AP  💡 Eric Brewer (otè orijinal CAP) te dekri pwopriyete sa a yon ti jan pi fleksib kòm: "prèske tout demann yo ta dwe jwenn yon repons". Sepandan, nan prèv fòmèl CAP la, disponiblite a te vin pi sevè, ki te egzije "chak demann yo resevwa yon repons osi lontan ke ne la manyen li an sante".  Nan pratik, menm si, disponiblite se pa yon garanti absoli - li souvan depann de kontrent sistèm espesifik, tankou konbyen tan ou vle tann pou yon repons. Pou sistèm nan mond reyèl la,   jwe yon wòl enpòtan nan fòme SLA ou (akò nan nivo sèvis), menmsi CAP li menm pa responsab dirèkteman pou latansi. Plis sou li nan   . tan repons (oswa delè) pòs blog sa a  Tolerans patisyon   Tolerans patisyon se tout sou siviv echèk rezo a.   Yon patisyon rive lè nœuds pa ka kominike akòz pake ki tonbe, delè, oswa rezo divize. Si nœuds yo pa ka kominike akòz yon divize rezo (patisyon), sistèm nan dwe toujou satisfè garanti konsistans oswa disponiblite li yo, tou depann de chwa konsepsyon li yo.  Sistèm distribiye pa viv nan yon mond fe ak rezo pafè. Pake yo tonbe, delè rive, ak pwen latansi yo inevitab. Poutèt sa,   - patisyon yo pral rive pi bonè oswa pita, kidonk ou pa ka "chwazi" inyore li, kèlkeswa jan li ta ka tante. tolerans patisyon pa negosyab nan nenpòt sistèm distribiye  Nan CAP, tolerans patisyon pa vle di sistèm nan kontinye ap kouri tankou si pa gen anyen ki te pase. Sa vle di sistèm nan dwe deside si li priyorite disponiblite (AP) oswa konsistans (CP) pandan yon patisyon. Si ou ta inyore tolerans patisyon, ou ta esansyèlman ap bati yon sistèm monolitik ki pa distribye.  CAP eksplike  Fason ki pi fasil pou konprann CAP se konsidere yon   - yon sitiyasyon kote de pati nan yon sistèm distribiye pa ka kominike youn ak lòt. Nan yon senaryo konsa, sistèm nan fè fas a twa rezilta posib: patisyon rezo    pandan ke lòt la izole, de pati yo pral gen eta enkonsistan. Sa a lakòz yon pèt nan   . Si yon pati nan sistèm nan aksepte mizajou C (Konsistans)    , li dwe bloke mizajou nan youn oswa toude pati nan patisyon an pou asire yon eta inifye atravè tout nœuds. Sa mennen nan yon pèt   paske kèk demann yo pral refize oswa retade endefiniman. Si sistèm nan chwazi rete konsistan A (Disponibilite)    ak konsistan (C) san li pa tolere patisyon an (P), li pa vrèman distribye. Sa a ta mande nœuds yo kominike ak rekonsilye eta, ki se enposib pandan yon patisyon. Si sistèm nan chwazi rete disponib (A)  Kidonk,   , sistèm nan ka sèlman satisfè   . Yon fwa yo rezoud patisyon an (sa vle di nœuds yo kominike ankò), sistèm nan ka reprann tout twa pwopriyete yo, men   , konpwomi yo inevitab. pandan yon patisyon de nan twa pwopriyete yo (C, A, oswa P) pandan patisyon an li menm  Enplikasyon teyorèm la  Yon konsekans teyorèm la pou sistèm asynchrone se ke sèlman twa konbinezon konsistans, disponiblite, ak tolerans patisyon ki posib:  AP (Disponibilite + Tolerans Patisyon)  Sistèm nan kalite sa a reponn a demann, men done yo retounen yo ka pa toujou ajou, ak mizajou pi dousman nan done yo men "toujou" disponib. Egzanp yon sistèm konsa se DNS, DynamoDB, ak Cassandra.  CP (Konsistans + Tolerans patisyon)  Sistèm nan kalite sa a toujou retounen done ajou, men kèk, oswa menm tout, nœuds nan sistèm nan ka pa reponn si patisyon. Li bay mizajou atomik men li ka mennen nan timeout. Baz done NoSQL tankou Google BigTable, MongoDB, HBase, ak Redis se tout sistèm nan kalite sa a.  CA (Konsistans + Disponibilite)  Sistèm nan kalite sa a toujou retounen done ajou lè pa gen patisyon. Akòz dènye limit la, anjeneral, sistèm sa yo yo itilize sèlman nan yon sèl machin. Egzanp yo se baz done relasyon klasik.  An reyalite, nou chwazi ant CP ak AP paske CA se fondamantalman yon monolit san patisyon. Pou sistèm gwo echèl, konsèpteur pa ka abandone P ak Se poutèt sa gen yon chwa difisil ant C ak A.  Nan CA, echèk ne vle di konplè indisponibilite nan sèvis la. Men, sa a pa enfim évolutivité, paske nou ka klonaj monolit endepandan epi distribye chaj la sou yo  Kritik teyorèm CAP  Teyorèm CAP la te yon konsèp fondamantal nan sistèm distribiye, men li pa san limit li yo. Pou tout klète li nan prezante lide nan konpwomi, teyorèm CAP a souvan te kritike pou senplifye reyalite konplèks, ki te mennen nan enkonpreyansyon ak move aplikasyon.  1. Konpwomi yo aplike sèlman pandan patisyon yo  Youn nan kritik ki pi komen yo se ke konpwomi teyorèm CAP la - chwazi ant   ak   - aplike sèlman lè   aktyèlman rive. Nan operasyon nòmal, lè rezo a estab epi pa gen patisyon, pa gen okenn konpwomi ant konsistans ak disponiblite. konsistans (C) disponiblite (A) yon patisyon rezo (P)  Anplis de sa, konpwomi sa yo pa inivèsèl atravè tout sistèm nan. Nan menm sistèm distribiye a:  Diferan pati nan sistèm nan ka fè eksperyans konpwomi diferan ki baze sou kontèks (tankou kote itilizatè a, kalite done).  Operasyon espesifik yo ta ka priyorite konsistans pandan ke lòt moun bay priyorite disponiblite.  Desizyon yo ka varye nan tan an egzekite depann sou faktè tankou chaj, latansi, oswa kondisyon itilizatè.  Nuans sa a souvan pèdi nan diskisyon wo nivo sou CAP, ki mennen nan klasifikasyon twò senplifye nan sistèm kòm "CP" oswa "AP" atravè tablo a.  2. CAP Ignore Latansi  Yon lòt kritik enpòtan se ke teyorèm CAP la pa konte pou   , menm si latansi ak patisyon yo pwofondman konekte nan pratik. Pou egzanp: latansi  Yon rezo dousman (segondè latansi) ka sanble pa distenge ak yon patisyon.  Delè-yo itilize pou detekte echèk-yo subjectif epi yo depann anpil de konsepsyon sistèm ak kondisyon rezo yo. Ki sa yon sistèm defini kòm yon "patisyon" ta ka jis yon reta pasajè pou yon lòt.  Nan sistèm distribiye nan mond reyèl la, lè yon patisyon oswa gwo latansi rive, sistèm nan dwe pran yon desizyon nan yon   : priyorite disponiblite lè li retounen yon rezilta posib, oswa priyorite konsistans nan tann pi lontan (ak potansyèlman pa reponn). View binè CAP a pa pran konpleksite nan desizyon sa yo. peryòd tan  3. Pwopriyete CAP yo pa binè  Teyorèm CAP la prezante konsistans, disponiblite ak tolerans patisyon kòm pwopriyete binè—ou genyen yo oswa ou pa genyen yo. Men, nan pratik,   : tout twa pwopriyete egziste sou yon spectre    se pa yon binè "on/off" pwopriyete-li varye ant 0% ak 100%. Pou egzanp, yon sistèm ka garanti disponiblite 99.99%, men sa toujou pèmèt pou ti peryòd indisponibilite. Disponibilite    gen diferan nivo, soti nan konsistans evantyèlman nan konsistans kozatif ak konsistans fò. Se pa tout aplikasyon ki mande linearizabilite konplè. Konsistans    tèt li se pa yon evènman klè. Sistèm yo ka pa dakò sou si wi ou non yon patisyon egziste (tankou yon nod wè yon delè kòm yon echèk, pandan y ap yon lòt kontinye opere nòmalman). Tolerans patisyon  Nati sa a kontinyèl nan pwopriyete yo fè CAP tro senplist pou modèl konpleksite yo nan sistèm modèn distribiye.  Teyorèm PACELC  Pandan ke CAP te revolisyone konpreyansyon nou nan konpwomi nan sistèm distribiye, se pa mo final la sou sijè a.   konsidere kòm yon apwòch altènatif nan konsepsyon sistèm distribiye yo. Li baze sou modèl CAP, men anplis konsistans, disponiblite, ak tolerans patisyon, li gen ladan tou latansi ak esklizyon lojik ant konbinezon konsèp sa yo. Teyorèm PACELC dekri pa Daniel J. Abadi a  PACELC prezante de mòd diferan nan operasyon pou sistèm distribiye:    (   ): Ki konpwomi sistèm lan fè lè yon patisyon rive? Isit la, nou revize konpwomi CAP klasik ant   ak   . Mòd patisyon PAC disponiblite (A) konsistans (C)    (   ): Ki konpwomi sistèm lan fè lè pa gen patisyon, epi rezo a ap fonksyone nòmalman? Nan mòd sa a, sistèm nan fè fas a yon konpwomi diferan - ant   ak   .  Lòt mòd ELC latansi (L) konsistans (C)  Konpwomi Latansi-Konsistans la  Pandan ke patisyon yo inevitab nan sistèm distribiye yo, yo ra konpare ak defi yo ki rive pandan operasyon nòmal. Nan sistèm modèn distribiye,   se souvan yon pi gwo bouchon pase patisyon rezo, patikilyèman pou aplikasyon mondyal-echèl. Sa a se kote   konsantre - nan adrese konpwomi ki rive lè sistèm nan opere san patisyon. Kontrèman ak CAP, ki konsantre sèlman sou konpòtman pandan senaryo echèk, PACELC mete aksan sou desizyon achitèk yo dwe pran chak jou pou balanse   ak   : latansi PACELC latansi (L) konsistans (C)    mande kowòdinasyon ak senkronizasyon ant nœuds pou kenbe yon gade inifye nan done yo. Anlè sa a entwodui reta, ralanti tan repons yo. Konsistans fò    (tankou sa yo ki adopte konsistans evantyèlman) bay priyorite vitès lè yo detann garanti konsistans. Sistèm sa yo reponn pi vit men yo ka detanzantan retounen done rasi oswa enkonsistan. Sistèm latansi ki ba yo  Lè PACELC pwolonje konvèsasyon an pi lwen pase patisyon yo pou enkli operasyon nòmal, PACELC asire ke pèfòmans chak jou nan sistèm distribiye yo trete ak enpòtans li merite.  Vlope li  Fòmilasyon teyorèm CAP la te yon evènman enpòtan nan kominote a, ak etid sou enpak li sou konsepsyon sistèm distribiye yo te montre ke konsèpteur sistèm distribiye pa ta dwe limite sistèm nan a de pwopriyete - yo ta dwe fè efò pou maksimize garanti yo mande nan chak. ka patikilye. Pou rezon sa a, li rezonab divize sistèm nan an segman, chak nan yo ki gen pwòp kondisyon li yo, ak konsepsyon sistèm nan ki baze sou kondisyon ki nan chak nan segman yo.  Teyorèm CAP a te yon poto nan panse sistèm distribiye pou dè dekad. Li te ban nou yon fondasyon pou rezone sou konpwomi nannan nan konsistans, disponiblite, ak tolerans patisyon. Men, nan plizyè fason, li se yon senplifikasyon nan reyalite, asepte chwa binè ak inyore faktè kritik tankou latansi.  PACELC baze sou CAP, li rekonèt ke:   Konpwomi egziste menm lè patisyon yo pa genyen.    nan konsepsyon sistèm distribiye. Latansi se yon enkyetid premye klas  Tou de CAP ak PACELC se zouti ki gen anpil valè, men ni se yon resèt etap pa etap pou sistèm bilding. Olye de sa, yo bay   pou evalye konpwomi ak konprann limit achitekti distribiye yo. modèl mantal  Materyèl adisyonèl   CAP Douzan Apre: Kijan "Règ" yo te chanje   Cassandra: Gid definitif la    ak  Tanpri sispann rele baz done CP oswa AP A Critique of the CAP Theorem pa Martin Kleppmann   Nòt sou Sistèm distribye pou Young Bloods   Mèsi paske w li!   Kirye sou yon bagay oswa ou gen lide pataje? Kite kòmantè ou anba a! Tcheke   oswa swiv mwen atravè   ,   , oswa   . blog mwen an LinkedIn Substack Telegram

Subscribe

Buy My Book

Odyo sa a pwodui nan lang orijinal istwa a!

Twò lontan; Pou li

Make resilience your competitive advantage

Poukisa Sistèm distribiye yo pa ka genyen tout bagay

About Author

KÒMANtè

KANDYE TAGS

ATIK SA A TE PREZANTE NAN

Related Stories

Meet the Writer: Vik Bogdanov, Tech Storyteller

American Equity, by Sam Altman (with comments & highlights)

2022 Noonies Nominee Veronika Vasileva on Programming, Python, and More

STOP: In the name of the brand police!

Meet the Writer: Vik Bogdanov, Tech Storyteller

American Equity, by Sam Altman (with comments & highlights)

2022 Noonies Nominee Veronika Vasileva on Programming, Python, and More

STOP: In the name of the brand police!

Light-Mode

Classic

Newspaper

Dark-Mode

Neon Noir

Minty

HN StartUps