לינוס טורבאלדס שחרר תיקוני ליבה שנכתבו בעזרת קלאוד קוד

התיקון שיצא מהידיים של הבוט

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

צוואר בקבוק בזיכרון משותף

הבעיה המטופלת מוכרת מ-2024: כשכמה תהליכונים (threads) קוראים שוב ושוב כמויות קטנות מאותו קובץ ששמור במטמון הדפים (page cache), כל אחד לוקח ומשחרר הפניה (reference) לדף הגיבוי (folio). עדכוני מונה ההפניות דורשים כתיבות אטומיות לאותו קו מטמון משותף, מה שמכריח ליבות מעבד להתחרות עליו. בבדיקה של טורבאלדס על לפטופ עם מעבד Core i7-8565U בן ארבע ליבות ושמונה תהליכונים, קריאות pread של 16 בתים לאותו דף הראו ש-99.92% מהעומס הצולב בין הליבות נבע בדיוק מהתנגשות זו, לפי מדד HITMs.

המספרים על הנייר, והסייגים בצדם

התיקון דוחה את החזרת הזיכרון למקצה (allocator) עד שתסתיים תקופת חסד של RCU (read-copy-update), וכך מאפשר לקורא המוגן בקטע קריאה של RCU להעתיק נתונים ישירות למאגר המשתמש בלי לקחת הפניה לדף. בתרחיש הבדיקה הספציפי, תפוקת שמונה התהליכונים קפצה מכ-9.9-10.4 מיליון קריאות בשנייה ל-30-33 מיליון, ומחזורי ליבה לקריאה צנחו מכ-2,950 לכ-725. בקריאה חד-תהליכונית השיפור צנוע יותר: מ-452-454 מחזורים ל-408-409. טורבאלדס עצמו ציין שבמערכות עם יותר מעבדים או יותר שקעים התועלת צפויה לגדול, אבל "שום דבר גדול יותר לא נמדד".

לא ממוזג, לא גמור

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