מפתחי מערכת ההפעלה Redox נחשפו לאחרונה שהם הציגו מנהל החבילות החדש פקגר, אשר ישמש בתוך המערכת.
למי שלא יודע על Redox אשר זו מערכת הפעלה כי המוקד העיקרי שלו הוא שהתפתחותה היא באמצעות שפת Rust ומושג המיקרו-קרנל כאשר רק האינטראקציה בין תהליכים וניהול משאבים מסופקת ברמת הגרעין וכל הפונקציונליות האחרת מועברת לספריות שיכולות לשמש הן את הגרעין והן את סוכני המשתמשים.
במסגרת הפרויקט, פורמט פורמט חבילה חדש, ספרייה עם פונקציות לניהול חבילות וכלי שורת פקודה ליצירת ולחילוץ אוסף של קבצים מאומתים בהצפנה.
פורמט ה- pkgar לא נועד להיות אוניברסלי והיא מותאמת במיוחד בהתחשב במפרט של מערכת ההפעלה Redox OS.
מנהל החבילה תומך באימות מקור באמצעות חתימה דיגיטלית ובדיקת תקינות. סכומי בדיקה מחושבים באמצעות פונקציית החשיפה blake3. ניתן לגשת לפונקציונליות הבדיקה של pkgar מבלי לשמור בפועל את קובץ החבילה, ולבצע מניפולציה רק בחלק הכותרת.
בפרט החבילה מורכבת מקובץ כותרת עליונה (.pkgar_head) וקובץ נתונים (.pkgar_data). ניתן להשיג חבילת עיכול מלאה חתומה כהלכה (.pkgar) פשוט על ידי הצמדת קובץ הכותרת לקובץ הנתונים.
קובץ הכותרת מכיל סכומי בדיקה נפרדים עבור הכותרת ומבנים פרמטרים של קובץ הנתונים, כמו גם חתימה דיגיטלית לאימות החבילה.
קובץ הנתונים כולל רשימה רציפה של כל הקבצים והספריות שסופקו בחבילה. לפני כל אלמנט נתונים יש מבנה עם מטא נתונים, הכולל בדיקת נתונים עבור הנתונים עצמם, הגודל, זכויות הגישה, הנתיב היחסי של הקובץ להתקנה וקיזוז הפרמטרים של אלמנט הנתונים הבא.
אם במהלך תהליך העדכון הקבצים הבודדים לא השתנו ובדיקת הבדיקה תואמת, הם מדלגים ולא מורידים.
ניתן לאמת את שלמות המקור על ידי קבלת קובץ הכותרת בלבד ונכונות קובץ הנתונים שנבחר על ידי טעינת המבנים בלבד עם הפרמטרים מקובץ זה וודא שהם תואמים את סכום הבדיקה שנבדק בקובץ הכותרת.
באופן ישיר, ניתן לאמת את הנתונים עצמם לאחר הורדתם, באמצעות סכום הבדיקה של המבנה עם הפרמטרים שקדמו לנתונים.
בתחילה, חבילות מרמזות על אפשרות להרכבה הניתנת לחזרה, מה שמרמז שיצירת חבילה לספרייה ספציפית מובילה תמיד ליצירת חבילה זהה. לאחר ההתקנה נשמרים רק המטא נתונים במערכת, וזה מספיק כדי לבנות מחדש את החבילה מהנתונים המותקנים (הרכב החבילה, בדיקות, נתיבים וזכויות גישה זמינים במטא נתונים).
המטרות העיקריות של pkgar:
- אָטוֹמִי: actualizaciones החל ככל האפשר באופן אוטומטי.
- חיסכון בתנועה: הנתונים מועברים ברשת רק כאשר הגיבוי משתנה (רק קבצים מעודכנים מורידים במהלך העדכון).
- מדובר באלגוריתמי הצפנה מהירים בעלי ביצועים גבוהים (blake3 תומך בהקבלה של עיבוד נתונים בעת חישוב hash). אם נתוני המאגר לא נשמרו בעבר במטמון, ניתן לחשב hash עבור הנתונים שהורדו בזמן האתחול.
- מִעוּטָנוּת: שלא כמו פורמטים אחרים, pkgar כולל רק את המטא נתונים הדרושים לחילוץ החבילה.
- עצמאות במדריך ההתקנה: כל משתמש יכול להתקין את החבילה בכל ספריה (על המשתמש להיות בעל הזכות לכתוב לספרייה שנבחרה).
- אבטחה: מנות תמיד מאומתות בהצפנה ואימות נעשה לפני ביצוע פעולות מנות בפועל (הכותרת נטענת תחילה, ואם החתימה הדיגיטלית נכונה, הנתונים מועברים לספרייה זמנית, המועברת ליעד הספריה לאחר האימות).