משרד

סינגולריות של Microsoft - מערכת הפעלה שאינה Windows

אדיר רון, מנהל תחום חדשנות אסטרטגית, מיקרוסופט ישראל

אדיר רון, מנהל תחום חדשנות אסטרטגית, מיקרוסופט ישראל

תוכן עניינים:

Anonim

Singularity הוא פרויקט Microsoft Research לבניית מערכת הפעלה microkernel מהימנה מאוד, שבה הליבה, מנהלי ההתקן והיישומים נכתבים בקוד מנוהל. יותר מ -90% מהקרנל של מערכת ההפעלה נכתב בשיר #, הרחבה של שפת התכנות ברמה גבוהה.

סינגולריות מחקרית של Microsoft

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

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

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

Microsoft Research הפך לזמין להורדה, Singularity Research Development Kit (RDK) . אתה יכול להוריד את זה מתוך CodePlex, קוד פתוח של מיקרוסופט פרוייקט אירוח אתר. אתה יכול גם להוריד את סקירה כללית של פרויקט סינגולריות על ידי לחיצה כאן

מפתחי המפתח של סינגולריות, גאלן האנט וג `ים לארוס, hasve אמר כי כל מערכות ההפעלה הנוכחית, כגון Windows, Linux ו- Mac OS יכול ניתן לעקוב אחר מערכת הפעלה בשם Multics, אשר מקורו בשנות ה -1960. למעשה, מערכות ההפעלה הקיימות עדיין מבוססות, בין השאר, על מחשבות וקריטריונים מלפני 40 שנה. מולטיפלקס מידע שירות מחשוב, או מולטימדיה היא מערכת ההפעלה timesharing מיינפריים החל בשנת 1965 ושימש עד שנת 2000.

Microsoft Research Singularity היה בהה בשנת 2003 כגישה חדשה לגמרי לבניית מערכת ההפעלה.