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

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

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

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

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

• המעבר לשימוש במהדורה היציבה של Rust 1.58.0 בתור מהדר ההתייחסות נעשה. בין השינויים הדרושים לפרויקט, שעדיין אינם כלולים בערכת הכלים הראשית של Rust, דגל "-Zsymbol-mangling-version=v0" (צפוי ב- Rust 1.59.0) ומצב "maybe_uninit_extra" (צפוי ב- Rust 1.60.0 .XNUMX) מצוינים. .
• הוסיפו בדיקות אוטומטיות לזמינות של כלי Rust מתאימים והרחיבו את היכולת לבדוק תמיכת Rust במערכת.
• הפשטות חדשות הוצעו לגישה לטבלאות מזהה מכשירים ("IdArray" ו-"IdTable") מקוד Rust.
• נוספו שכבות לגישה לפונקציות הקשורות לטיימר (מסגרת שעון).
• מנהלי הפלטפורמה מוגדרים כעת באמצעות יישומי תכונה.
• מאקרו חדש נוסף כדי לפשט את הרישום של מנהלי התקנים לפלטפורמה, והוצעה תבנית דרייבר גנרית חדשה.
• נוספו פקודות מאקרו עבור מבני "dev_*".
• נוספו שיטות "{read,write}*_relaxed" עבור סוג IoMem .
• הוסר את המאפיין FileOpener כדי לפשט את פעולות הקבצים.
• הפרמטר "ThisModule" נוסף לארגומנטים שהועברו בעת רישום מנהל ההתקן.
• מוצעת תבנית סטנדרטית ליצירת מודולי ליבה בשפת Rust.

מקור: OpenNet.ru