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

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

כמו הגרסה הקודמת של התיקונים, מהדורת v10 מצטמצמת למינימום, מספיק כדי לבנות מודול ליבה פשוט שנכתב בשפת Rust. ההבדלים מהגרסה הקודמת מסתכמים בעריכות קטנות, החלפת sizeof ב-ARRAY_SIZE ב-kallsyms.c והתאמת תיקונים לגרעין v6.0-rc7. צפוי שהתיקון המינימלי, שגודלו הצטמצם מ-40 ל-13 אלף שורות קוד, יפשט את האימוץ של תמיכת Rust לתוך הליבה הראשית. לאחר מתן תמיכה מינימלית, מתוכנן להגדיל בהדרגה את הפונקציונליות הקיימת, תוך העברת שינויים אחרים מסניף Rust-for-Linux.

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

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

מקור: OpenNet.ru