מה זה קומפיילר ואיך הוא עובד - הקופסה השחורה שכל מתכנת סומך עליה בעיוורון¶
כמעט כל מתכנת כותב קוד, לוחץ כפתור, ורואה תוכנה רצה - בלי לשאול את עצמו מה בדיוק קרה באמצע. קומפיילר, מהדר בעברית, הוא בדיוק התוכנה שאחראית לקסם הזה. והחדשות הטובות הן שהוא בכלל לא קסם - הוא תוכנה שכתבו בני אדם, עם תהליך מסודר וברור לגמרי כשמפרקים אותו לשלבים.
למה בכלל צריך קומפיילר¶
הקוד שאתם כותבים, נניח ב-C, קריא לבני אדם - יש בו מילים כמו if, return, מבני נתונים בעלי שמות משמעותיים. אבל המעבד לא מבין שום דבר מזה. הוא מבין רק קוד מכונה, מספרים בינאריים שמייצגים הוראות ספציפיות. תפקידו של הקומפיילר הוא לגשר על הפער הזה - לקחת קוד קריא לבני אדם, ולהפוך אותו לקוד מכונה שהמעבד יכול להריץ.
זה שונה ממה שקורה בפייתון, למשל, ששם התוכנה רצה על גבי interpreter שמבצע את הקוד שלכם שורה אחר שורה, בזמן אמת, בלי לייצר קובץ נפרד של קוד מכונה מראש. קומפיילר, לעומת זאת, עושה את כל העבודה מראש, ובסוף התהליך נשאר לכם קובץ הרצה מוכן.
חמשת השלבים שכל קומפיילר עובר¶
התהליך המלא נראה מסובך, אבל הוא בעצם מתחלק לחמישה שלבים ברורים, וכל שלב עושה עבודה מאוד ספציפית.
- ניתוח לקסיקלי - Lexical Analysis. השלב הראשון פשוט מפרק את הקוד שלכם לחתיכות קטנות שנקראות טוקנים - מילות מפתח, שמות משתנים, סימני פעולה. זה בערך כמו לפרק משפט למילים בודדות, בלי עדיין להבין את המשמעות של המשפט.
- ניתוח תחבירי - Parsing. בשלב הזה הקומפיילר לוקח את הטוקנים ובונה מהם עץ תחביר, מבנה שמייצג את המבנה ההיררכי של הקוד - מה בתוך מה, מה תלוי במה. זה השלב שבו הקומפיילר מבין את הדקדוק של הקוד שלכם.
- ניתוח סמנטי - Semantic Analysis. עכשיו הקומפיילר בודק שהקוד לא רק מסודר תחבירית, אלא גם הגיוני. האם ניסיתם לחבר מספר עם מחרוזת טקסט? האם השתמשתם במשתנה שלא הוגדר? השגיאות המוכרות שקופצות לכם לפני שהתוכנה בכלל רצה מגיעות ברובן מהשלב הזה.
- אופטימיזציה - Optimization. בשלב הזה הקומפיילר משכתב חלקים מהקוד כדי שירוץ מהר יותר או ישתמש בפחות זיכרון, בלי לשנות את מה שהקוד בעצם עושה. למשל, אם כתבתם חישוב שהתוצאה שלו תמיד זהה, הקומפיילר עשוי לחשב אותו פעם אחת מראש במקום בכל הרצה.
- יצירת קוד - Code Generation. השלב האחרון מייצר את קוד המכונה בפועל, בדרך כלל דרך שפת אסמבלי כתחנת ביניים. משם, תוכנה שנקראת assembler הופכת את זה לקוד מכונה בפועל, ותוכנה נוספת שנקראת linker מחברת את כל החלקים השונים, כולל ספריות חיצוניות, לקובץ הרצה אחד שלם.
אז מה ההבדל בין קומפיילר לאינטרפרטר¶
קומפיילר עושה את כל התהליך הזה מראש, ומייצר קובץ נפרד שאפשר להריץ שוב ושוב בלי לעבור את התהליך מחדש. אינטרפרטר, לעומת זאת, קורא ומבצע את הקוד ישירות, שורה אחר שורה, בכל פעם שהתוכנה רצה. זו הסיבה שתוכנה מקומפלת בדרך כלל רצה מהר יותר - כל העבודה הקשה נעשתה כבר לפני שהתוכנה בכלל התחילה לרוץ, בעוד תוכנה מפורשת עושה חלק מהעבודה הזאת תוך כדי ריצה, בכל פעם מחדש.
למה כדאי להבין את זה גם אם לא כותבים קומפיילרים¶
אתם כנראה לא תכתבו קומפיילר בעצמכם, וזה בסדר. אבל להבין בגדול איך אחד עובד משנה איך אתם קוראים שגיאות קומפילציה, איך אתם מבינים אזהרות אופטימיזציה, ולמה קוד מסוים שנראה זהה לכם רץ מהר יותר מקוד אחר. זה גם מסיר שכבה שלמה של מסתורין - קומפיילר הוא לא כוח עליון, הוא תוכנה שכתבו אנשים, עם באגים משלה ועם היסטוריה ארוכה של שיפורים.
זה בדיוק סוג ההבנה שאנחנו בונים בקורס ליבת המחשב - מה בדיוק קורה בין רגע כתיבת הקוד לרגע שהוא הופך לתוכנה רצה, כולל שלבי הקומפילציה, עבודת הלינקר, ואיך אופטימיזציות של הקומפיילר משנות בפועל את הקוד שרץ אצלכם.
ואם אתם רוצים להעמיק בזה עם אנשים שכבר שם, יש קהילה שמחכה.
לסיכום¶
קומפיילר נראה כמו קופסה שחורה רק כל עוד לא פתחתם אותה. ברגע שרואים אותו כחמישה שלבים ברורים - פירוק לטוקנים, בניית עץ תחביר, בדיקת הגיון, אופטימיזציה, ויצירת קוד מכונה - כל התהליך הופך להיות מובן וסביר לגמרי. זו לא קסם, זו תוכנה, וכמו כל תוכנה אחרת, אפשר להבין אותה.