Դետեկտիվ և հակամարտությունների լուծումը

1) Ի՞ նչ կարելի է համարել հակամարտությունը

Հակամարտությունը մի իրավիճակ է, երբ փոփոխությունների երկու կամ ավելի աղբյուրները պնդում են նույն էության, ռեսուրսի կամ ինվարիայի անհամատեղելի վիճակը։

Սինտաքսիկ 'մեկ ֆայլի/ստեղնի (merge delict Git, patch-colisia Kustomize) փոխվում է։

Սեմանտիկ 'սխեմայի ճիշտ փաստաթուղթը խախտում է բիզնեսի ինվարանտը (դեբեթի գումարը վարկին, սահմանը ավելի բարձր է)։

Վիրահատական/ժամանակավոր 'ձայնագրման/ընթերցանության մրցավազքը, կրկնօրինակվող իրադարձությունները, պատճառահետևանքային կապերը։

Հիբրիդային 'մրցակցող վիրահատություններ ռեսուրսների վրա (տոմսի կրկնակի վաճառքը, ապրանքների օբերբուկը)։

Խնդիրն այն է, որ հնարավորինս շուտ գտնել հակամարտությունը, բացատրել դրա պատճառը և ապահով ընտրել գործողություններից մեկը 'մեքենայականացումը, ճեղքումը, միաձուլումը, փոխհատուցումը, էսկալացիան։

2) Դետեկտիվ մեխանիզմները

2. 1 Վարկածներ և պետությունների համեմատություն

ETag/If-Match REST-ում, rowversion/xmin DB-ում - lost corporate։

3-way merge (box, ours, theirs) - անհամատեղելի աջ լուսավորություն։

Delksum/Hash դաշտով/փաստաթղթի վրա էժան համեմատություն է։

2. 2 Ժամանակավոր և պատճառահետևանքային չափանիշներ

Lampional clock: ընդհանուր կարգը «մոտ ժամանակի»։

2. 3 Ինվարանտներ և սահմանափակումներ

Սխեմաները և վալիդատորները (JSON Schema/OpenAPI) սինթաքսիկական վալիդենտ են։

Invariants 'եզակիություն, ոչ բացասական, հավասարակշռություն, ACL կանոնները։

Ամբողջականության ստուգումները ՝ FK/UNIQUE/MSLUDE ինդեքսներ, partial constrainment։

Կոդի/քաղաքական (OPA/Kyverno/Wintest)։

2. 4 Դետեկտիվ իրադարձությունների հոսքում

Idempotency Key/Dedup Store-ը (օրինակ, Redis/DB TTL-ի հետ) 'դուբլի փոխպատվաստում։

Transactional/Exactly-once-ը սթրինգում 'transactional id, epoch, կոնսումեր-օֆսետներ։

Sequence gap detics: Բացթողումներ, կրկնություններ (n, n + 1, n + 1)։

2. 5 Դիտողությունն ու ազդանշանը

Սխալների/կոնֆլիկտների/ռետրագների։

3) Թույլտվության ռազմավարությունը

3. 1 Ամբողջովին ավտոմատ (անվտանգ սահմանմամբ)

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

Փոխակերպման երաշխիք առանց համակարգման; կարևոր է սերմնահեղուկի ընտրությունը։

Բաղադրիչ վիրահատությունները 'օգտագործվում են ցանկացած կարգով (ռեպրեմենտներ, լոգ-ախպենդներ)։

Idempotent handlers: կրկնությունը չի փոխում արդյունքը (ups.ru բանալին, put-if-absent)։

Կառուցվածքների լավատեսական միաձուլումը '«deep merge + policy»' դետերմինացված կարգով։

3. 2 Կես ոտոմատիկ (քաղաքականության հետ)

3-way merge + զանգվածների կանոնները ("replace" append 'uniqueBy (key) - patchBy (key) ")։

LWW (Last-Write-International) 'պարզ, բայց պատճառված ճիշտ կորստի ռիսկը։

Աղբյուրների գերակայությունները '«ինտերակտիվ մուտքագրումը> ֆայլից> դեֆոլտներ»։

Բիզնես կանոնները. <<Եթե սահմանը ավելի բարձր է 'մասնակի ապացույց/փոխհատուցում>>։

3. 3 Կոորդինացիոն

OCC/MVCC (լավատեսական արգելափակում/բազմապատկություն) 'տարբերակների իջեցում, ռետրա։

Պեսսիմիստական արգելափակումներ ՝ "III։ WINDATE-ի համար, բաշխված լոկները (Redlock/DB-4k/etcd)։

Համաձայն (Raft/Paxos), մեկ առաջնորդը լուծում է կարգը։ ավելի քիչ հակամարտություններ, գինը լատենտ է։

3. 4 մարդ-վ-կոնտուրա (HITL)

UI-ը ձեռքի չափման/ռոտացիայի համար (հատկապես բովանդակությունը, սակագները, պարամետրերը և)։

Ֆորումի նախադրյալը, քաղաքականության բացատրությունը, կոճակները '«ընդունել ours/theirs», «միավորել դաշտերը», «ստեղծել»։

4) Պատրանքները ճարտարապետության շերտերում

4. 1 API/REST/gRPC

Optimistic concurrency: >, 4.9/412 հակամարտության ժամանակ հաճախորդը կտրում է 'հաշվի առնելով թարմ ETag-ը։

Idempotency-Key-ում POST-ում (վճարումներ/պատվերներ)։

Սեմանտիկ 407 'հայտարարեք պատճառը և առաջարկվող գործողությունները։

4. 2 Տվյալների գրանցում

RDBSA: MVCC (wwww.apshot isolation), յուրահատուկ ինդեքսներ, մասնակի ինդեքսներ։

KV/Doc stores: տարբերակները/ww.ru (rev), compare-and-swap (CAS)։

Multimaster-ը 'օգտագործեք տարբերակների/CRDT կամ «write to leader only» ժամացույցը կրիտիկական էակների համար։

4. 3 Հերթեր/սթրիմինգ

Exactly-once (գրեթե «արդյունավետ մեկ անգամ») 'գործարքային արտադրողը + ատոմային write-to-sink։

Dedup-ում 'վերջին N id-ի պահպանումը, ups.ru/merge տրամաբանությունը։

Medibox/Inbox pattern: Իրադարձությունների համաձայնեցված հրատարակումը։

4. 4 Կազմաձևը և IaC

3-way merge GitOps-ում, policy-gates (OPA/Kyverno) մինչև կիրառումը։

Kustomize/Helm: Merge-ի դետերմինացված ռազմավարությունները և «անհայտ միգրանտների» արգելքը։

Terraform: Պլանավորվում է որպես «drift vs desired» հակամարտության ազդանշան։

5) Ալգորիթմներ և օրինակներ

5. 1-way merge (պարզեցված)

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. 2 OCC REST ռեսուրսի համար

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"}

Հաճախորդը կարդում է, օգտագործում է դելտա իրական վիճակի և կրկնում։

5. 3 Սեմանտիկ հակամարտություն (ինվարանտ)

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-Express (ուրվագիծ)

Տարրերը ավելացվում են յուրահատուկ պարամետրերով, հեռացումը 'երկարությամբ։

«Add vs remove» հակամարտությունը թույլատրվում է թեգերի շնորհիվ 'remove հեռացնում է միայն տեսանելի add-tegi-ը։

6) Թույլտվության քաղաքականությունը 'ինչպես ձևականացնել

Գրեք ճարտարապետական վարդապետության մեջ

1. Աղբյուրների կարգը (priority chain)։

2. Այս տեսակի ռազմավարությունները 'սկալյար/օբյեկտներ/զանգվածներ/մուլտիմեդիա։

3. Պատճառահետևանքային մոդել 'արդյոք դուք օգտագործում եք տարբերակներ, Lampions, vector clocks։

4. Սեմանտիկան ասում է, որ կարող է կորցնել LWW-ում, որտեղ պետք է համաձայնվել։

5. Ժամանակավոր պատուհաններ ՝ TTL-ի համար, կուռքերի պատուհաններ։

6. Էսկալացիա: Երբ մեքենան արգելված է, UI/approval-ի պահանջները։

7. Փոխհատուցում: SAGA-ռազմավարությունը «cancel/comporate» -ը ինվարանտների փոխպատվաստման համար։

7) Մետրիկի և SLO

Type _ total _ total _ type _ - տիպերի հաճախականությունը։

medical _ resolved _ բանաձև _ ratio - auto-2019 մասը։

mean _ time _ to _ resolution - միջին ժամանակը մինչև եզրափակիչ։

lost _ entate _ incidents - կորած միջադեպեր։

idempotency _ hit _ rate - Idempotency-2019-ի մասնաբաժինը։

divergence _ depth - կրկնօրինակների տարբերության խորությունը (տարբերակիչ վեկտոր)։

SLO օրինակ. <<սինթակտիկ հակամարտությունների 3699 տոկոսը թույլատրվում է ինքնաբերաբար 355 s, սեմանտիկ 'HITL-ի հետ 15 րոպե>>։

8) Գործնական սցենարներ

8. 1 Վճարումներ

Բանալին 'Idempotency-Key (Idempotency-Key), OCC-ի հավասարակշռության վրա, SAGA-ը հակադարձ քայլերի համար։

Հակամարտություն 'կրկնակի ապամոնտաժում www.dedup + հաշվեկշռի տարբերակի ստուգումը կատարվում է մասնակի փոխհատուցում։

8. 2 Ֆեդար/տոմսեր

Տարբերակներ ՝ փղի/վայրի հոռետեսական արգելափակում; լավատեսական զրահ, որն ավարտվում է TTL-ով; «compare and reserve» հերթը։

8. 3 Բովանդակություն/կոդեր և

3-way merge + HITL 'խմբագիրը ընտրում է արդյունքը։ «անվտանգ» դաշտերի համար (SEO-2019, որոնք չեն ազդում գնի վրա)։

8. 4 GitOps/Kubernetes

Ռենդերը և վալիդացիան մինչև կիրառումը։ reject on unknown keys; արգելքը «-force» առանց խանդի։

Drift-դետեկտիվը և policy-enforced արձագանքը։

9) Anti-patterna

LWW-ը ամենուրեք, պարզությունն է, որ անհրաժեշտ է։

Թաքնված ռետրերը առանց կուռքերի 'լովինոիկ կրկնօրինակներ։

Ակնհայտ զանգվածային քաղաքականության բացակայությունը 'կազմաձևի կետերի «հանգիստ» կորուստ։

Գլոբալ մյուտեքսները ցանցերի վերևում 'SPOF և երկար արգելափակումներ։

«Կույր» փոխհատուցումը առանց պատճառների 'կրկնվող հակամարտություններ։

10) Ներդրման թուղթ

• Դելֆայում հակամարտությունների տեսակները և ինվարանտները։
• Ընտրեք տարբերակման մեխանիզմը (ETag/xmin/vector clock)։
• Միացրեք հակամարմինները քննադատական POST/commands-ում։
• Տվեք մերգի քաղաքականությունը տվյալների տեսակների վրա (սկալյար/զանգվածներ/առարկաներ)։
• Միացրեք սխեմաների վաիդատորները և հիբրիդային ստուգումները մինչև կոմունիտան։
• Լուծեք հակամարտությունների և ալարմայի փոխաբերությունները։
• Քննադատական էակների համար 'առաջնորդ/կոնսենսուս, կամ CRDT։
• Աշխատեք HITL ֆլոուում և UX (108, մեկնաբանություններ, audit log)։
• Փաստաթղթավորեք SLO-ը և փոխհատուցման գործընթացը (SAGA)։

11) FAQ

Q 'Ե՞ րբ ընտրել CRDT, իսկ ե՞ րբ է համաձայնությունը։

A: CRDT-ը հարմար է, երբ թույլատրելի է eventium consistency-ը և կարևոր է բարձր հասանելիություն/տեղական գրառումներ։ Համաձայնություն 'կոշտ ինվարանտների և վիրահատությունների խիստ կարգի տվյալների համար (դրամական հավասարակշռություններ, հասանելիության իրավունքներ)։

Q 'Արդյո՞ ք LWW-ն բավարար է։

Ա 'Քեշի, մետրիկի և երկրորդային ինդեքսների համար հաճախ այո է։ Օգտագործողի տվյալների և փողի համար գրեթե միշտ չկա։

Q 'Ինչպե՞ ս ընտրել դեդուպլյացիայի պատուհանը։

A 'Կենտրոնացեք առաքման առավելագույն սպասվող ուշացման վրա + ջիտթեր ցանցում, ավելացրեք 3-5 հազար p99։

Q 'Արդյո՞ ք պետք է միշտ անել HITL-ը։

Ա 'Ոչ։ HITL-ը թողեք վիճահարույց/սթոիմոստիկ հակամարտությունների համար։ մնացած ավտոմատիզացրեք և տրամաբանեք։

12) Արդյունքները

Կոնֆլիկտների արդյունավետ դեգրադացիան և լուծումը տարբերակման, պատճառահետևանքային նշանների, ինվարանտների և հստակ քաղաքականության համադրություն է, որը լրացված է համապատասխան ալգորիթմներով (CRDT/OT/OCC/MVCC/համաձայնություն) և դիտարկելով։ Համակարգերը, որտեղ հակամարտությունը «նորմալ» իրավիճակն է, մնում են հասանելի և կանխատեսելի։ համակարգերը, որտեղ հակամարտությունը «բացառություն» է, կոտրվում են ամենաանհրաժեշտ պահին։ Ընտրեք մոդել, կազմեք կանոնները և չափեք արդյունքը։