M

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

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

במאמר בבלוג שלו, ג'ו דאפי, אחד המפתחים של מידורי, שיתף פרטים מאוד מעניינים על השפה העתידית הזו. הרעיון המרכזי של הפרויקט הוא ליצור שפה עם type-safe (type-safety) כמו C, אבל c עם ביצועים טובים מאוד , כגון C++.

חלק ניכר ממאמץ הביצועים הולך לצבוט שני תחומים של C: אספן האשפה ומערכת ההקלדה במבט אחד , ה-C אספן זבל לתוכנית כל פעם X, מחפש אובייקטים שכבר אינם בשימוש (לדוגמה, הדפדפן שלך שמר מספר תמונות ב-RAM אך אינו זקוק להם יותר) ומשחרר את הזיכרון שלהם. עבור מפתחים מדובר במערכת שמשחררת מורכבות רבה בכל הנוגע לניהול זיכרון, אך כפי שאתם יכולים לדמיין היא איטית יותר. M יהיה חכם יותר בהקשר זה, ישאל מספר רעיונות מ-C++ כדי להבין טוב יותר את מחזור החיים של אובייקטים (מתי מתחילים להשתמש בהם וכאשר אין בהם צורך יותר) ובכך להיות יעיל יותר בכל הנוגע להקצאה ושחרור זיכרון מבלי שאספן האשפה יצטרך להיכנס למשחק.

"

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

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

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

די עם הז'רגון הטכני: מה זה אומר?

אחרי שצללתי קצת לתוך עולם שפות התכנות, מה זה אומר?

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

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

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

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

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