Local Database

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

פענוח גיבובים וקידומות של גיבובים

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

נניח שצריך להעביר שלושה ביטויים של תחילית נתיב עם סיומת מארח, כלומר a.example.com/,‏ b.example.com/ ו-y.example.com/, באמצעות תחיליות גיבוב באורך 4 בייטים. נניח גם שהפרמטר של Rice, שמצוין ב-k, נבחר להיות

1. השרת יתחיל בכך שיחשב את הגיבוב המלא של המחרוזות האלה, שהן, בהתאמה:

291bc5421f1cd54d99afcc55d166e2b9fe42447025895bf09dd41b2110a687dc  a.example.com/
1d32c5084a360e58f1b87109637a6810acad97a861a7769e8f1841410d2a960c  b.example.com/
f7a502e56e8b01c6dc242b35122683c9d25d07fb1f532d9853eb0ef3ff334f03  y.example.com/

לאחר מכן, השרת יוצר תחיליות גיבוב של 4 בייטים לכל אחד מהפריטים שלמעלה. אלה 4 הבייטים הראשונים של הגיבוב המלא בן 32 הבייטים, שמתורגמים כמספרים שלמים של 32 ביט בסדר big-endian. המשמעות של big endian היא שהבייט הראשון של הגיבוב המלא הופך לבייט המשמעותי ביותר של המספר השלם באורך 32 ביט. השלב הזה מניב את המספרים השלמים 0x291bc542,‏ 0x1d32c508 ו-0xf7a502e5.

השרת צריך למיין את שלוש הקידומות האלה של גיבוב לפי סדר אלפביתי (שווה ערך למיון מספרי ב-big endian), ותוצאת המיון היא 0x1d32c508, ‏ 0x291bc542, ‏ 0xf7a502e5. הקידומת הראשונה של הגיבוב נשמרת ללא שינוי בשדה first_value.

לאחר מכן, השרת מחשב את שני ההפרשים הסמוכים, שהם 0xbe9003a ו-0xce893da3 בהתאמה. מאחר ש-k נבחר כ-30, השרת מחלק את שני המספרים האלה לחלקי החולקה ולחלקי השארית באורך 2 ו-30 ביט, בהתאמה. במספר הראשון, חלק המכפיל הוא אפס והיתרה היא 0xbe9003a. במספר השני, חלק המכפיל הוא 3 כי שתי הסיביות המשמעותיות ביותר הן 11 בספרות בינאריות והיתרה היא 0xe893da3. עבור סכום נתון q, הוא מקודד ל-(1 << q) - 1 באמצעות בדיוק 1 + q ביט; השארית מקודדת ישירות באמצעות k ביט. החלק של החולקה במספר הראשון מקודד כ-0, והחלק של השארית הוא 001011111010010000000000111010 בספרות בינאריות. החלק של החולקה במספר השני מקודד כ-0111, והחלק של השארית הוא 001110100010010011110110100011.

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

001110100010010011110110100011 # Second number, remainder part
0111 # Second number, quotient part
001011111010010000000000111010 # First number, remainder part
0 # First number, quotient part

כאשר כותבים את זה בשורה אחת, זה נראה כך:

00111010001001001111011010001101110010111110100100000000001110100

כמובן שהמספר הזה חורג בהרבה מ-8 הביטים שזמינים בבייט אחד. לאחר מכן, קידוד little endian לוקח את 8 הסיביות הפחות משמעותיות במספר הזה, ומפיק אותן כבייט הראשון, שהוא 01110100. לשם הבהרה, אפשר לקבץ את מחרוזת הביטים שלמעלה לקבוצות של שמונה, החל מהביטים המשמעותיים פחות:

0 01110100 01001001 11101101 00011011 10010111 11010010 00000000 01110100

לאחר מכן, קידוד little endian לוקח כל בייט מהצד הימני ומכניס אותו למחרוזת בייטים:

01110100
00000000
11010010
10010111
00011011
11101101
01001001
01110100
00000000

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

זה מוביל בסופו של דבר לכך

additions_four_bytes {
  first_value: 489866504
  rice_parameter: 30
  entries_count: 2
  encoded_data: "t\000\322\227\033\355It\000"
}

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

פענוח של אינדקסים של הסרות

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