תמיכת חלודה בליבת לינוקס נתקלת בביקורת מצד Torvalds

Linus Torvalds סקר את התיקונים שיישמו את היכולת ליצור מנהלי התקנים בשפת Rust עבור ליבת לינוקס, והעיר כמה הערות קריטיות.

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

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

בנוסף, Torvalds ציין שדוגמאת הדרייבר שסופקה הייתה חסרת תועלת וייעץ לנו להשתמש כדוגמה באיזה דרייבר שפותר את אחת הבעיות האמיתיות.

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

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

מקור: OpenNet.ru