זיהוי סכסוכים ופתרון

1) מה נחשב לסכסוך

קונפליקט הוא מצב שבו שני מקורות שינוי או יותר טוענים למצבים לא מתאימים של אותה ישות, משאב או אינווריאנט.

תחביר: שינויים חופפים לקובץ אחד/מפתח (מיזוג קונפליקט ב Git, תיקון התנגשות ב Kustomize).
סמנטי: מסמך נכון בהתאם לתכנית מפר את האינווריאנט העסקי (סכום חיוב לאשראי, הגבלה חרגה).
תפעולי/זמני: לכתוב/לקרוא גזעים, לשכפל אירועים, לגרום-אפקט אי התאמה.
Domain: פעולות מתחרות על המשאב (מכירת כרטיסים כפולה, סחורה מופרזת).

המשימה: לגלות את הסכסוך מוקדם ככל האפשר, להסביר את סיבתו ולבחור בבטחה את אחת הפעולות: התאוששות אוטומטית, מגש מחדש, מיזוג, פיצוי, הסלמה.

2) מנגנוני גילוי

2. 1 ורסיונינג והשוואת מצבים

ETag/IF-match במנוחה, rowversion/xmin in DB - איבוד עדכון.
מיזוג 3 (בסיס, שלנו, שלהם) - הדגשת ערכות לא מתאימות.
Checksum/Hash על ידי שדה/מסמך - השוואה זולה.

2. 2 תוויות זמן וסיבתיות

שעון לאמפורט: סדר מלא ”משוער בזמן”.

שעוני וקטור/גרסה: זיהוי תחרותי (A	B) נגד סיבתיות (A = B).
וקטורי גרסה על רמזים/צדדים - זיהוי סטייה.

2. 3 אינווריאנטים ואילוצים

סכימות ואימות (JSON Schema/OpenAPI) - תוקף סינטקטי.
אינווריאנטים: ייחודיות, אי-שליליות, שיווי משקל, חוקי ACL.
בדיקות שלמות: FK/UNCULT/IndEVE Index, אילוצים חלקיים.
דומיין טוען בקוד/מדיניות (OPA/Kyverno/Confest).

2. 4 זיהוי במקרה של זרמים

חנות Idempotency Key/Dedup Store (למשל: רדיס/DB עם TTL): דחייה של טייקים.
Transactional/Extreme-פעם בהזרמה: transactional id, epock, sustmer-offset.
זיהוי מרווח רצף: פערים, חזרות (n, n + 1, n + 1).

2. 5 יכולת תצפית ותזכורת

שגיאה/התנגשות/מגש מחדש פרומטריה.

סיבות מפורטות (תוויות: סוג = סמנטי	תחביר, ישות, שבר).
עקבות - קשרים מתנגשים עם עסקאות/טלאים ספציפיים.

3) אסטרטגיות רזולוציה

3. 1 אוטומטי לחלוטין (בטוח בהגדרה)

(CRDT): G-Counter, PN-Counter, OR-SET, LWW-Register, מפה/גרף CRDT.

הבטחת התכנסות ללא תיאום; הבחירה באובדן/שימור סמנטיקה היא חשובה.
פעולות קומפורטיביות: מיושמות בכל סדר (שינויים, נספחי לוג).
מפעילי אידמפוטנטים: חזרות אינן משנות את התוצאה (עצבני על ידי מפתח, לשים-אם-היעדר).
מיזוג אופטימי של מבנים: ”מיזוג עמוק + מדיניות” עם סדר דטרמיניסטי.

3. 2 חצי אוטומטי (עם מדיניות)

שלושה כללי מיזוג + מערך ("להחליף" Append' By (מפתח) PatchBy (מפתח) ".
(LWW (Last-Write-Wins: פשוט אך מסוכן לאבד תקינות סיבתית.
סדרי העדיפויות של המקורות הם ”קלט אינטראקטיבי> הגדרות מברירות המחדל של הקובץ>”.
כללי עסקים: ”אם המגבלה היא מעבר - אישור חלקי/פיצוי”.

3. 3 תיאום

OCC/MVCC (חסימה אופטימית/רב-גירסה): פיוס גרסה, מגש מחדש.
מנעולים פסימיים: "בחר... עבור עדכון, מנעולים מבוזרים (רדלוק/DB-lock/etcd).
קונסנזוס (רפסודה/פקסוס): מנהיג אחד מחליט סדר; יש פחות קונפליקטים, המחיר הוא אחיד.

3. 4 אדם בלולאה (HITL)

UI למיזוג ידני/שרירותיות (במיוחד תוכן, תעריפים, קטלוגים).
תצוגה מקדימה של דיפה, הסבר של מדיניות, כפתורים: ”לקבל את שלנו/שלהם”, ”למזג שדות”, ”ליצור פיצוי”.

4) תבניות על ידי שכבות ארכיטקטורה

4. 1 API/REST/gRPC

'אם התאמה: <etag>', 409/412 במקרה של קונפליקט * הלקוח חוזר לקחת בחשבון ETag טרי.
Idempotency-Key in POST (תשלומים/הזמנות).
409 סמנטי: תקשר את הסיבה והפעולות המוצעות.

4. 2 מחסני נתונים

RDBMS: MVCC (בידוד תצלום), אינדקסים ייחודיים, אינדקסים חלקיים.
חנויות KV/Doc: גרסאות/תיקונים (reve), השוואה והחלפה (CAS).
שכפול רב-אמן: השתמש/CRDT או כתוב למנהיג רק עבור ישויות קריטיות.

4. 3 תורים/הזרמה

בדיוק פעם אחת (באופן מעשי - ”פעם אחת ביעילות”): יצרן טרנסקציונלי + כתיבה לכיור אטומי.
Dedup על הקונסולה: אחסון N האחרון, upsert/מיזוג לוגיקה.
תבנית Extbox/Inbox: פרסום אירועים עקבי.

4. 4 תצורות ו ־ IC

מיזוג תלת-כיווני בGitOps, שערי מדיניות (OPA/Kyverno) לפני השימוש.
Kustomize/Helm: אסטרטגיות מיזוג דטרמיניסטיות ואיסור על ”מפתחות לא ידועים”.
Terraform: תכנית-diff כאות עימות ”להיסחף נגד מבוקש”.

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. 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: או-SET (סקיצה)

אלמנטים מתווספים עם תג ייחודי, מחיקה - לתג ספציפי.
הקונפליקט ”הוסף נגד הסר” נפתר על ידי שימוש בתגיות הסרה כדי להסיר רק תגי הוספה גלויים.

6) מדיניות רזולוציה: כיצד לנסח

תאר בדוקטרינה אדריכלית:

1. שרשרת עדיפות.

2. אסטרטגיות לפי סוג הנתונים: סקלרים/אובייקטים/מערך/מולטימדיה.

3. מודל סיבתי: האם משתמשים בגרסאות, למפורט, שעונים וקטוריים.

4. איבוד סמנטיקה: מה ניתן לאבד ב-LWW, שבו יש צורך בקונצנזוס.

5. חלונות זמן: TTL לשיכפול, חלונות אידמפוטנציה.

6. הסלמה: כאשר רזולוציה אוטומטית אסורה, דרישות לאישור UI/.

7. פיצויים: אסטרטגיות SAGA ”לבטל/לפצות” עבור הרכבה מחדש של אינווריאנטים.

7) מדדים ו ־ SLO

conflicts_total{type הוא התדר לפי סוג.
conflicts_resolved_auto_ratio - נתח של אישורים אוטומטיים.
mean_time_to_resolution הוא הזמן הממוצע להסדר.
lost_update_incidents - אירועים של עדכונים אבודים.
idempotency_hit_rate - הפרופורציה של מפתחות אידמפוטנטיות שעבדו.
divergence_depth הוא עומק הדיברגנץ של העתק (וקטורי גרסה).

דוגמה: ”99% מהסכסוכים התחבורתיים נפתרים אוטומטית תוך 5 שניות, סכסוכים סמנטיים ב15 דקות ביממה עם HITL”.

8) תרחישים מעשיים

8. 1 תשלומים

מפתח: Idempotency-Key, OCC על שיווי משקל, SAGA על צעדים הפיכים.
ניגוד: מחיקה כפולה של * dedup + balance gress * check = פיצוי חלקי.

8. 2 מלאי/כרטיסים

אפשרויות: חסימת חריץ/מושב פסימית; הסתייגות אופטימית עם הפגת TTL; תור השוואה ומילואים.

8. 3 תוכן/קטלוגים

מיזוג 3 כיוונים + HITL: עורך בוחר בסך הכל; כללי אוטומטי לשדות ”בטוחים” (תגי SEO שאינם משפיעים על המחיר)

8. 4 GitOps/Kubernetes

עדכן ואימות לפני היישום; לדחות על מפתחות לא ידועים; איסור ”- כוח” ללא ביקורת.
זיהוי סחיפה והחזרת מדיניות כפויה.

9) אנטי דפוסים

LWW בכל מקום: פשטות במחיר של אובדן סיבתיות.
מגשים נסתרים ללא אידמפוטנטיות: כפילות דמוית מפולת.
אין מדיניות מערך מפורשת - איבוד שקט של נקודות תצורה.
מוטקס גלובלי על גבי רשתות: SPOF ומנעולים ארוכים.
פיצויים ”עיוורים” ללא ביקורת סיבה: עימותים חוזרים ונשנים.

10) רשימת מימושים

[ ] להגדיר סוגי קונפליקט דומיין ואינווריאנטים.

[ ] בחר את מנגנון הווקטור (ETag/xmin/Vector clock).

[ ] אפשר אידמפוטנטיות בפקודות פוסט/פוסט קריטיות.

[ ] קבע את מדיניות המיזוג לפי סוג הנתונים (סקלרים/מערכים/אובייקטים).

[ ] לאפשר מאשרים סכמות ובדיקות דומיין מראש.

[ ] הגדרת התנגשות ומדדי התראה.

[ ] עבור ישויות ביקורתיות - מנהיג/קונצנזוס, או CRDT.

[ ] לעבוד על זרימת HITL ו-UX (דיף, הערות, יומן ביקורת).

[ ] מסמכים והליכי פיצוי (SAGAS).

11) FAQ

Q: מתי לבחור CRDT ומתי לבחור בקונסנזוס?
A: CRDT מתאים כאשר סופו של דבר עקביות מקובלת וזמינות גבוהה/רישומים מקומיים חשובים. קונסנזוס - למידע עם נכים נוקשים וסדר פעולות קפדני (מאזן מזומנים, זכויות גישה).

קיו: האם LWW מספיקה? ‏

א ": עבור מטמונים, מדדים ואינדקסים משניים - לעתים קרובות כן. עבור נתוני משתמש וכסף, כמעט תמיד לא.

Q: כיצד אבחר חלון שכפול? ‏

א ': התמקד בהשהיית המשלוח המקסימלי + לחץ רשת, הוסף מרווח של 3-5 × פריט 99.

קיו: אתה תמיד צריך לעשות היטל?
א ': לא. השאר את HITL למחלוקות/קונפליקטים ערכיים אוטומטיים ולרשום את השאר.

12) סיכומים

איתור קונפליקטים אפקטיביים ורזולוציה הם שילוב של סיבולת, תוויות סיבתיות, אינווריאנטים ומדיניות ברורה המשלימה על ידי אלגוריתמים מתאימים (CRDT/OT/OCC/MVCC/Consensus) ויכולת תצפית. מערכות שבהן הקונפליקט הוא מצב ”נורמלי” נשארות נגישות וצפויות; מערכות שבהן העימות הוא ”חריג” מתפרקות בזמן הגרוע ביותר האפשרי. בחר מודל, קבע כללים ומדוד את התוצאה.

זיהוי סכסוכים ופתרון

צרו קשר

חיבור מהיר

הווידאו יעודכן בקרוב

אנחנו עמוסים מאוד בפרויקטים כרגע