ליבת לינוקס 5.18 מתכננת לאפשר שימוש בתקן שפת C C11

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

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

לינוס טורוואלדס הסכים עם הרעיון של הטמעת תמיכה במפרטים חדשים יותר והציע להעביר את הליבה 5.18 לשימוש בתקן C11, שפורסם ב-2011. במהלך בדיקות ראשוניות, ההרכבה ב-GCC וב-Clang במצב החדש עברה ללא סטיות. אם לא יתעוררו בעיות בלתי צפויות במהלך בדיקה יסודית יותר, האפשרות '--std=gnu5.18' בסקריפטים של בניית ליבה 89 תוחלף ב-'--std=gnu11 -Wno-shift-negative-value'. נבחנה גם האפשרות להשתמש בתקן C17, אך במקרה זה יהיה צורך להגדיל את הגרסה המינימלית הנתמכת של GCC. הכללת תמיכת C11 מתאימה לדרישות הנוכחיות עבור גרסת GCC (5.1).

מקור: OpenNet.ru