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

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

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

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

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

• בדיקות רכיבים לתמיכת Rust נוספו למערכת האינטגרציה הרציפה המבוססת על הבוט 0DAY/LKP הנתמך על ידי אינטל והחל פרסום דוחות בדיקה. אנו מתכוננים לשילוב תמיכת Rust במערכת הבדיקה האוטומטית KernelCI. בדיקות המבוססות על GitHub CI הועברו לשימוש בקונטיינרים.
• מודולי ליבת חלודה משוחררים מהצורך להגדיר את תכונות הארגז "#![no_std]" ו-"#![פיצ'ר(...)]".
• נוספה תמיכה עבור יעדי הרכבה בודדים (.o, .s, .ll ו-.i).
• הנחיות קוד מגדירות כללים להפרדת הערות ("//") וקוד תיעוד ("///").
• הסקריפט is_rust_module.sh עובד מחדש.
• נוספה תמיכה בפרימיטיבים סטטיים (משתנה משותף) סנכרון המבוסס על היישום "CONFIG_CONSTRUCTORS".
• ניהול המנעולים פשוט יותר: Guard ו-GuardMut משולבים וסוג אחד עם פרמטרים.
• ניתן להגדיר פרמטרים נוספים בעת רישום מכשירים.
• נוספה ההפשטה "RwSemaphore", שפועלת כעטיפה על מבנה rw_semaphore C.
• כדי להשתמש ב-mmap, נוספו מודול mm חדש והפשטת VMA (עטיפה על מבנה vm_area_struct).
• מנהל ההתקן של GPIO PL061 הועבר לשימוש במאקרו "dev_*!".
• בוצע ניקוי כללי של הקוד.

מקור: OpenNet.ru