Rust מוכנה כעת להצטרף ל-C כשפה מעשית ליישום בלינוקס
לפני מספר שבועות שיתפנו כאן בבלוג את החדשות על האישור שנעשה במהלך פסגת הקוד הפתוח באירופה, מאת לינוס טורוואלדס הכריז כי, למעט בעיות בלתי צפויות, סויכלול תיקונים לתמיכה בפיתוח מנהל ההתקן Rust בקרנל Linux 6.1, שצפוי לצאת בדצמבר.
הסיבה להזכיר זאת היא מיגל אוג'דה, מחבר פרויקט Rust-for-Linux, הכריז לאחרונה ההשקה של ההצעה העשירית של הרכיבים לפיתוח מנהלי התקנים של חלודה למפתחי ליבת לינוקס לשקול.
ככזה זו המהדורה האחת עשרה של התיקונים, תוך התחשבות בגרסה הראשונה שפורסמה (ללא מספר גרסה). Linus Torvalds אישר את הכללת תמיכת Rust בליבת Linux 6.1, ללא בעיות בלתי צפויות.
ראוי להזכיר כי הפיתוח ממומן על ידי גוגל ו-ISRG (Internet Security Research Group), המייסדת את פרויקט Let's Encrypt ומקדמת HTTPS ופיתוח טכנולוגיות להגברת אבטחת האינטרנט.
כמה של היתרונות של קבלת תמיכת חלודה בקרנל הם מקלים על כתיבת בקרים של מכשירים מאובטחים על ידי הפחתת הסיכויים לשגיאות זיכרון ולעודד מפתחים חדשים להיות מעורבים בקרנל.
"חלודה היא אחד הדברים שלדעתי יביאו פרצופים חדשים... אנחנו מזדקנים ואפורים", אמר לינוס.
הערות השחרור עבור Linux 6.0 מספק עדכון על התקדמות פרויקט Rust עבור לינוקס: ישנה קבוצת עבודה קשורה, מנהל התקן ראשוני עבור מדיית אחסון NVMe שפותחה בשפה זו זמין, כמו גם מנהל התקן עבור שרת המיועד לפרוטוקול רשת 9P.
ניצול האזכור לגבי גרסת ליבה 6.1 Linus גם הודיעה שגרסה 6.1 של הקרנל תשפר חלק מהחלקים הישנים יותר ובסיסי ליבה, כגון הפונקציה printk() .
לגבי הצעה חדשה זו עבור תיקוני חלודה, כמו גם הגרסה האחרונה של התיקונים, הגרסה העשירית מופשטת למינימום, מספיק כדי לבנות מודול ליבה פשוט שנכתב ב- Rust.
הבדלים עם הגרסה הקודמת מצטמצמים לתיקונים קלים, החלפת sizeof ב-ARRAY_SIZE ב-kallsyms.c והעברת תיקונים ל-kernel v6.0-rc7.
תמיכת חלודה עדיין צריכה להיחשב נסיונית. על כל פנים,
התמיכה מספיק טובה כדי שמפתחי ליבה יוכלו להתחיל לעבוד עליה.
התיקון המינימלי, שצומצם מ-40 שורות קוד ל-000 שורות קוד, צפוי, להקל על אימוץ תמיכת חלודה בליבה. לאחר מתן תמיכה מינימלית, מתוכנן להגדיל בהדרגה את הפונקציונליות הקיימת, תוך העברה של שינויים אחרים מסניף Rust-for-Linux.
השינויים המוצעים מאפשרים להשתמש ב- Rust כשפה שנייה לפיתוח מנהלי התקנים ומודולי ליבה. תמיכת Rust מוצגת כאפשרות שאינה מופעלת כברירת מחדל ואינה גורמת לכך ש- Rust נכלל בין תלויות הבנייה הנדרשות עבור הליבה.
שימוש ב-Rust לפיתוח מנהלי התקנים יאפשר לכם ליצור דרייברים טובים ובטוחים יותר במינימום מאמץ, ללא בעיות כמו גישה לאזור זיכרון לאחר שחרורו, מצביעי אפס ביטול והצפת חיץ.
טיפול בטוח בזיכרון מסופק ב- Rust בזמן הקומפילציה על ידי בדיקת הפניות, מעקב אחר בעלות על אובייקט ומשך חיי אובייקט (היקף), וכן על ידי הערכת נכונות הגישה לזיכרון במהלך ביצוע קוד.
גם חלודה מספק הגנה על הצפת מספרים שלמים, דורש אתחול חובה של ערכי משתנים לפני השימוש, מטפל טוב יותר בשגיאות בספרייה הסטנדרטית, אוכף את הרעיון של משתנים והפניות בלתי ניתנים לשינוי כברירת מחדל, מציע הקלדה סטטית חזקה כדי למזער שגיאות לוגיות.
בסופו של דבר אם אתה מעוניין לדעת יותר על כך לגבי הפתק, ניתן לעיין ברשימות התפוצה בנושא, בקישור הבא.