विरोधाभास पता और संकल्प

1) जिसे संघर्ष माना जाता है

एक संघर्ष एक ऐसी स्थिति है जहां दो या अधिक परिवर्तन स्रोत एक ही इकाई, संसाधन या अपरिवर्तनीय के असंगत राज्यों का दावा करते हैं।

सिंटेक्टिक: एक फ़ाइल/कुंजी में अतिव्यापी परिवर्तन (Git में विरोधाभास मिलाएं, Kustomize में पैच टकराव)।

शब्दार्थ: योजना के अनुसार एक दस्तावेज़ सही व्यवसाय अपरिवर्तनीय (डेबिट राशि ≠ क्रेडिट, सीमा से अधिक) का उल्लंघन करता है।

ऑपरेशनल/टेम्पोरल: दौड़, डुप्लिकेट इवेंट, कारण-प्रभाव विसंगति लिखें/पढ़ें।

डोमेन: संसाधन पर प्रतिस्पर्धा संचालन (डबल टिकट बिक्री, ओवरबुक सामान)।

कार्य: जितनी जल्दी हो सके संघर्ष का पता लगाने के लिए, इसके कारण की व्याख्या करें और सुरक्षित रूप से एक कार्रवाई चुनें: ऑटो रिकवरी, रिट्रे, विलय, मुआवजा, वृद्धि।

2) पता लगाने का तंत्र

2. 1 संस्करण और राज्य तुलना

ETag/If-Match REST में, rowversion/xmin DB में - अद्यतन पहचान खो दिया।

3-वे विलय (आधार, हमारा, उनका) - असंगत संपादन को उजागर करना।

क्षेत्र/दस्तावेज़द्वारा चेकसम/हैश - सस्ती तुलना।

2. 2 समय और कारण लेबल

लैम्पोर्ट घड़ी: कुल क्रम "समय में अनुमानित"।

2. 3 अपरिवर्तनीय और बाधाएँ

योजनाएं और वैधता (JSON स्कीमा/OpENAPI) - वाक्यविन्यास वैधता।

इनवेरिएंट्स: विशिष्टता, गैर-नकारात्मकता, संतुलन, एसीएल नियम।

इंटीग्रिटी चेक: FK/UNCLUE/EXCLUDE इंडेक्स, आंशिक बाधाएं।

डोमेन कोड/नीतियों (OPA/Kyverno/Conftest) में दावा करता है।

2. घटना धाराओं में 4 का पता लगाना

Idempotency Key/Dedup Store (उदा। TTL के साथ Redis/DB): टेक की अस्वीकृति।

स्ट्रीमिंग में लेन-देन/बिल्कुल-एक बार: लेन-देन आईडी, निर्माता युग, घाघ-ऑफसेट।

अनुक्रम अंतर का पता लगाना: अंतराल, पुनरावृत्ति (n, n + 1, n + 1)।

2. 5 अवलोकन और अलार्म

त्रुटि/टकराव/रिट्रे प्रोमेट्रिक्स।

3) संकल्प रणनीतियाँ

3. 1 पूरी तरह से स्वचालित (परिभाषा के अनुसार सुरक्

सीआरडीटी (संघर्ष-मुक्त प्रतिकृत डेटा प्रकार): जी-काउंटर, पीएन-काउंटर, या-सेट, एलडब्ल्यूडब्ल्यू-रजिस्टर, मैप/ग्राफ सीआरडीटी।

समन्वय के बिना अभिसरण सुनिश्चित करना; हानि/प्रतिधारण शब्दार्थ का विकल्प महत्वपूर्ण है।

कम्यूटेटिव ऑपरेशन: किसी भी क्रम में लागू (वेतन वृद्धि, लॉग उपांग)।

पहचान करने वाले हैंडलर: पुनरावृत्ति परिणाम को नहीं बदलती है (कुंजी द्वारा अपसर्ट, पुट-यदि-अनुपस्थित)।

संरचनाओं का आशावादी विलय: नियतात्मक क्रम के साथ 'गहरी विलय + नीति'।

3. 2 अर्ध-स्वचालित (नीति के साथ)

3-वे मर्ज + सरणी नियम ('प्रतिस्थापित करें' एपेंड '(कुंजी) | पैचबाय (कुंजी)')।

LWW (लास्ट-राइट-विंस): सरल लेकिन कारण शुद्धता के नुकसान का जोखिम।

स्रोतों की प्राथमिकताएं "फ़ाइल> डिफ़ॉल्ट से इंटरैक्टिव इनपुट> कॉन्फ़िग" हैं।

व्यावसायिक नियम: "यदि सीमा पार हो गई है - आंशिक पुष्टि/मुआवजा।"

3. 3 समन्वय

OCC/MVCC (आशावादी अवरोधन/बहु-संस्करण): संस्करण सामंजस्य, रिट्रे।

निराशावादी ताले: 'चुनें... अद्यतन के लिए ', वितरित ताले (Redlock/DB-lock/etcd)।

सर्वसम्मति (बेड़ा/पैक्सोस): एक नेता आदेश तय करता है; कम संघर्ष हैं, कीमत विलंबता है।

3. 4 व्यक्ति-इन-लूप (HITL)

मैनुअल मर्ज/आर्बिट्रेशन (विशेष रूप से सामग्री, टैरिफ, कैटलॉग) के लिए यूआई।

डिफ़ाका पूर्वावलोकन, नीति की व्याख्या, बटन: "हमारा/उनका स्वीकार करें", "क्षेत्रों को विलय करें", "मुआवजा बनाएं।"

4) वास्तुकला की परतों द्वारा पैटर्न

4. 1 एपीआई/आरईएस/जीआरपीसी

आशावादी संगति: 'इफ-मैच: ', संघर्ष के मामले में 409/412 - ग्राहक ताजा ETag को ध्यान में रखते हुए वापस लेते हैं।

POST में पहचान-कुंजी (भुगतान/आदेश)।

शब्दार्थ 409: कारण और प्रस्तावित कार्यों का संचार करें।

4. 2 डेटा गोदाम

RDBMS: MVCC (स्नैपशॉट अलगाव), अद्वितीय सूचकांक, आंशिक सूचकांक।

केवी/डॉक स्टोर: संस्करण/संशोधन (रेव), तुलना-और-स्वैप (सीएएस)।

मल्टी-मास्टर प्रतिकृति: केवल महत्वपूर्ण संस्थाओं के लिए नेता का उपयोग/सीआरडीटी का उपयोग करें या लिखें।

4. 3 कतारें/स्ट्रीमिंग

वास्तव में एक बार (व्यावहारिक रूप से - "प्रभावी रूप से एक बार"): लेन-देन निर्माता + परमाणु लेखन-से-सिंक।

कंसोल पर dedup: अंतिम N id भंडारण, upsert/merge तर्क।

आउटबॉक्स/इनबॉक्स पैटर्न: सुसंगत घटना प्रकाशन।

4. 4 कॉन्फ़िगरेशन और IaC

उपयोग से पहले GitOps, पॉलिसी-गेट्स (OPA/Kyverno) में 3-वे विलय।

Kustomize/Helm: नियतात्मक विलय रणनीतियों और "अज्ञात कुंजियों" का निषेध।

Terraform: "बहाव बनाम चाहता था" संघर्ष संकेत के रूप में योजना-डिफ।

5) एल्गोरिदम और उदाहरण

5. 1 3-वे विलय (सरलीकृत)

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 संसाधन के लिए 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"}

ग्राहक पुनर्मिलन, डेल्टा को वर्तमान स्थिति में लागू करता है, और दोहराता है।

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-Set (स्केच)

तत्वों को एक अद्वितीय टैग के साथ जोड़ा जाता है, विलोपन - विशिष्ट टैग के लिए।

"ऐड बनाम हटाएं" संघर्ष केवल दृश्यमान ऐड टैग को हटाने के लिए हटाए गए टैग का उपयोग करके हल किया जाता है।

6) संकल्प नीति: औपचारिकता कैसे करें

1. प्राथमिकता श्रृं

2. डेटा प्रकार द्वारा रणनीतियाँ: स्केलर/ऑब्जेक्ट्स/सरणियाँ/मल्टीमीडिया।

3. कारण मॉडल: क्या आप संस्करण, लैम्पोर्ट, वेक्टर घड़ियों का उपयोग करते हैं।

4. नुकसान शब्दार्थ: LWW में क्या खो सकता है, जहां सर्वसम्मति की आवश्यकता है।

5. समय विंडोज़: deduplication, idempotency विंडो के लिए TTL।

6. वृद्धि: जब ऑटो-रिज़ॉल्यूशन प्रतिबंधित है, तो यूआई/अनुमोदन के लिए आवश्यकताएं।

7. मुआवजे: SAGA रणनीतियों को फिर से इकट्ठा करने के लिए "रद्द/क्षतिपूर्ति" करता है।

7) मेट्रिक्स और एसएलओ

conflicts_total{type} प्रकार द्वारा आवृत्ति है।

conflicts_resolved_auto_ratio - ऑटो-परमिट का हिस्सा।

mean_time_to_resolution निपटान का औसत समय है।

lost_update_incidents - खोए हुए अपडेट की घटनाएं।

idempotency_hit_rate - काम करने वाली आइडेम्पोटेंसी कुंजियों का अनुपात।

divergence_depth प्रतिकृति विचलन (संस्करण वैक्टर) की गहराई है।

SLO उदाहरण: "≥ 99% वाक्यविन्यास संघर्ष ≤ 5 सेकंड में स्वचालित रूप से हल हो जाते हैं, HITL के साथ ≤ 15 मिनट में शब्दार्थ संघर्ष।"

8) व्यावहारिक परिदृश्य

8. 1 भुगतान

कुंजी: Idempotency-Key, संतुलन पर OCC, प्रतिवर्ती चरणों के लिए SAGA।

संघर्ष: डबल राइट-ऑफ डीडअप + बैलेंस शीट संस्करण जांच - आंशिक मुआवजा।

8. 2 इन्वेंटरी/टिकट

विकल्प: निराशावादी स्लॉट/सीट अवरुद्ध; टीटीएल की समाप्ति के साथ आशावादी आरक्षण; तुलना और आरक्षित कतार।

8. 3 सामग्री/कैटलॉग

3-वे मर्ज + HITL: संपादक कुल का चयन करता है; "सुरक्षित" फ़ील्ड के लिए ऑटो नियम (SEO टैग जो कीमत को प्रभावित नहीं करते हैं)

8. 4 GitOps/Kubernetes

आवेदन से पहले रेंडर और मान्यता; अज्ञात कुंजियों पर अस्वीकार करें; समीक्षा के बिना निषेध "--force"।

बहाव का पता लगाना और नीति-लागू रोलबैक।

9) एंटी-पैटर्न

LWW हर जगह: कार्य-कारण हानि की कीमत पर सादगी।

पहचान के बिना छिपे हुए रिट्रेज़: हिमस्खलन जैसे डुप्लिकेट।

कोई स्पष्ट सरणी नीति - कॉन्फ़िगरेशन बिंदुओं का मूक नुकसान।

नेटवर्क के शीर्ष पर वैश्विक उत्परिवर्तन: SPOF और लंबे ताले।

"ब्लाइंड" मुआवजे का कारण ऑडिट के बिना: बार-बार संघर्ष।

10) कार्यान्वयन चेकलिस्ट

• डोमेन संघर्ष प्रकारों और अपरिवर्तनों को परिभाषित करें।
• वर्शनिंग तंत्र (ETag/xmin/vector घड़ी) चुनें।
• महत्वपूर्ण POST/कमांड में पहचान सक्षम करें।
• डेटा प्रकार (स्केलर/सरणियों/वस्तुओं) द्वारा मर्ज नीति सेट करें।
• स्कीमा सत्यापन और प्री-कमिट डोमेन जांच सक्षम करें।
• टकराव और सतर्क मेट्रिक्स कॉन्फ़िगर करें।
• महत्वपूर्ण संस्थाओं के लिए - नेता/सर्वसम्मति, या सीआरडीटी।
• एचआईटीएल प्रवाह और यूएक्स (डिफ, टिप्पणी, ऑडिट लॉग) पर काम करें।
• दस्तावेज़ एसएलओ और मुआवजा प्रक्रिया (एसएजीए)।

11) एफएक्यू

प्रश्न: CRDT कब चुनें और आम सहमति कब चुनें?

A: CRDT उपयुक्त है जब अंततः स्थिरता स्वीकार्य है और उच्च उपलब्धता/स्थानीय प्रविष्टियां महत्वपूर्ण हैं। आम सहमति - कठोर अपरिवर्तनों और संचालन के सख्त आदेश (नकद शेष, पहुंच अधिकार) के साथ डेटा के लिए।

प्रश्न: क्या LWW पर्याप्त है?

A: कैश, मैट्रिक्स और सेकेंडरी इंडेक्स के लिए - अक्सर हाँ। उपयोगकर्ता डेटा और पैसे के लिए, लगभग हमेशा नहीं।

प्रश्नः मैं डीडुप्लिकेशन विंडो कैसे चुनूंगा?

A: अधिकतम अपेक्षित री-डिलीवरी देरी + नेटवर्क जिटर पर ध्यान केंद्रित करें, 3-5 × आइटम 99 का मार्जिन जोड़ें।

प्रश्न: क्या आपको हमेशा HITL करना चाहिए?

A: नहीं। विवाद/मूल्य विरोधाभासों के लिए HITL छोड़ दें और बाकी लॉग करें।

12) कुल

प्रभावी संघर्ष का पता लगाना और संकल्प उपयुक्त एल्गोरिदम (CRDT/OTC/MVCC/आम सहमति) और अवलोकन द्वारा पूरक, कारण लेबल, और स्पष्ट नीति का एक संयोजन है। सिस्टम जहां संघर्ष एक "सामान्य" स्थिति है सुलभ और अनुमानित है; सिस्टम जहां संघर्ष एक "अपवाद" है जो सबसे खराब समय पर टूट जाता है। एक मॉडल चुनें, नियमों को औपचारिक रूप दें, और परिणाम को मापें।