Büro

Microsoft Research Singularität - Ein Nicht-Windows-Betriebssystem

The Internet of Things by James Whittaker of Microsoft

The Internet of Things by James Whittaker of Microsoft

Inhaltsverzeichnis:

Anonim

Singularity ist ein Microsoft Research-Projekt zum Erstellen eines äußerst zuverlässigen Mikrokern-Betriebssystems, in dem der Kernel, die Gerätetreiber und die Anwendungen in verwaltetem Code geschrieben sind. Mehr als 90% des Betriebssystemkerns sind in Sing # geschrieben, einer Erweiterung der Programmiersprache C #.

Microsoft Research Singularity

Singularity ist ein Forschungsprojekt, das sich auf die Konstruktion von verlässlichen Systemen durch Innovation in der Bereiche von Systemen, Sprachen und Werkzeugen. Wir bauen einen Prototyp des Forschungsbetriebssystems (Singularity) auf, erweitern Programmiersprachen und entwickeln neue Techniken und Werkzeuge zum Spezifizieren und Verifizieren des Programmverhaltens.

Fortschritte in Sprachen, Compilern und Werkzeugen eröffnen die Möglichkeit, Software erheblich zu verbessern. Zum Beispiel verwendet Singularity typsichere Sprachen und einen abstrakten Anweisungssatz, um so genannte Software Isolated Processes (SIPs) zu aktivieren. SIPs bieten die starken Isolationsgarantien von Betriebssystemprozessen (isolierter Objektraum, separate GCs, separate Laufzeiten) ohne den Overhead hardwaregesteuerter Schutzdomänen. Im aktuellen Singularity-Prototyp sind SIPs extrem günstig; Sie laufen in Ring 0 im Adressraum des Kerns.

Singularity nutzt diese Fortschritte, um zuverlässigere Systeme und Anwendungen zu bauen. Da SIPs zum Beispiel so kostengünstig zu erstellen und zu erzwingen sind, führt Singularity jedes Programm, jeden Gerätetreiber oder jede Systemerweiterung in seinem eigenen SIP aus. SIPs dürfen keinen Speicher freigeben oder ihren eigenen Code ändern. Dadurch können wir starke Zuverlässigkeitsgarantien für den Code bereitstellen, der in einem SIP ausgeführt wird. Wir können viel umfangreichere Eigenschaften eines SIPs zur Kompilier- oder Installationszeit verifizieren, als dies für Code möglich ist, der in herkömmlichen Betriebssystemprozessen ausgeführt wird. Eine breitere Anwendung der statischen Verifizierung ist entscheidend für die Vorhersage des Systemverhaltens und bietet den Benutzern starke Garantien für die Zuverlässigkeit.

Microsoft Research stellt das Singularity Research Development Kit (RDK) zum Download bereit. Sie können es von CodePlex, der Open-Source-Projekthosting-Website von Microsoft, herunterladen. Sie können auch Überblick über das Singularity-Projekt herunterladen, indem Sie hier klicken.

Die wichtigsten Entwickler von Singularity, Galen Hunt und Jim Larus, haben gesagt, dass alle aktuellen Betriebssysteme wie Windows, Linux und Mac OS können zurück zu einem Betriebssystem namens Multics, die ihren Ursprung in den 1960er Jahren hat. Die heutigen Betriebssysteme basieren teilweise noch auf Gedanken und Kriterien von vor 40 Jahren. Multiplexed Information and Computing Service oder Multics ist ein Mainframe-Timesharing-Betriebssystem, das 1965 begonnen und bis 2000 genutzt wurde.

Microsoft Research Singularity wurde im Jahr 2003 als völlig neuer Ansatz für den Aufbau von Betriebssystemen betrachtet.