יכולת סריאליזציה ובידוד של עסקאות

בדף הזה מתוארים התנגשות נתונים טרנזקציונלית, סריאליזציה ובידוד. דוגמאות קוד של טרנזקציות זמינות במאמר בנושא טרנזקציות וכתיבות באצווה.

טרנזקציות ועימות נתונים

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

התנגשות בגישה לנתונים

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

‫Cloud Firestore resolves data contention by delaying or failing one of the operations. Cloud Firestore ספריות הלקוח מנסות באופן אוטומטי לבצע שוב טרנזקציות שנכשלות בגלל התנגשות נתונים. אחרי מספר סופי של ניסיונות חוזרים, פעולת העסקה נכשלת ומוחזרת הודעת שגיאה:

ABORTED: Too much contention on these documents. Please try again.

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

אמצעי בקרה לבו-זמניות

מצב הבו-זמניות הוא אפשרות להגדרה במסד הנתונים. ‫Cloud Firestore תומך במצבי הבו-זמניות הבאים:

• ‫PESSIMISTIC: אמצעי בקרה אופטימיים של פעולות בו-זמניות מניחים שסביר להניח שיהיו התנגשויות בנתונים. בטרנזקציות פסימיות נעשה שימוש בנעילות של מסדי נתונים כדי למנוע מפעולות אחרות לשנות את הנתונים.

  באמצעות אמצעי בקרה אופטימיים על מקביליות, טרנזקציות מציבות נעילות על המסמכים שהן קוראות. נעילה של מסמך על ידי טרנזקציה חוסמת טרנזקציות אחרות, כתיבות באצווה וכתיבות לא טרנזקציוניות מלשנות את המסמך הזה. A transaction releases its document locks at commit time. הוא גם משחרר את הנעילות שלו אם הוא מגיע לזמן קצוב או נכשל מסיבה כלשהי.

  כשעסקה נועלת מסמך, פעולות כתיבה אחרות צריכות להמתין עד שהעסקה תשחרר את הנעילה. הנעילות של העסקאות מתבצעות לפי הסדר הכרונולוגי.

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

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

הגדרות ברירת המחדל של מצב בו-זמניות

ערך ברירת המחדל במהדורת Standard הוא PESSIMISTIC. ערך ברירת המחדל במהדורת Enterprise הוא OPTIMISTIC. עם זאת, ההתנהגות תלויה גם בסוג ספריית הלקוח:

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

הצגת מצב הפעולה בו-זמנית

מריצים את הפקודה gcloud firestore databases describe כדי לראות את מצב הגישה המקבילית בצד השרת של מסד הנתונים:

gcloud firestore databases describe \
  --project=PROJECT_ID \
  --database=DATABASE_ID

שינוי מצב ההפעלה בו-זמנית

מריצים את הפקודה gcloud firestore databases update כדי לשנות את מצב הבו-זמניות בצד השרת של מסד הנתונים:

gcloud firestore databases update \
  --project=PROJECT_ID \
  --database=DATABASE_ID \
  --concurrency-mode=CONCURRENCY_MODE

where:

• ‫CONCURRENCY_MODE הוא PESSIMISTIC או OPTIMISTIC.
• ‫PROJECT_ID הוא המזהה של פרויקט Google Cloud.
• ‫DATABASE_ID הוא המזהה של מסד הנתונים Cloud Firestore.

התנגשות נתונים ב-SDK לניידים או ל-SDK לאתרים

ערכות SDK לנייד ולאינטרנט מדמות טרנזקציות של אופטימיזציה של פעולות בו-זמניות באמצעות תנאים מוקדמים לכתיבה בגרסאות של מסמכים. האמולציה הזו מתרחשת ללא קשר להגדרת מצב המקבילות של מסד הנתונים. ערכות ה-SDK לנייד ולאינטרנט לא משתמשות בתכונה built-in transactions, ולכן גם אם מצב הבו-זמניות של מסד הנתונים מוגדר ל-PESSIMISTIC, לקוחות לנייד עדיין מתנהגים בצורה אופטימית.

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

התנגשות נתונים בספריות הלקוח של השרת

ספריות לקוח של שרת (C#‎,‏ Go, ‏ Java, ‏ Node.js, ‏ PHP, ‏ Python, ‏ Ruby) משתמשות בתכונה מוכללת של טרנזקציות. העסקאות האלה משתמשות בהגדרה של מצב מקביליות ברמת מסד הנתונים, וערך ברירת המחדל תלוי במהדורה:

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

• מהדורת Standard משתמשת באמצעי בקרה פסימיים על פעולות בו-זמניות, ומניחה שיש זמן אחזור נמוך וחיבור אמין למסד הנתונים.

בידוד סריאלי

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

• כדי שהדיווח על עסקאות יהיה מדויק, הנתונים צריכים להיות מדויקים ועקביים.
• כדי להשתמש במשאבים בצורה יעילה, מסדי נתונים מבצעים פעולות בו-זמנית.

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

בידוד ניתן לסדר מגדיר את רמת הבידוד הגבוהה ביותר. בידוד ניתן לסריאליזציה, כלומר:

• אפשר להניח שמסד הנתונים מבצע עסקאות בסדרה.
• שינויים שלא בוצעו בפעולות מקבילות לא משפיעים על עסקאות.

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

‫Cloud Firestore מבטיח בידוד של טרנזקציות שניתן לסדר בסדרות. עסקאות ב-Cloud Firestore עוברות סריאליזציה ומבודדות לפי זמן ביצוע השינויים.

בידוד סדרתי לפי זמן ביצוע

‫Cloud Firestore מקצה לכל עסקה זמן אישור שמייצג נקודה אחת בזמן. כש-Cloud Firestore מבצע commit לשינויים של טרנזקציה במסד הנתונים, אפשר להניח שכל פעולות הקריאה והכתיבה בטרנזקציה מתבצעות בדיוק בזמן ה-commit.

ביצוע בפועל של עסקה דורש פרק זמן מסוים. ההרצה של טרנזקציה מתחילה לפני זמן השמירה, וההרצה של כמה פעולות עשויה לחפוף. ‫Cloud Firestore תומך בבידוד שמאפשר סריאליזציה ומבטיח את הדברים הבאים:

• ‫Cloud Firestore מבצעת עסקאות לפי סדר הזמן של ביצוען.
• ‫Cloud Firestore מבודד עסקאות מפעולות מקבילות עם זמן אישור מאוחר יותר.

במקרה של מחלוקת על נתונים בין פעולות מקבילות, Cloud Firestore משתמשת באמצעי בקרת בו-זמניות אופטימיים ופסימיים כדי לפתור את המחלוקת.

בידוד בתוך טרנזקציה

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

בעיות שקשורות להתנגשות נתונים

מידע נוסף על התנגשות נתונים ועל פתרון בעיות מופיע בדף לפתרון בעיות.