מהדר

מְהַדֵּר (באנגלית: Compiler) הוא תוכנית מחשב המתרגמת משפת מחשב אחת לשפת מחשב אחרת. המהדר הקלאסי מקבל כקלט תוכנית הכתובה בשפה עילית ומתרגם אותה לתוכנית בשפת מכונה. מהדר תואם בדרך כלל לסוג מעבד מסוים בלבד, ולגרסת שפה מסוימת, ותוצריו לא יהיו תואמים למעבד אחר. פעולת המהדר קרויה הידוּר.

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

תרשים המתאר פעולת מהדר בעל מספר שפות ומספר יעדים

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

תהליך בניית תוכנת מחשב מתחלק לשני שלבּים עיקריים - הידור וקישור. המהדר אחראי על תהליך ההידור. בתהליך ההידור ממיר המהדר את הקוד שכתב המתכנת, לשפת מכונה, כך שעבור כל קובץ שעבר הידור נוצר קובץ מקביל בשפת מכונה. קובץ זה מסומן בדרך כלל כקובץ OBJ (או O במהדרים אחרים). תהליך ההידור מורכב ממספר תת-שלבים עיקריים: ניתוח מילולי, ניתוח תחבירי, ניתוח סמנטי, ולבסוף שלב יצירת קוד המכונה.

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

מהדרים של שפות תכנות מסוימות מפיקים קוד למעבד וירטואלי שאינו מיושם באופן ישיר בחומרה. דוגמה לשפות כאלה - ‏Java‏, ‎C#‎ ו-Smalltalk. היתרון בשיטה זו הוא היכולת להריץ את אותו קובץ מהודר במעבדים מסוגים שונים.^[1]

רקע

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

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

תפקידו של המהדר, אם כך, הוא להמיר את הדקדוק העילי לדקדוק שפת המכונה. באופן כללי ניתן לומר שככל ששפת התכנות מופשטת יותר, כך על המהדר להיות מותאם ומורכב יותר.

שגיאות זמן הידור

שגיאות זמן הידור הן שם כולל לשגיאות שעל המהדר לזהות כבר בשלב ההידור. שגיאות מסוגים שונים יתגלו בשלבים שונים בזמן ההידור.

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

זיהוי שגיאת זמן הידור לא בהכרח תעצור את פעולת ההידור - הדבר תלוי באופי השגיאה.

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

ראו גם

• מקשר
• מונחים בתוכנה
• GNU bison
• מהדורה

קישורים חיצוניים

מדיה וקבצים בנושא מהדר בוויקישיתוף

• מהדר, באתר אנציקלופדיה בריטניקה (באנגלית)
• קומפיילרים (תוכניות מחשבים), דף שער בספרייה הלאומית