M

Sicher haben viele von Ihnen von Midori gehört, was der nächste Schritt für Windows wäre. Ein neues Betriebssystem, das von Grund auf neu geschrieben wurde, mit einem neuen Kernel und in einer modernen Sprache geschrieben. So modern, dass es ihn so noch gar nicht gibt.

Die Sprache mit dem Codenamen M basiert auf C und wurde speziell für die Programmierung von Betriebssystemen entwickelt, die die unterste Ebene erreichen können aber ohne die nützlichen Abstraktionen zu verlieren, die notwendig sind, um häufigere Programme zu erstellen, wie z. B. eine Benutzeranwendung.

In einem Artikel in seinem Blog hat Joe Duffy, einer von Midoris Entwicklern, sehr interessante Details über diese zukünftige Sprache preisgegeben. Die Hauptidee des Projekts ist es, eine Sprache mit Typsicherheit (Typsicherheit) wie C zu erstellen, aber C mit sehr guter Performance , wie C++.

Ein Großteil des Leistungsaufwands fließt in die Optimierung von zwei Bereichen von C: der Garbage Collector und das Typing-System Auf einen Blick , das C Garbage Collector für ein Programm alle X Mal, sucht nach Objekten, die nicht mehr verwendet werden (z. B. Ihr Browser hat mehrere Bilder im RAM gespeichert, benötigt sie aber nicht mehr) und gibt deren Speicher frei. Für Entwickler ist es ein System, das viel Komplexität bei der Speicherverw altung freisetzt, aber wie Sie sich vorstellen können, ist es langsamer. M wäre in dieser Hinsicht klüger und würde mehrere Ideen von C++ übernehmen, um den Lebenszyklus von Objekten besser zu verstehen (wann sie verwendet werden und wann sie nicht mehr benötigt werden) und somit effizienter zu sein, wenn es um die Zuweisung und Freigabe von Speicher geht ., ohne dass der Garbage Collector ins Spiel kommen muss.

"

Auf der anderen Seite versuchen die Modifikationen im Schreibsystem, eines der Probleme anzugehen, die die meisten alten Sprachen (sprich: vor 2005 entworfen) derzeit haben, das Parallelität Im Moment wachsen Computer nicht in die Höhe – Prozessorgeschwindigkeit – sondern in die Breite, mit mehr Kernen parallel. Das Erstellen von Programmen, die eine solche Parallelverarbeitung sinnvoll nutzen, ist nicht einfach, und es gibt viele subtile Details, insbesondere wenn Daten zwischen mehreren Prozessen oder Threads geteilt werden."

M würde Konzepte aus funktionalen Programmiersprachen einbringen, hauptsächlich die Unveränderlichkeit von Objekten und die Behandlung von Methodennebenwirkungen, was es Programmierern und dem Compiler erleichtern würde, mehrere Threads für zu erstellen. Nutzen Sie die Vorteile mehrerer Computerkerne und verbessern Sie so die Leistung erheblich.

Zusätzlich würde M auch ein neues Fehlerbehandlungssystem bringen: schnell, einfach zu verwenden, effizient, Codeverträge verwendend, um das Programmverh alten auf gültige Pfade zu beschränken, und damit leicht verständlich Compiler kann Optimierungen durchführen.Wir würden also über eine Sprache sprechen, die es ermöglicht, sicherere und robustere Programme zu erstellen, was sehr wichtig ist, wenn wir sie für ein Betriebssystem verwenden wollen.

Genug der Fachsprache: Was bedeutet das?

Nachdem Sie ein wenig in die Welt der Programmiersprachen eingetaucht sind, was bedeutet das alles?

Zunächst scheint Microsoft die nächste Stufe von Windows sehr ernst zu nehmen. Mary Jo Foley sagt, dass Midori sich von einem reinen Forschungsprojekt zu Terry Myerson in der Unified Operating System-Gruppe entwickelt hat. M und Midori sind nicht nur ein Experiment, sondern der Weg nach vorne für Microsoft.

Ist es sinnvoll, ein weiteres Windows vorzubereiten? Natürlich. Wie jedes andere Programm hat ein Betriebssystem eine begrenzte Lebensdauer. Die Welt ist heute ganz anders als zu der Zeit, als Windows entworfen wurde, und egal wie flexibel das System ist, so viele Änderungen im Laufe der Jahre, um es an neue Szenarien anzupassen, fordern schließlich ihren Tribut und es wird rentabler, bei Null anzufangen ( etwas, das wir Informatiker sehr mögen).

Natürlich wird es Midori kurz- oder mittelfristig nicht geben. Aber wenn es fertig ist (wenn es jemals fertig ist, was auch nicht sicher ist), wird es ein System sein, das von Anfang an parallel und Cloud-fokussiert ist und Microsoft an die Spitze der Welt bringen wird von Betriebssystemen, zumindest auf technischer und Kapazitätsebene.

Was M angeht, wenn es wie versprochen eine Erweiterung von C ohne nicht unterstützte Änderungen wäre, könnten viele Entwickler problemlos darauf umsteigen. Und wenn sie es komplett out of the box veröffentlichen, was sie auch versprochen haben, können sie es möglicherweise aus der „Microsoft-Schleife“ lösen, in der C gerade steckt, es erweitern und sich so einen großen Vorteil verschaffen andere Sprachen und Firmen.

Im Moment sieht es so aus, dass die Sprache eine Zukunft haben wird, und wir sollten in den kommenden Wochen weitere Einzelheiten erfahren.Was Midori angeht, erinnern wir uns daran, dass er noch nicht einmal offiziell ist. Es wird noch lange dauern, bis wir mehr über ihn erfahren, aber diese Art von Geschichte zeigt uns, wohin die Reise von Microsoft geht.