Codon, מהדר Python, מתפרסם

הסטארט-אפ Exaloop פרסם את הקוד לפרויקט Codon, שמפתח מהדר לשפת Python המסוגל לייצר קוד מכונה טהור כפלט, לא קשור לזמן הריצה של Python. המהדר מפותח על ידי מחברי השפה דמוית Python Seq וממוקם כהמשך פיתוחו. הפרויקט מציע גם זמן ריצה משלו לקבצי הפעלה וספריית פונקציות שמחליפה קריאות לספרייה ב-Python. קודי המקור של המהדר, זמן הריצה והספרייה הסטנדרטית נכתבים באמצעות C++ (באמצעות פיתוחים מ-LLVM) ו-Python, ומופצים תחת ה-BSL (רישיון המקור העסקי).

רישיון BSL הוצע על ידי מייסדי MySQL כחלופה למודל Open Core. המהות של BSL היא שהקוד של פונקציונליות מתקדמת זמין בתחילה לשינוי, אך במשך זמן מה ניתן להשתמש בו ללא תשלום רק אם מתקיימים תנאים נוספים, המחייבים רכישת רישיון מסחרי כדי לעקוף. תנאי רישיון נוספים של פרויקט Codon מחייבים את העברת הקוד לרישיון Apache 2.0 לאחר 3 שנים (1 בנובמבר 2025). עד למועד זה, הרישיון מתיר העתקה, הפצה ושינוי, ובלבד שיעשה בו שימוש למטרות לא מסחריות.

הביצועים של קבצי ההפעלה של הפלט מוצגים כקרובים לתוכניות שנכתבו בשפת C. בהשוואה לשימוש ב-CPython, רווח הביצועים בעת קומפילציה באמצעות Codon מוערך פי 10-100 עבור ביצוע חוט יחיד. יתרה מכך, בניגוד ל-Python, Codon מיישם בנוסף את היכולת להשתמש ב-multithreading, מה שמאפשר עלייה גדולה עוד יותר בביצועים. Codon גם מאפשר לך לבצע קומפילציה ברמת הפונקציה האישית כדי להשתמש בייצוג המהודר בפרויקטים קיימים של Python.

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

המהדר תומך ברוב תחביר Python, אך הידור לקוד מכונה מטיל מספר מגבלות שמונעות מ-Codon לשמש כתחליף שקוף ל-CPython. לדוגמה, Codon משתמש בסוג int של 64 סיביות עבור מספרים שלמים, בעוד ש-CPython משתמש בגודל בלתי מוגבל עבור מספרים שלמים. בסיסי קוד גדולים עשויים לדרוש שינויי קוד כדי להשיג תאימות לקודון. ככלל, אי התאמה נגרמת על ידי היעדר יישום עבור Codon של מודולים מסוימים של Python וחוסר היכולת להשתמש בתכונות דינמיות מסוימות של השפה. עבור כל אי התאמה כזו, המהדר מוציא הודעת אבחון מפורטת עם מידע כיצד לעקוף את הבעיה.

מקור: OpenNet.ru