פרויקט Redox OS הציג את מנהל החבילות pkgar, שנכתב ב- Rust

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

פורמט pkgar אינו מתיימר להיות אוניברסלי והוא מותאם תוך התחשבות בפרטים הספציפיים של מערכת ההפעלה Redox OS. מנהל החבילות תומך באימות מקור באמצעות חתימה דיגיטלית ובקרת שלמות. סכומי המחאה מחושבים באמצעות פונקציית hash blake3. ניתן לגשת לפונקציונליות הקשורה לאימות של pkgar מבלי לאחסן בפועל את ארכיון החבילה, על ידי מניפולציה רק ​​בחלק הכותרת. בפרט, החבילה מורכבת מקובץ כותרת (.pkgar_head) וקובץ נתונים (.pkgar_data). ניתן לקבל חבילת סיכום מלאה חתומה כהלכה (.pkgar) על ידי הוספת קובץ הכותרת לקובץ הנתונים ("cat example.pkgar_head example.pkgar_data > example.pkgar").

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

ניתן לבדוק את תקינות המקור על ידי קבלת קובץ ה-header בלבד, ואת תקינות קובץ הנתונים הנבחר על ידי טעינת המבנים בלבד עם הפרמטרים של קובץ זה ווידוא שהם עומדים ב-checksum המאושר בקובץ ה-header. ניתן לבדוק את הנתונים עצמם לאחר טעינתם, באמצעות ה-checksum מהמבנה עם פרמטרים הקודמים לנתונים.

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

המטרות העיקריות של pkgar:

• אטומיות - עדכונים מוחלים אוטומטית בכל פעם שאפשר.
• חיסכון בתנועה - נתונים מועברים ברשת רק כאשר ה-hash משתנה (במהלך העדכון מורידים רק קבצים שהשתנו).
• נעשה שימוש באלגוריתמים קריפטוגרפיים מהירים עם ביצועים גבוהים (blake3 תומך בעיבוד נתונים מקביל בעת חישוב גיבוב). אם הנתונים מהמאגר לא נשמרו בעבר במטמון, ניתן לחשב hash עבור הנתונים שהורדת בזמן ההורדה.
• מינימליסטי - בניגוד לפורמטים אחרים, pkgar כולל רק את המטא-נתונים הדרושים לחילוץ החבילה.
• עצמאות של ספריית ההתקנה - החבילה ניתנת להתקנה בכל ספרייה, על ידי כל משתמש (על המשתמש להיות בעל הרשאת כתיבה לספרייה שנבחרה).
• אבטחה - מנות תמיד מאומתות קריפטוגרפית, והאימות מתבצע לפני ביצוע פעולות בפועל על החבילה (הכותרת נטענת תחילה ואם החתימה הדיגיטלית נכונה, הנתונים נטענים לתוך ספרייה זמנית, אשר מועברת לספריית היעד לאחר אימות).

מקור: OpenNet.ru