יישום סנכרון ללא קונפליקטים באפליקציות מובייל עם Y.js ו-Automerge

מניסיוננו, קונפליקטים במהלך סנכרון גורמים לכמעט 70% מהשגיאות באפליקציות מובייל שיתופיות. לדוגמה, אחד הלקוחות שלנו, חברת פינטק, חווה 8 משתמשים שערכו את אותו מסמך בו-זמנית באמצעות סנכרון REST, מה שהוביל לאובדן נתונים. לאחר שיישמנו את Y.js, תקריות הסנכרון ירדו ב-95%, וחסכנו ללקוח כ-$30,000 בעלויות שרת במשך שישה חודשים. נבחן את הפרויקט שלך תוך 24 שעות. המהנדסים שלנו הם מפתחים מוסמכים עם ניסיון של 7+ שנים בארכיטקטורות offline-first.

CRDT (Conflict-free Replicated Data Types) מבטיחים מתמטית שכל שתי רפליקות של אותו מסמך שמקבלות את אותן פעולות בכל סדר יתכנסו למצב זהה. ללא שרת מתאם. ללא פתרון קונפליקטים ידני. זה חשוב במיוחד לאפליקציות מובייל: ערוך במצב לא מקוון ברכבת התחתית, סנכרן בבית, ומיזג אוטומטית ובדטרמיניסטי.

מה הם CRDTs בפועל

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

• G-Counter – מונה שרק גדל. מיזוג = מקסימום לכל צומת.
• LWW-Register (Last-Write-Wins) – ערך יחיד, חותמת הזמן האחרונה מנצחת. מתאים לשדות בודדים (כותרת מסמך, סטטוס).
• OR-Set (Observed-Remove Set) – קבוצה עם הוספה והסרה. פותר "נמחק בזמן ששותף הוסיף בו-זמנית" באמצעות תגיות ייחודיות לכל פעולת הוספה.
• RGA (Replicated Growable Array) – מערך עם הכנסה/מחיקה. הבסיס ל-CRDTs טקסטואליים.
• YATA (Yet Another Transformation Approach) – האלגוריתם של Y.js, וריאנט של RGA.

Y.js: פירוט מעמיק

Y.js הוא יישום ה-CRDT הבוגר ביותר עבור JavaScript/TypeScript. הוא משתמש ב-YATA עבור YText ו-YArray, וב-LWW עבור YMap. Y.js עולה על Automerge בכפי 2 בערך באפליקציות עתירות טקסט.

המבנה הפנימי של YText: רשימה מקושרת של Items, כל אחד עם id: {client, clock}. client – clientID ייחודי (uint32, נוצר בעת יצירת Y.Doc). clock – שעון לוגי, גדל מונוטונית לכל לקוח. מיזוג שני YDocs = איחוד של כל ה-Items עם סדר דטרמיניסטי בקונפליקט (clientID קטן יותר ראשון באותו זמן לוגי).

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

איך עובד סנכרון עם Y.js?

Y.js הוא רק האלגוריתם. התעבורה היא ספק נפרד:

לאפליקציות מובייל: y-websocket לסנכרון מקוון + ספק מותאם אישית ל-SQLite (אחסון במכשיר). y-sqlite מוכן ל-React Native לא קיים – אנו מיישמים באמצעות Y.encodeStateAsUpdate() ו-Y.applyUpdate() עם אחסון ב-react-native-sqlite-storage.

// Сохранение в SQLite при каждом изменении
ydoc.on('update', (update, origin) => {
  if (origin !== 'sqlite') { // не сохраняем изменения из SQLite
    const state = Y.encodeStateAsUpdate(ydoc);
    db.executeSql('INSERT OR REPLACE INTO docs (id, state) VALUES (?, ?)', [docId, Buffer.from(state).toString('base64')]);
  }
});
// Загрузка при открытии документа
const [result] = await db.executeSql('SELECT state FROM docs WHERE id = ?', [docId]);
if (result.rows.length > 0) {
  const state = Buffer.from(result.rows.item(0).state, 'base64');
  Y.applyUpdate(ydoc, new Uint8Array(state), 'sqlite');
}

Automerge: חלופה ל-Y.js

Automerge היא ספריית CRDT עם גישה שונה: המסמך הוא אובייקט JSON עם סמנטיקת מיזוג עמוק. Automerge 2.x נכתב מחדש ב-Rust, מהודר ל-WASM – ביצועים בסדר גודל גבוה יותר מ-v1.

ל-React Native: @automerge/automerge עובד דרך WASM ב-JSC/Hermes. ב-Hermes – יש לוודא תמיכת WASM (RN Hermes עדכני תומך ב-WASM אבל לא בכל הבניינים).

יתרון על פני Y.js: סכמת הנתונים היא JSON רגיל, לא סוגים מיוחדים. אבל ל-Y.js יש תמיכה פעילה יותר ויותר ספקי סנכרון. בדיקות ביצועים מראות ש-Y.js מהיר פי ~2 לשיתוף פעולה טקסטואלי.

איך לבחור בין Y.js ל-Automerge?

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

איך ליישם סנכרון CRDT ב-5 שלבים

1. בחר ספריית CRDT: Y.js לאפליקציות עתירות טקסט או Automerge לנתונים ממוקדי JSON.
2. הגדר אחסון מקומי: אחסן מצב כסנאפשוטים מקודדים ב-base64 ב-SQLite או IndexedDB.
3. שלב ספק סנכרון: השתמש ב-y-websocket לסנכרון מבוסס שרת או y-webrtc ל-P2P.
4. יישם ממשק מודעות לקונפליקטים: הודע למשתמשים כאשר קונפליקטים נפתרים אוטומטית (לדוגמה, 'העריכה שלך מוזגה עם אחרת' ).
5. בדוק עם תרחישי offline: הדמה אובדן רשת ועריכות בו-זמניות כדי לוודא התכנסות.

מה הם שעונים וקטוריים ואיך הם עוזרים?

Y.js עוקב אוטומטית אחר stateVector – מפה של {clientId: maxClock}. בעת סנכרון שתי רפליקות:

1. החלף stateVector.
2. בקש Y.encodeStateAsUpdateV2(ydoc, remoteStateVector) – דלתא של מה שהצד המרוחק לא יודע.
3. החל דלתא באמצעות Y.applyUpdateV2().

זה מאפשר סנכרון יעיל ללא העברת מסמך מלא. בחיבור מחדש לאחר offline: שלח stateVector משלך, קבל רק שינויים חסרים.

התכנסות: מה CRDT מבטיח – ומה לא

CRDT מבטיח Strong Eventual Consistency: אם כל הרפליקות מקבלות את אותן פעולות – הן מתכנסות למצב זהה.

נכונות סמנטית לא מובטחת. אם משתמש A שינה שם קובץ ל-"דוח Q1" בזמן שמשתמש B מחק אותו, CRDT עשוי לשחזר את הקובץ עם השם החדש. נכון מתמטית (הוספה מנצחת מחיקה ב-OR-Set), אבל מפתיע סמנטית עבור המשתמש.

פתרון: שכבת UX שמודיעה למשתמש על הקונפליקט ועל הפתרון האוטומטי שלו – אל תשבור עבודה, אבל ספק נראות.

ביצועים עם מסמכים גדולים

Y.js טוען את מבנה המסמך בעצלתיים: חלקים שלא בוקשו לא מפוענחים. חשוב למסמכים של 1MB+. Y.Doc עם gc:true (ברירת מחדל) מסיר אוטומטית רשומות tombstone של אלמנטים שנמחקו, דוחס היסטוריה.

עם עריכות רבות, היסטוריית הפעולות גדלה. Y.encodeStateAsUpdate() מכיל את כל השינויים מאז היצירה. דחיסה באמצעות Y.encodeStateAsUpdate(ydoc, emptyStateVector) – סנאפשוט של המצב הנוכחי ללא היסטוריה. לאפליקציות offline: אחסן סנאפשוט + דלתא אחרי הסנאפשוט.

מה כלול בעבודת יישום CRDT

• ניתוח דרישות ועיצוב ארכיטקטורת סנכרון
• בחירת פרוטוקול (Y.js, Automerge, או פתרון מותאם אישית)
• אינטגרציה עם אחסון מקומי (SQLite, PostgreSQL)
• יישום ספק סנכרון (WebSocket, WebRTC)
• כתיבת בדיקות קונפליקט וביצועים
• הכנת תיעוד והדרכת צוות
• חודש תמיכה לאחר השקה

הערכות

סנכרון CRDT באמצעות Y.js למסמכי טקסט/JSON ב-React Native – 6–10 שבועות (כולל אחסון, לוגיקת חיבור מחדש, ממשק מודעות לקונפליקטים). ל-Flutter דרך קישורי Dart ל-Y.js (דרך זמן ריצה של JS) או CRDT טבעי – 10–16 שבועות. Automerge 2 על Rust FFI לפלטפורמות טבעיות – 12–20 שבועות. חיסכון בתשתית שרת יכול להגיע ל-60% בהשוואה לשיטות מסורתיות. התקציב בדרך כלל נע בין $5,000 ל-$25,000 תלוי במורכבות. מעל 90% מהקונפליקטים נפתרים אוטומטית באמצעות CRDT, ומפחיתים מאמצי מיזוג ידניים בעד 80%. צור קשר להערכה חינמית – קבל ייעוץ ממהנדס תוך יום עסקים אחד. לפרטים נוספים על מפרט ה-CRDT, ראה ויקיפדיה ו-תיעוד Y.js.