Linux 7.3: BIG TCP מתרחבת ל-VXLAN ול-Geneve — בזמן שה-AI מציף את המפתחים בתיקונים

סדרת התיקונים שתמכה במהלך נאלצה להסיר הנחות ישנות בקוד, שלפיהן אורך חבילה יישאר מתחת ל-64 קיבייט או יוכל להישמר בשדות של 16 סיביות. העבודה כוללת עומסי BIG TCP הן ב-IPv4 והן ב-IPv6 עבור VXLAN ו-Geneve.

פחות תלות בנעילת RTNL בעדכוני ניתוב

שינוי חשוב נוסף מפחית את השימוש בנעילת RTNL הגלובלית בעת עבודה עם כללי FIB — בסיס המידע המשמש להעברת מנות. בין הפעולות הרלוונטיות נמצאות RTM_NEWRULE ו-RTM_DELRULE.

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

עם זאת, החומרים שסופקו אינם כוללים נתוני ביצועים מדויקים ל-IPv4 או ל-IPv6 — לא באחוזים ולא במכפילי מהירות. לכן אי אפשר להסיק מהם שיפור מספרי מסוים. המסקנה המבוססת היא ארכיטקטונית: עומסי עבודה מקביליים במיוחד עשויים ליהנות מצמצום התחרות על הנעילה, אך היקף השיפור תלוי במערכת ובאופי העומס.

דרייברים ושכבות פרוטוקול נוספות

מיזוג הרשתות כולל גם שורה של הרחבות נוספות:

• בצד האלחוטי נוספו דרייבר mm81x של Morse Micro עבור התקני S1G ארוכי-טווח, וכן דרייבר NXPWIFI חדש.
• תשתית ראשונית ל-Intel iXD מיועדת ל-Control Plane PIC Function במעבדי IPU ובכרטיסי FNIC מדגם Intel E2100 ומעלה.
• ‏MPTCP קיבלה טיפול טוב יותר במצבי מחסור קיצוני בזיכרון, כולל קיצוץ התור לקבלה שלא לפי הסדר.
• המיזוג הרחב יותר כולל שיפורים, תיקוני באגים ועבודת דרייברים נוספים במערכות הרשת הקוויות והאלחוטיות.

חשוב להדגיש: מדובר בקוד שנכנס לעבודת חלון המיזוג של Linux 7.3, ולא בגרסה יציבה שהושלמה ופורסמה למשתמשים.

למה המתחזקים אמרו שהם "מוצפים לחלוטין"?

Kicinski ו-Abeni דיווחו שבמיזוג הרשתות שולבו 632 תיקוני net ו-648 תיקוני net-next — 1,280 תיקונים בסך הכול. לדבריהם, המספר הזה אפילו אינו משקף את מלוא עומס הסקירה. בהערכה "מהירה ולא מדויקת", שליש עד מחצית מתיקוני net-next נראו כמו תיקונים, ניקויים או הבהרות בעדיפות נמוכה שנוצרו בעזרת AI.

ההצפה היא חלק ממגמה רחבה יותר. בתוך תשעה ימים בלבד התקבלו 405 פרסומים שסומנו

[PATCH net]

[PATCH net-next]

הבעיה אינה רק ש-AI מסוגל לכתוב קוד. כלים כאלה יכולים לייצר בזול ובמהירות גם הסברים שנשמעים סבירים, דיווחי באגים ובקשות סקירה. לאחר מכן עדיין נדרשים בני אדם כדי לבדוק אם השינוי נחוץ, נכון, בטוח וראוי למיזוג.

איך המפתחים מתכננים להשתמש ב-AI?

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

במקביל, הם מתכננים להפנות את המודלים למשימות שגרתיות יותר, בהן:

• ניהול תורים במערכת Patchwork;
• מתן משוב על בעיות נפוצות בתהליך הגשת תיקונים;
• עריכת הודעות commit;
• ואולי גם החלת תיקונים שכבר נושאים תגי סקירה של אנשים אמינים.

הגישה הזו מציגה את מודלי השפה כעוזרי תהליך — לא כתחליף למתחזקי תתי-המערכות. ההבדל חשוב במיוחד בקוד ליבה שרגיש לתזמון ולמקביליות. המתחזקים הצביעו על מסלולים נדירים, כמו שגיאות PCIe ופסקי זמן, שבהם מרוצי תזמון עלולים להופיע רק בשילובים לא שכיחים של אירועים. סקירת LLM עשויה לסמן דפוסים חשודים, אך אינה יכולה להוכיח באופן אמין שהקוד נכון בכל שילוב אפשרי.

מה עדיין לא ידוע?

הדיווחים שסופקו אינם מציינים מתי צפויה גרסת

Linux 7.3-rc1

גם לגבי ביצועי ה-RTNL אין מספר חד-משמעי: החומרים תומכים בכוונה לשפר מקביליות של פעולות FIB בין מרחבי שמות, אך אינם מספקים מדד IPv4 או IPv6 מדויק. בשלב זה, המסר החשוב הוא שהקוד מנסה להסיר נעילה גלובלית מצוואר בקבוק מרכזי — בזמן שהמתחזקים עצמם מתמודדים עם צוואר בקבוק חדש: כמות העבודה שנוצרת בעידן ה-AI.