Laut Microsoft wurden in den vergangenen 12 Jahren 70 % der in MS-Produkten entdeckten Sicherheitsprobleme durch Probleme mit der Speichersicherheit (Memory Safety) verursacht. Rust, eine Systemprogrammiersprache, die in letzter Zeit an Popularität gewonnen hat, soll solche Probleme mit der Speichersicherheit bereits zur Compile-Zeit erkennen können. Deshalb hat MS seit vergangenem Sommer ein Experiment durchgeführt, bei dem ein Teil des internen Windows-Codes von C++ nach Rust neu geschrieben wurde.
Die Ergebnisse des Experiments waren positiv, aber offenbar fehlten dem aus Sicht von MS noch jungen Projekt Rust einige Funktionen für den eigenen Einsatz. Daher hat MS unter dem Namen Project Verona mit der Entwicklung einer neuen, von Rust abgeleiteten Systemprogrammiersprache begonnen. Im Vergleich zu Rust besteht ein besonders großer Unterschied darin, dass das Modell für Speicherbesitz nicht auf einzelne Objekte, sondern auf Regionen (region) angewendet wird. Dadurch lässt sich Speicher in getrennte Bereiche aufteilen und verwalten; insbesondere soll es möglich sein, bestehenden Legacy-Code in einer Sandbox-Partition zu betreiben. Vermutlich brauchte MS eine solche Funktion auch deshalb, weil dort eine enorme Menge an Legacy-Code existiert, die sich nicht einfach vollständig verwerfen lässt. Derzeit befindet sich Project Verona noch auf Forschungsniveau, soll aber in naher Zukunft als Open Source veröffentlicht werden.
Andere Artikel:
Zugehöriges Präsentationsvideo und Folien:
70 % der Sicherheitsprobleme in MS-Produkten sind Probleme mit der Speichersicherheit:
Experiment zur Neuschreibung eines Teils von Windows in Rust:
4 Kommentare
Man sollte zu Rust beitragen … und dann gleich zu Beginn ein Fork?!
Rust ist gerade ziemlich angesagt.
Ah … irgendwie mache ich mir Sorgen, dass sie wie bei J# wieder so eine irgendwie MS-typische Abwandlung bauen.
Wenn du kommst, bring Melona mit.