Rust מוכנה כעת להצטרף ל-C כשפה מעשית ליישום בלינוקס
השנה 2022 יכולה להיות השנה של חלודה בתוך ליבת לינוקס, מאז Rust for Linux כנראה מוכן לגרסת ליבת לינוקס 6.1. זה מה שעולה מנאום שנשא לאחרונה לינוס טורוואלדס בפסגת הקוד הפתוח האחרונה.
וזה שהמתחזקים העיקריים של ליבת לינוקס מכירים את שפת ה-C שגילה כבר נחשב כנלקח בחשבון, שכן חלקם אפילו מתקרבים לשישים, בעוד דור חדש של מתחזקים שקבוצת הגיל שלו היא ב-XNUMX, עולה, מה שעשוי להגביר את הקושי למצוא מתחזקים לגרעין הלינוקס אם הפיתוח שלו ימשיך בשפת C.
במהלך פסגת הקוד הפתוח באירופה, הכריז לינוס טורוואלדס כי, למעט בעיות בלתי צפויות, סויכלול תיקונים לתמיכה בפיתוח מנהל ההתקן Rust בקרנל Linux 6.1, שצפוי לצאת בדצמבר.
כמה של היתרונות של קבלת תמיכת חלודה בקרנל הם מקלים על כתיבת בקרים של מכשירים מאובטחים על ידי הפחתת הסיכויים לשגיאות זיכרון ולעודד מפתחים חדשים להיות מעורבים בקרנל.
"חלודה היא אחד הדברים שלדעתי יביאו פרצופים חדשים... אנחנו מזדקנים ואפורים", אמר לינוס.
הערות השחרור עבור Linux 6.0 rc1 מספקים עדכון על התקדמות פרויקט Rust עבור לינוקס: ישנה קבוצת עבודה קשורה, מנהל התקן ראשוני עבור מדיית אחסון NVMe שפותחה בשפה זו זמין, כמו גם מנהל התקן עבור שרת המיועד לפרוטוקול רשת 9P.
עם זאת, הצוות ממשיך להתמודד עם קשיים עם המבנה. למעשה, זה נעשה עם GCC עבור הקרנל בעוד Rust עדיין עם LLVM. ממשק Rust עבור GCC נמצא בעבודות, אך היוזמה עדיין בחיתוליה.
ההתחלה של תמיכת Rust לפיתוח ליבת לינוקס נחשב "צעד חשוב כדי להיות מסוגל לכתוב בקרים בשפה מאובטחת יותר." ה-Rust של Mozilla Research היא מסוג שפת התכנות שמי שכותב קוד עבור מערכות קלט/פלט בסיסיות (BIOS), מטעני אתחול, מערכות הפעלה וכו'. יש אינטרס
לדברי משקיפים, זה העתיד של תכנות מערכות ולא שפת C. למעשה, מומחים אומרים שהיא מציעה ערבויות אבטחת תוכנה טובות יותר מאשר צמד C/C++. ב-AWS, הם מציינים שבחירה ב-Rust לפרויקטי פיתוח פירושה הוספת יעילות האנרגיה וביצועי הביצוע של C לטובת האבטחה.
Linus גם הודיעה שגרסה 6.1 של הקרנל תשפר חלק מהחלקים הישנים יותר ובסיסי ליבה, כגון הפונקציה printk() . יתר על כן, לינוס נזכר שלפני כמה עשורים, אינטל ניסתה לשכנע אותו שמעבד Itanium הוא העתיד, אך הוא הגיב
"לא, זה לא יקרה, כי אין לזה פלטפורמת פיתוח. ARM עושה הכל נכון". «
בעיה נוספת שטורוואלדס הצביע עליה היא חוסר העקביות בייצור מעבדי ARM:
"חברות חומרה מטורפות מהמערב הפרוע, מייצרות שבבים מיוחדים למשימות שונות". הוא הוסיף כי "זה היה עניין גדול כשהמעבדים הראשונים יצאו, היום יש מספיק תקנים כדי להקל על העברת ליבות למעבדי ARM חדשים".
כמו כן, אנו יכולים להצביע על שחרורו של היישום הראשוני של מנהל ההתקן rust-e1000 עבור מתאמי Ethernet של אינטל, כתוב בחלקו ב-Rust.
לקוד עדיין יש קריאה ישירה לכמה כריכות C, אך מתבצעת בהדרגה עבודה להחלפתן ולהוסיף את ההפשטות Rust הדרושות לכתיבת מנהלי התקנים לרשת (כדי לגשת ל-PCI, DMA ו-API של רשת ליבה). במתכונתו הנוכחית, מנהל ההתקן עובר בהצלחה את מבחן הפינג כאשר הוא מופעל ב-QEMU, אך הוא עדיין לא עובד עם חומרה אמיתית.
בסופו של דבר אם אתה מעוניין לדעת יותר על כך, אתה יכול לבדוק את הפרטים בקישור הבא.