ויכוח בליבת לינוקס: תחליף ל-fork() + exec() באמצעות תבניות שיגור

מאז ימיה הראשונים של יוניקס, יצירת תהליכים נשענת על שתי קריאות מערכת: fork(), שיוצרת תהליך בן כהעתק של האב, ו-exec(), שמריצה תוכנית חדשה במקום הנוכחית. בליבת לינוקס הן מוכרות יותר כ-clone() ו-execve(), אך המודל לא השתנה. הצעה עדכנית של לי צ'ן להוסיף "תבניות שיגור" (spawn templates) לליבה נדונה ברשימת התפוצה של הליבה; היא לא תתקבל בצורתה הנוכחית, אך עשויה להצביע על פרימיטיב חדש ליצירת תהליכים.

המחיר של fork() ואחריו exec()

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

תבניות שיגור ומידע שנשמר במטמון

ערכת התיקונים של צ'ן מכוונת ליישומים שמפעילים שוב ושוב את אותו קובץ הרצה — למשל תוכנית שקוראת ל-Git פעם אחר פעם כדי לקבל מידע על מאגר. יישום כזה יכול ליצור תבנית בקריאה החדשה spawn_template_create(), שמחזירה מתאר קובץ לנושא ההרצה, שנקבע לפי מתאר (execfd) או לפי נתיב מוחלט (filename), אך לא לפי שניהם. הליבה פותחת את הקובץ ושומרת במטמון מידע שמאפשר להריץ אותו מהר יותר בעתיד.

כל הרצה מתוארת במבנה spawn_template_spawn_args: השדה argv מצביע לרשימת הארגומנטים, envp לסביבה, ו-actions למערך של רשומות spawn_template_action שמטפלות במתארי קבצים ובטיפול באותות. סגירת מתאר ארבעה בתהליך הבן, למשל, מבוטאת בפעולה מסוג SPAWN_TEMPLATE_ACTION_CLOSE עם fd=4. לאחר מכן מריצים את התהליך באמצעות spawn_template_spawn(), שמבפנים הולך במסלול הקרוב ל-fork()/exec() הרגיל ומשאיר את כל הבדיקות בעינן; המידע שבמטמון הוא שמעניק את המהירות. תוצאות הבנצ'מרק במכתב הנלווה מראות שיפור של כ-2%.

הסוקרים: הבעיה היא בחלק של fork()

את הסקירה המפורטת ביותר כתב מאטאוש גוזיק: "כל האידיומה של fork + exec נוראית וצריכה לצאת משימוש". לדבריו, ערכת התיקונים אינה נוגעת בחלק של fork(), אף ששם נמצא עיקר המחיר, ו"יצירת תהליך נקי היא הדרך הנכונה". כריסטיאן בראונר התייחס בחיוב למטרה — "הרעיון של builder API ל-exec לא כל כך משוגע" — אך הציע לבנות ממשק חדש על אבסטרקציית pidfd הקיימת: אפשרות ל-pidfd_open() תיצור תהליך ריק, וסדרת קריאות ל-pidfd_config() החדשה תגדיר את סביבתו ואת התמונה שתורצץ, בדומה ל-fsconfig().

מטרה מרכזית של בראונר היא תמיכה במימוש של posix_spawn() במרחב המשתמש. posix_spawn() מתאימה היטב כתחליף לתבנית fork()/exec(), ומפתחים סביר שיקבלו בברכה מימוש מקורי שלא מחביא, כמו המימוש הנוכחי, את fork() ו-exec() מתחת למכסה. צ'ן הסכים שה-API ששרטט בראונר נראה טוב יותר ואמר שהעבודה העתידית תפנה לשם. כלומר, תבניות שיגור לא ייכנסו לליבת לינוקס — אך לינוקס עשויה סוף סוף לקבל מימוש ראוי ל-posix_spawn().