Konfliktleri anyklamak we çözmek

1) Konflikti näme hasaplamaly

Gapma-garşylyk - üýtgeşmeleriň iki ýa-da has köp çeşmesi şol bir mazmunyň, çeşmäniň ýa-da üýtgewsizligiň gabat gelmeýän ýagdaýlaryny talap edýän ýagdaýdyr.

Sintaktik: Bir faýl/açaryň kesişýän üýtgemeleri (Git-de merge conflict, Kustomize-de patch-gapma-garşylyklar).
Semantiki: shema boýunça dogry resminama biznes-invarianty bozýar (karz ≠ debetiň mukdary, çäk geçdi).
Operasiýa/wagtlaýyn: ýazga almak/okamak ýaryşlary, gaýtalanýan wakalar, sebäp-netije gatnaşyklarynyň tapawudy.
Domenler: resurs boýunça bäsleşýän amallar (biletiň iki gezek satylmagy, harytlaryň overbook edilmegi).

Wezipe: gapma-garşylygy mümkin boldugyça ir ýüze çykarmak, onuň sebäbini düşündirmek we hereketleriň birini howpsuz saýlamak: awtoulagyň dikeldilmegi, retraý, birleşmek, öwezini dolmak, güýçlenmek.

2) Deteksiýanyň mehanizmleri

2. 1 Wersiýasy we ýagdaýlary deňeşdirmek

ETag/If-Match in REST, rowversion/xmin in DB - lost update.
3-way merge (base, ours, theirs) - gabat gelmeýän düzedişleri yşyklandyrmak.
Meýdan/resminama boýunça Checksum/Hash - arzan deňeşdirme.

2. 2 Wagt we sebäp bellikleri

Lamport clock: "Wagt bilen".

2. 3 Üýtgeşmeler we çäklendirmeler

Shemalar we tassyklaýjylar (JSON Schema/OpenAPI) - sintaktik tassyklama.
Üýtgeşiklik: özboluşlylyk, negatiwlik, deňagramlylyk, ACL düzgünleri.
Bitewiligiň barlagy: FK/UNIQUE/EXCLUDE indeksleri, partial constraints.
Kod/syýasatlarda domen assert 'leri (OPA/Kyverno/Conftest).

2. 4 Wakalaryň akymlarynda deteksiýa

Idempotency Key/Dedup Store (mysal üçin TTL bilen Redis/DB): goşa ret etmek.
Transactional/Exactly-once akym: transactional id, producer epoch, konsumer-ofsetler.
Sequence gap detection: geçişler, gaýtalanmalar (n, n + 1, n + 1).

2. 5 Gözegçilik we duýduryş

Ýalňyşlyklaryň/gapma-garşylyklaryň/retraýlaryň prometrikasy.

3) Çözgüt strategiýasy

3. 1 Doly awtomatiki (kesgitleme boýunça howpsuz)

CRDT (Conflict-free Replicated Data Types): G-Counter, PN-Counter, OR-Set, LWW-Register, Map/Graph CRDT.

Utgaşdyrylmazdan konwergensiýanyň kepilligi; ýitgileriň/gorap saklamagyň semantikasyny saýlamak möhümdir.
Kommutatiw amallar: islendik tertipde ulanylýar (inkrementler, log-appendler).
Idempotent handlers: gaýtalamak netijäni üýtgetmeýär (upsert, put-if-absent).
Gurluşlaryň optimistik birleşmegi: 'deep merge + policy' determinirlenen tertip bilen.

3. 2 Ýarym awtomatiki (syýasat bilen)

3-way merge + massiw düzgünleri ('replace' append 'uniqueBy (key) | patchBy (key)').
LWW (Last-Write-Wins): ýönekeý, ýöne sebäpleriň dogrulygyny ýitirmek töwekgelçiligi.
Çeşmeleriň ileri tutulýan ugurlary: "interaktiw giriş> > defoltlar".
Işewürlik düzgünleri: "eger çäk geçse - bölekleýin tassyklamak/öwezini dolmak".

3. 3 Utgaşdyrmak

OCC/MVCC (optimistik blokirleme/köp wersiýa): wersiýalary deňeşdirmek, retrai.
Pessimistik blokirleme: 'SELECT... FOR UPDATE ', paýlanan loklar (Redlock/DB-lock/etcd).
Ylalaşyk (Raft/Paxos): bir lider tertibi çözýär; gapma-garşylyklar az, bahasy gizlinlik.

3. 4 Kontur adam (HITL)

UI (esasanam - mazmun, nyrhlar, kataloglar).
Diffany görmek, syýasaty düşündirmek, "ours/theirs kabul etmek", "meýdanlary birleşdirmek", "kompensasiýa döretmek" düwmeleri.

4) Arhitektura gatlaklary boýunça patternler

4. 1 API/REST/gRPC

Optimistic concurrency: 'If-Match: <etag>', 409/412 konfliktde → müşderi täze ETag-ny göz öňünde tutup retrait.
Idempotency-Key v POST (tölegler/sargytlar).
Semantiki 409: sebäbini we teklip edilýän hereketleri aýdyň.

4. 2 Maglumat ammary

RDBMS: MVCC (snapshot isolation), özboluşly indeksler, bölekleýin indeksler.
KV/Doc stores: wersiýalar/barlaglar (rev), compare-and-swap (CAS).
Multimaster replikasiýasy: CRDT ýa-da "write to leader only" wersiýa sagatlaryny möhüm zatlar üçin ulanyň.

4. 3 Nobatlar/akym

"Exactly-once" (diýen ýaly - "bir gezek täsirli"): geleşik öndürijisi + atom write-to-sink.
Konsumerde dedup: iň soňky N id, upsert/merge logikasyny saklamak.
Outbox/Inbox patterni: wakalaryň utgaşdyrylan çap edilmegi.

4. 4 Konfigurasiýalar we IaC

3-way merge GitOps, policy-gates (OPA/Kyverno) ulanylmazdan ozal.
Kustomize/Helm: kesgitlenen merj strategiýalary we "näbelli açarlary" gadagan etmek.
Terraform: "drift vs desired" gapma-garşylyk signaly hökmünde plan-diff.

5) Algoritmler we mysallar

5. 1 3-way merge (ýönekeýleşdirilen)

text resolve(base, ours, theirs):
diff1 = delta(base, ours)
diff2 = delta(base, theirs)
if independent(diff1, diff2): return apply(base, diff1 ⊕ diff2)
if conflictsOnlyInArrays: return arrayPolicyMerge(...)
else:
return CONFLICT with hunks

5. REST çeşmesi üçin 2 OCC

http
Client reads
GET /accounts/42 -> ETag: "v17", body: {balance: 100}

Trying to write off
PUT /accounts/42
If-Match: "v17"
{balance: 50}

If someone has managed before
HTTP/1. 1 412 Precondition Failed
{error: "version_mismatch", currentEtag: "v18"}

Müşderi deltany täzeden okaýar, häzirki ýagdaýa ulanýar we gaýtalaýar.

5. 3 Semantiki gapma-garşylyk (üýtgeşik)

pseudo on Debit(accountId, amount):
current = read(accountId)
if current. balance - amount < 0:
return REJECT ("insufficient _ funds") # write early detection (accountId, version = current. version+1, balance=current. balance - amount)

5. 4 CRDT: OR-Set (eskiz)

Elementler özboluşly tag bilen goşulýar, aýyrmak - anyk tag boýunça.
"add vs remove" gapma-garşylygy bellikler arkaly çözülýär: remove diňe görünýän add bellikleri aýyrýar.

6) Rugsat bermek syýasaty: nädip resmileşdirmeli

1. Çeşmeleriň tertibi (priority chain).

2. Maglumat görnüşleri boýunça strategiýalar: skalyarlar/obýektler/massiwler/multimediýa.

3. Sebäp modeli: wersiýalary, Lamport, vector clocks ulanýarsyňyzmy?

4. Ýitgileriň semantikasy: ylalaşyga mätäç bolan LWW-de näme ýitip biler.

5. Wagtlaýyn penjireler: Duplikasiýa üçin TTL, dempotentlik penjireleri.

6. Eskalasiýa: awto-rugsat gadagan edilende, UI/approval talaplary.

7. Öwezini dolmak: "cancel/compensate" SAGA strategiýasy.

7) Metrikler we SLO

conflicts_total{type} - görnüşi boýunça ýygylyk.
conflicts_resolved_auto_ratio - awto-rugsatlaryň paýy.
mean_time_to_resolution - çözülýänçä ortaça wagt.
lost_update_incidents - ýitirilen täzelenmeler.
idempotency_hit_rate - işleýän Idempotency-açarlarynyň paýy.
divergence_depth - replikalaryň tapawudynyň çuňlugy (wersiýa wektorlary).

SLO-mysal: "Sintaktik gapma-garşylyklaryň 99% -den ≥ awtomatiki usulda 5 s ≤, semantiki - HITL-den ≤ 15 minutda çözülýär".

8) Amaly ssenariýalar

8. 1 Tölegler

Açar: idempotentlik (Idempotency-Key), balansdaky OCC, yzyna gaýtarylýan ädimler üçin SAGA.
Gapma-garşylyk: goşa ýazmak → deadup + balansyň wersiýasyny barlamak → bölekleýin öwezini dolmak.

8. 2 Inwentar/biletler

Opsiýalar: slot/ýeriň pessimistik petiklenmegi; möhleti gutarýan TTL bilen optimistik bronlamak; "compare-and-reserve" nobaty.

8. 3 Mazmun/kataloglar

3-way merge + HITL: redaktor jemini saýlaýar; "howpsuz" meýdanlar üçin awto-düzgünler (bahasyna täsir etmeýän SEO bellikleri).

8. 4 GitOps/Kubernetes

Ulanylmazdan öň render etmek we tassyklamak; reject on unknown keys; gykylyksyz "--force" gadaganlygy.
Drift-deteksiýa we policy-enforced yza gaýdyp gelmek.

9) Anti-patternler

LWW hemme ýerde: sebäpleriň ýitmegi bilen ýönekeýlik.
Idempotentliksiz gizlin retraýalar: göçümli dublikatlar.
Massiwler üçin aç-açan syýasatyň ýoklugy: konfigurasiýa nokatlarynyň "ýuwaş" ýitmegi.
Torlaryň üstündäki global sazlar: SPOF we uzak möhletli blokirlemeler.
Barlagsyz "körler" öwezini dolmak sebäpleri: gaýtalanýan gapma-garşylyklar.

10) Girizmegiň çek-sanawy

• Domendäki gapma-garşylyklaryň görnüşlerini we üýtgemelerini kesgitläň.
• Wersiýa mehanizmini saýlaň (ETag/xmin/vector clock).
• Möhüm POST/commands-da idempotentligi açyň.
• Maglumat görnüşleri (skalyarlar/massiwler/obýektler) boýunça merj syýasatyny beriň.
• Shema tassyklaýjylaryny we domen barlaglaryny kommite çenli açyň.
• Konfliktleriň ölçeglerini we aladalaryny sazlaň.
• Möhüm zatlar üçin - lider/ylalaşyk ýa-da CRDT.
• HITL-flow we UX (diff, teswirler, audit log).
• SLO we kompensasiýa amallaryny (SAGA) resminamalaşdyryň.

11) FAQ

Q: Haçan CRDT saýlamaly, haçan - ylalaşyk?
A: CRDT eventual consistency kabul edilende we ýokary elýeterlilik/ýerli ýazgylar möhüm bolanda amatlydyr. Ylalaşyk - berk üýtgeşmeler we amallaryň berk tertibi bolan maglumatlar üçin (pul balanslary, elýeterlilik hukuklary).

Q: LWW ýeterlikmi?
A: Nagt pul, metrik we ikinji derejeli indeksler üçin - köplenç hawa. Ulanyjy maglumatlary we pul üçin - hemişe diýen ýaly ýok.

Q: Duplikasiýa penjiresini nädip saýlamaly?
A: Toruň jitlerini gaýtadan eltmegiň garaşylýan iň ýokary gijikdirilmegine ünsi jemläň, 3-5 × p99 ätiýaçlygyny goşuň.

S: Hemişe HITL etmeli?
A: Ýok. Jedelli/bahaly gapma-garşylyklar üçin HITL goýuň; galanlaryny awtomatlaşdyryň we ýazyň.

12) Netijeler

Netijeli detekasiýa we gapma-garşylyklary çözmek, amatly algoritmler (CRDT/OT/OCC/MVCC/konsensus) we syn edilmegi bilen doldurylan wersiýa, sebäp bellikleri, üýtgeşiklikler we aç-açan syýasatyň utgaşmasydyr. Gapma-garşylyk "adaty" ýagdaý bolan ulgamlar elýeterli we öňünden aýdyp boljak bolup galýar; gapma-garşylyk "kadadan çykma" bolan ulgamlar iň ýerliksiz pursatda bozulýar. Modeli saýlaň, düzgünleri resmileşdiriň we netijäni ölçäň.