Eventual Consistency iş ýüzünde

Eventual consistency (EC) - maglumatlaryň nusgalary wagtlaýyn dargap bilýän, ýöne wagtyň geçmegi bilen global utgaşdyrylmazdan birleşýän model. Bu ýokary elýeterliligiň (CAP boýunça AP) we pes gizlinligiň (PACELC) açarydyr.

1) EC haçan saýlamaly (we haçan saýlamaly däl)

• Fidler, profiller, halaýanlar/hasaplaýjylar, kataloglar/gözleg, kesilen çykyşlar.
• Lokal ýazgylary we ýumşak üýtgemeleri bolan global ulgamlar.
• Hakykatyň çeşmesi berk ýadro bolan proýeksiýa (CQRS), okamak bolsa asinkron.

• Gaty üýtgeşikler: pul, ýeke-täk, çäkler, "minusa gitmeli däl" enjam. Ol ýerde - SR/EC, saga/TSS-den güýçli.

2) EC üçin maglumatlaryň dizaýny: gapma-garşylyklar we olary çözmek

Prinsip: her ýazgy wersiýalaryň meta-maglumatlaryny we birleşmegiň kesgitlenen funksiýasyny öz içine alýar.

Wagt bellikleri/wersiýa: 'version', 'ts', 'actor'.
Wektor sagady: sebäbini düzedýär, "gapma-garşylykly meňzeşliklere" düşünmäge mümkinçilik berýär.

• LWW (Last-Write-Wins): aňsat we çalt, ýöne "manysyny" ýitirip biler.
• CRDT: kommutatiw/idempotent gurluşlary, ýakynlaşmagy kepillendirýär.
• Domain merge: iş funksiýasy (mysal üçin, sanawlary goşmazdan birleşdiriň, hasaplaýjylary jemläň, "iň täze email + taglary birleşdiriň").

• Hasaplaýjylar → G-Counter/PN-Counter.
• Köplükler → OR-Set ("ýapyşmazdan" aýyrmak).
• Registrler → LWW-Register ("ýitgilere" seresaplylyk bilen).
• Kartlar/resminamalar → Map of CRDTs.
• Bilelikde redaktirlemek → CRDT/OT.

3) Replikasiýa we anti-entropiýa

Gossip/anti-entropy: düwünleriň arasynda ýagdaýlaryň/heşleriň wagtal-wagtal alyş-çalşygy.
Hinted handoff: elýeterli däl düwün üçin wagtlaýyn "deponirlemek".
Read repair: okalanda düşünişmezlik ýüze çykaryldy - täze wersiýalary berkitdiler.
Üýtgeşmeler bukjasy (deltas): doly suratlary däl-de, deltalary kowýarys.
R/W kworumlary: 'R', 'W', 'N' tizlik we täzelik ylalaşygy bilen sazlaýarys (mysal üçin 'R + W> N' iň "soňky ýazgysynda" strong-a has ýakyn).

4) EC-iň üstündäki müşderi kepillikleri

Read-Your-Writes (RYW): awtor ýazgysyndan soň ony görýär (sticky-session/bellik wersiýasy).
"Monotonic Reads": Müşderini köne bahasyna "togalamaýarys" (iň soňky wersiýasynyň watermarkyny saklaýarys).
Causal Consistency: Sessiýanyň/hereketleriň akymynyň içinde sebäpleri saklaýarys (sözbaşylardaky/belliklerdäki wektor bellikleri).
Bounded Staleness: UX-kritiki ekranlar üçin "Δ t/N wersiýasyndan uly däl" kepillik.

5) EC üçin UX-patternler

Optimistik täzelenmeler: "sinhronizasiýa" belligi bilen hereketi derrew görkezýäris.
Tazelik belligi: nyşan "täzelendi X sekunt öň", "Täzelendir" düwmesi.
Konflikt-UI: seýrek gapma-garşylyklar üçin - "iki wersiýany görkezmek we saýlamak/birleşdirmek".
Skelet/placeholder + soft refresh: global kworumlara garaşmak bilen UI-ni petiklemäň.

6) Binagärlik şablonlary

6. 1 CQRS + proýeksiýa

Write-core (CP): berk üýtgemez.
Oka-tekizligi (EC): asinhron proýeksiýalary, indeksleri, nagt pullary; gijä goýalyň.

6. 2 AP köp sebit

Ýazgylar ýerli çalt, köpeltmek asinhron.
Geo-partitioning: maglumatlar ulanyja has ýakyn "ýaşaýar"; kross-sebit - agregatlar.
CRDT/merge funksiýalary gapma-garşylyklaryň agyrysyny aýyrýar.

6. 3 Kworum sazlamasy

yaml consistency:
replicas: 3 # N write_quorum: 2 # W read_quorum: 2 # R => R + W> N, closer to freshness on "last record"
read_repair: true hinted_handoff: true

7) Wersiýa we merge syýasaty (mysal)

yaml entity: "profile"
versioning:
clock: "vector"    # или "hybrid_time"
fields:
name:   { merge: "lww" }
emails:  { merge: "set_union" }   # OR-Set tags:   { merge: "or_set" }
likes:   { merge: "pn_counter" }
conflict_ui:
enabled: true show_diff_for: ["name"]
auto_merge_for: ["emails","tags","likes"]

8) EC synlamak: näme ölçemeli

Staleness Age (p50/p95/p99): 'now − data_version_ts' ýa-da "yzda galan wersiýalaryň sany".
Replication Lag: Sebitleriň/düwünleriň arasynda eltmegiň gijikdirilmegi.
Conflict Rate: paralel täzelenmeleriň paýy, görnüşleri boýunça paýlanyş.
Read-Repair Rate/Latency: Okanyňyzda näçe gezek we nädip çalt "bejerýäris".
Convergence Time: Ýazgylar/düwün şowsuzlygyndan soň gabat gelýän wagt.
Semantik SLO: "Profilleriň 95% -i 2s-den uly däl", "Fidanyň 99% -i <10s".

9) Runbook 'we hadysalar

1. Sebitara lag ösüşi: azaltmak 'write fan-out', agressiw read-repair, trotte agyr ýazyjylary öz içine alýar.

2. Gapma-garşylyklaryň köpelmegi: has "berk" düzgüni wagtlaýyn goşmak (mysal üçin, causal/RYW), gyzgyn açarlarda bäsdeşlik täzelenmelerini çäklendirmek.

3. Proýeksiýalaryň yza galmagy: replikasiýa nobatlaryny ileri tutmak, kritiki däl täzelenmeleriň ýygylygyny wagtlaýyn kesmek.

4. Maglumatlar düwünleriň bir böleginde "ýapyşdy": fors-anti-entropiýa, partiýa deňagramlylygy, hinted handoff barlagy.

5. El bilen seljermek: gapma-garşy açarlary düşürmek, "merge-preview" guraly, batch fix.

10) EC synagy

Jepsen ýaly synaglar: tor bölünişikleri, clock-skew, gaýtalanýan ýazgylar.
Property-based: merge-funksiýalaryň üýtgemegi (kommutatiwlik, idempotentlik, assosiatiwlik).
Fuzz-gapma-garşylyklar: dürli eltiş tertibi bilen bir açar üçin paralel täzelenmeler.
Ýük "arra": convergence time bahalandyrmak üçin burst/sessizlikleriň çalşylmagy.
UX-simulýasiýa: adaty ssenarilerde RYW/monotonic görünmegi.

11) Multi-tenant we meýilnamalar

Bellikler 'tenant _ id/plan/region' wakalarda/ýazgylarda.
Fairness: "şowhunly" müşderi umumy staleness-i artdyrmazlygy üçin replikasiýa/repair per tenant çäkleri.
Residency: maglumatlar we olaryň ýurisdiksiýa çägindäki göçürmeleri; kross-sebitleýin görkezmeler diňe agregatlar.

12) Adaty ýalňyşlyklar

LWW "hemme zat üçin". Semantik paralel üýtgeşmeleri ýitirýär; CRDT/domen merge.
Müşderi kepillikleri ýok. Ulanyjy öz ýazgysyny "görmeýär" → ynamy ýitirýär.
Könelişmä syn edilmezlik. Hiç bir staleness/lag → "gizlin degradasiýa" metrikleri ýok.
Merge bolmasa dürli ulgamlara dual-write. Fantomlar we tapawutlar tükeniksiz.
Global tertip islendik bahadan. Goşmaça kworumlar p95 öldürýär, işewürlik üçin bolsa ýerli tertip ýeterlikdir.

13) Çalt reseptler

Fid/lenta: EC + causal/RYW awtor üçin, CRDT reaksiýalar üçin, staleness p95 ≤ 2-5s.
Profiller/sazlamalar: bounded staleness (≤ 1-2c), RYW, domen merge (union tops).
Global katalog: geo-partition, asinhron replikasiýasy, haýyş boýunça read-repair, OR-Set arkaly gapma-garşylyklar.
Metrler/hasaplaýjylar: PN-Counter, fonda jemleniş; bellikli "takmynan" bahalary görkezmek.

14) Kiçi-etalon (söz shemasy)

Write-edge: wersiýa bilen ýerli ýazgy ('vector/hybrid'), wakalar magazineurnaly.
Replication: очереди + gossip/anti-entropy, hinted handoff.
Storage: ýazuw derejesinde açar, CRDT/merj-funksiýalary boýunça toparlara bölünýär.
Read-plane: möhüm ekranlar üçin read-repair, RYW/monotoniki bellikler, bounded staleness bilen keşler.
Observability: lagy/könelişmek/gapma-garşylyklar, SLO stailness-den ýokary bolan aladalar.

15) Azyk önüminden öň çek-sanawy

• Invariantlar we EC rugsat edilýän ýerlerde aýdyň beýan edilýär.
• Wersiýa (vector/hybrid) we kesgitlenen merge/CRDT funksiýalary saýlandy.
• Möhüm UX üçin müşderi kepillikleri (RYW/monotonic/causal) ýerine ýetirildi.
• Replikasiýa, read-repair, hinted handoff sazlandy; R/W kworumlary dokumentleşdirildi.
• Staleness/lag/convergence metrikleri we p95/p99 bosagalarynda alertler.
• Runbook 'we konfliktleriň/laglaryň köpelmegi; ygtybarly el gurallary.
• Tor bölünişikleri, paralel täzelenmeler we meňzeşlik üçin synaglar.
• Köp tenant çäkleri we residency-syýasatlary göz öňünde tutulýar.
• Täzelik we fallback-hereket UX görkezijileri önüm bilen ylalaşylýar.

Netije

Eventual consistency - "eglişik üçin eglişik" däl-de, masştably we elýeterli gural. Inwariantlary resmileşdirseňiz, dogry ölçeg funksiýalaryny saýlasaňyz (has gowusy, CRDT), müşderi kepilliklerini berseňiz we stilness we ýakynlaşma wagtyny ölçeseňiz, ulgam çalt, durnukly we dogruçyl bolar - ulanyjylar üçinem, işewürler üçinem.