הגרסה השנייה של התיקונים לתמיכה במנהלי התקנים של חלודה בלינוקס נשלחה

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

מי ששלח את הבקשה למפתחי לינוקס הוא מיגל אוז'דה, מחבר פרויקט Rust-for-Linux וגם עליו דיברנו לפני כמה ימים, שכן הוא נשכר לתפקיד האחראי על פרויקט "Prossimo" שבבסיסו מתמקד בתיאום המאמצים להעביר תשתית קריטית לתוכנה לקוד מאובטח לאבטחת זיכרון הליבה של לינוקס עם Rust (אם ברצונך לדעת יותר על הפרויקט, תוכל להתייעץ מפרסם בקישור למטה.)

Artaculo relacionado:

Prossimo, פרויקט ISRG לאבטחת זיכרון הליבה של לינוקס באמצעות Rust

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

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

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

מהשינויים שבולטים לגרסה החדשה הזו של התיקונים הוא מוזכר:

• קוד הקצאת הזיכרון מונע את האפשרות ליצור בהלה כאשר מתרחשות שגיאות כגון זיכרון.
• כלול גרסה של ספריית הקצאת החלודה, בה הקוד עובר עיבוד מחדש לטיפול במנעולים, אך המטרה הסופית היא להביא את כל התכונות הדרושות לגרעין למהדורה הראשית של ההקצאה (השינויים כבר הוכנו והועברו לספריית Rust הרגילה).
• במקום לבנות לילה, ניתן להשתמש כעת בגרסאות בטא ויציבות מהדר rustc כדי לקמפל גרעין התומך בחלודה. נכון לעכשיו Rustc 1.54-beta1 משמש כמהדר ההפניה, אך לאחר המהדורה של 1.54 בסוף החודש הוא יתמוך כמהדר ההפניה.
• הוסיפה תמיכה בכתיבת מבחנים באמצעות תכונת החלודה הסטנדרטית "# [test]" והיכולת להשתמש בדוקטסטים כדי להשתמש בקוד לדוגמא מהתיעוד כמבחנים.
• תמיכה בארכיטקטורות ARM32 ו- RISCV נוספה בנוסף ל- x86_64 ול- ARM64 שנתמכו בעבר.
  יישומי GCC משופרים Rust (חזית GCC עבור Rust) ו- rustc_codegen_gcc (backend rustc עבור GCC), שעובר כעת את כל אמות המידה.
• א רמה חדשה של הפשטה כדי שתוכניות חלודה ישתמשו במנגנוני גרעין שנכתבו ב- C, כגון עצים, אובייקטים לספירת הפניות, יצירת מתארי קבצים, משימות, קבצים, וקטורי קלט / פלט
• רכיבי פיתוח הנהג שיפרו את התמיכה במודול "file_operations", "macro!", רישום מאקרו ומנהלי התקנים ראשוניים (בדיקה ומחיקה).
• ל- Binder יש תמיכה בהעברת מתארי קבצים וקישורי LSM.
• דוגמה פונקציונלית יותר של מנהל התקן חלודה, bcm2835-rng, מוצעת למחולל מספרים אקראיים לחומרה עבור לוחות Raspberry Pi.

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