שחרור יציב ראשון של מקשר עובש, שפותח על ידי LLVM lld

Rui Ueyama, מחבר המקשר של LLVM lld ושל המהדר chibicc, הציג את המהדורה היציבה הראשונה של מקשר ה-Mould החדש בעל הביצועים הגבוהים, שהוא מהיר יותר באופן ניכר מהמקשרים של GNU gold ו-LLVM lld במהירות הקישור של קבצי אובייקט. הפרויקט נחשב מוכן להטמעת ייצור וניתן להשתמש בו כתחליף מהיר ושקוף יותר לקשר GNU במערכות לינוקס. התוכניות למהדורה הגדולה הבאה כוללות השלמת תמיכה בפלטפורמת macOS, ולאחר מכן תחל העבודה על התאמת Mould ל-Windows.

Mould כתוב ב-C++ (C++20) והוא מורשה תחת AGPLv3, התואם ל-GPLv3, אך אינו תואם ל-GPLv2, מכיוון שהוא דורש שינויים פתוחים בעת פיתוח שירותי רשת. בחירה זו מוסברת על ידי הרצון להשיג מימון פיתוח - הכותב מוכן למכור את הזכויות על הקוד לרישוי מחדש במסגרת רישיון מתיר, כמו MIT, או לספק רישיון מסחרי נפרד למי שאינו מרוצה מה-AGPL.

Mould תומך בכל התכונות של מקשר GNU ובעל ביצועים גבוהים מאוד - הקישור מתבצע במהירות רק בחצי מהר יותר מפשוט העתקת קבצים עם כלי השירות cp. לדוגמה, בעת בניית Chrome 96 (גודל קוד 1.89 GB), לוקח 8 שניות לקשר קבצי הפעלה עם מידע באגים במחשב בעל 53 ליבות באמצעות GNU gold, LLVM lld - 11.7 שניות ו-Mod רק 2.2 שניות (פי 26 מהר יותר מאשר גנו זהב). בעת קישור Clang 13 (3.18 GB), זה לוקח 64 שניות ב-GNU gold, 5.8 שניות ב-LLVM lld ו-2.9 שניות ב-Mod. בעת בניית Firefox 89 (1.64 GB), זה לוקח 32.9 שניות ב-GNU gold, 6.8 שניות ב-LLVM lld ו-1.4 שניות ב-Mod.

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

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

מקור: OpenNet.ru