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

Miguel Ojeda, מחבר פרויקט Rust-for-Linux, הציע שחרור של רכיבי v5 לפיתוח מנהלי התקנים בשפת Rust לשקול על ידי מפתחי ליבת לינוקס. זוהי המהדורה השישית של התיקונים, בהתחשב בגרסה הראשונה, שפורסמה ללא מספר גרסה. תמיכת חלודה נחשבת נסיונית, אך היא כבר כלולה בענף ה-linux-next ומפותחת מספיק כדי להתחיל בעבודה על יצירת שכבות הפשטה על גבי תת-מערכות ליבה, כמו גם כתיבת מנהלי התקנים ומודולים. הפיתוח ממומן על ידי גוגל ו-ISRG (Internet Security Research Group), המייסדת את פרויקט Let's Encrypt ומקדמת HTTPS ופיתוח טכנולוגיות לשיפור אבטחת האינטרנט.

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

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

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

• ערכת הכלים עודכנה לשחרור Rust 1.59.0. גרסה של ספריית alloc מסונכרנת גם עם הגרסה החדשה של Rust, ומבטלת את היצירה האפשרית של מצב "פאניקה" כאשר מתרחשות שגיאות, כגון חסר זיכרון. היכולת להשתמש בתוספות אסמבלר ("פיצ'ר(גלובל_asm)") התייצבה.
• נוספה תמיכה ליצירת תוכניות מארח ב-Rust המשמשות במהלך הידור ליבה.
• במקום לספק קבצי מפרט פלטפורמת יעד שנוצרו מראש, הם נוצרים באופן דינמי על סמך תצורת הליבה.
• נוסף פרמטר ליבת HAVE_RUST כדי לאפשר ארכיטקטורות התומכות ב- Rust.
• הפשטות מוצעות לשימוש בקוד Rust עבור מחולל מספרים פסאודו-אקראיים של חומרה.
• איפשר שימוש בקודי שגיאה ללא הקידומת "Error::" (לדוגמה, "return Err(EINVAL)") כדי להעריך את הטיפול בקודי שגיאה ב-C.
• נוסף סוג "CSstring" עבור מחרוזות C מותאמות אישית. סוגי הפורמט והמאגר שולבו.
• נוספו סוגי Bool ו- LockInfo.
• היישום של מנעולי ספין פושט.

מקור: OpenNet.ru