התחלתי ללמוד טיפה C (יש לי טיפה רקע מלפני די הרבה שנים), ופתאום עלתה לי מחשבה-
הרי המהדר של השפה בנוי עבור מערכת הפעלה מסוימת, אז איך בנו את מערכת ההפעלה עצמה? איך הידרו (compile) את מערכת ההפעלה עצמה? אני לא בטוח שזה קשור לפה, אבל היתי רוצה לדעת...

אסף.

לא שאלה תמימה בכלל - זו בעייה ידועה במדעי המחשב שנקראת BOOTSTRAPING.

תסתכל פה

בכל זאת, אני מניח שאת המערכת ההפעלה הראשונה לא הידרו בעזרת מהדר "bootstrapping".
אם אכן לא השתמשו בטכניקת ה bootsrapping איך עשו זאת?
או שפשוט לא הבנתי נכון את מה שכתוב בויקיפדיה.

את המהדר של שפת C#‎ הידרו ב-C#‎ עצמה, אבל הרי את המהדר של C#‎ עשו ב-C#‎ אז מאיפה הגיע המהדר הראשון של C#‎? לא יכול להיות שהוא הודר ב-C#‎! אותו כנראה כתבו ב-C++‎. מהדרים מודרניים של C++‎ הודרו ב-C++‎ עצמה, אבל מאיפה הגיע מהדר ה-C++‎ הראשון? הוא יוצר על-ידי CFRONT (לדוגמה). CFRONT היה כלי שהפך קוד C++‎ לקוד C, ואז קוד C הודר באמצעות מהדר C. מהדרי ה-C++‎ הראשונים היו רחוקים מלתמוך בשפה שאנחנו מכירים כ-C++‎, אבל ברגע שיש לך מהדר C++‎ פשוט, באמצעותו אתה יוצר אחד טוב יותר.

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

זה כל הסיפור של bootstrapping לגבי קומפיילרים.


עכשיו לגבי מערכות הפעלה: קומפיילר של C, לדוגמה, לא באמת תלוי במערכת ההפעלה. הספריה הסטנדרטית של C תלויה במערכת הפעלה (איך עושים printf? - תלוי במערכת ההפעלה), אבל השפה עצמה לא ממש תלויה במערכת ההפעלה (איך עושים a=b? בעזרת אותן פקודות מכונה על כל מערכות ההפעלה למחשב מסוים; איך קוראים לפונקציה? כנ"ל). הרבה מערכות הפעלה פשוט נכתבו ב-C, בלי ספריה סטנדרטית: כל הקלט והפלט מומש לבד. כל ניהול הזיכרון מומש לבד. threading מומש לבד. וכו'.

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

אסף.

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

ההבדל בין לכתוב קוד מכונה לאסמבלי לא כל-כך גדול. אם נתעלם מפיצ'רים ייחודיים שיש לאסמבלרים "high-level"-יים, ההבדל העיקרי שאני רואה הוא שבאסמבלי יש לך פקודה אחת כמו MOV, שמיתרגמת לאופקודים שונים בתלות בפרמטרים של הפקודה (בין שני אוגרים זה אופקוד אחד, ובין אוגר לזיכרון זה אופקוד אחר), ובגדלים של הפרמטרים לפקודות שתומכות בגדלים שונים.

בעצם, המעבר מאסמבלי לאופקודים הוא כמעט ברמה של search & replace. אתה יכול להחשיב את זה כמערך של regular expressions.

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

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

הדבר הידוע גם בשם "צבת בצבת עשויה"
אגב, כל הזין לזה שכתב את האסמבלר הראשון

אם אתה חושב שאסמבלר זה זין, תקרא קצת על תכנון חומרה ו MICROCODE או MICROPROGRAMMING

http://en.wikipedia.org/wiki/Microcode

!!אזהרה!!

ההודעה עלולה להכיל שברי אגוזים ו/או איברי דגים כלשהם

!!אזהרה!!

בראשית כתבו בשפת מכונה.
בשנית פיתחו את אסמבלי (כתבו אותו בשפת מכונה כמובן) ובאסמבלי כבר כתבו שפות תכנות עיליות.
את ההמשך אני מניח שאתה כבר מכיר.