Project Verona: Microsoft forscht an sicherer Infrastruktur-Sprache

Zusätzlich zur Verwendung der Programmiersprache Rust erforscht Microsoft eine eigene sichere Sprache, die für Infrastruktur genutzt werden soll. Das Project Verona soll bald Open Source sein.

Artikel veröffentlicht am ,
Microsoft erforscht im Project Verona eine neue Programmiersprache.
Microsoft erforscht im Project Verona eine neue Programmiersprache. (Bild: Mi duke/Reuters)

Um bestimmte Klassen von Fehlern und Sicherheitslücken in Software von vornherein auszuschließen, untersucht Microsoft seit diesem Sommer offiziell die Programmiersprache Rust als Alternative zu C und C++. Künftig hinzu kommen könnte eine weitere sichere Programmiersprache von Microsoft, die insbesondere für Infrastruktur gedacht ist und in dem Project Verona entwickelt wird.

Erstmals öffentlich vorgestellt hat diese Forschungsarbeiten der Microsoft-Angestellte Matthew Parkinson in einem Vortrag. An dem Projekt beteiligt sind weitere Forscher des Cambridge Labs von Microsoft Research, des Imperial College London sowie Microsofts Program Manager für C#, Mads Torgersen.

Das Project Verona erforscht dabei ebenfalls, bisher genutzte Komponenten, die in C und C++ geschrieben sind, durch neue Techniken zu ersetzen. Der Hauptfokus liegt laut dem Vortrag dabei jedoch auf Infrastruktur und nicht auf Kernkomponenten des Betriebssystems. Zur Infrastruktur zählt Parkinson laut dem Vortrag etwa Gerätetreiber, größere Serverkomponenten wie Exchange oder ASP.NET oder auch Azure-Komponenten wie Storage, Cosmos DB oder Data Lake.

Angelehnt an Rust

Die Forschung an der neu zu erstellenden Sprache konzentriert sich dabei auf einige Konzepte, die sich so ähnlich auch in Rust finden. Dazu gehört das Unterbinden von Race Conditions durch eine entsprechende Speicherverwaltung oder auch ein neues Modell zur sicheren Umsetzung von Nebenläufigkeit. Ebenso sollen sich Altanwendungen in C und C++ in der neuen Sprache in einer Art Sandbox integrieren lassen.

Der wohl wichtigste Unterschied zu Rust selbst ist das Ownership-Modell des Project Verona. Dieses gilt bei Rust immer nur für ein einziges Objekt; das Team von Microsoft will dies aber auf eine Objektmenge erweitern, da das vor allem tatsächlich genutzte Daten besser repräsentiere.

Microsoft hat in dem Projekt bisher eine Laufzeitumgebung, einen Interpreter und eine Typenüberprüfung umgesetzt. Ein Compiler soll noch folgen. Außerdem plant das Team seine Arbeit demnächst auf Github zu veröffentlichen.

Bitte aktivieren Sie Javascript.
Oder nutzen Sie das Golem-pur-Angebot
und lesen Golem.de
  • ohne Werbung
  • mit ausgeschaltetem Javascript
  • mit RSS-Volltext-Feed


Aktuell auf der Startseite von Golem.de
T-1000
Roboter aus Metall kann sich verflüssigen

Ein Team aus den USA und China hat einen Roboter entwickelt, der seinen Aggregatzustand von fest zu flüssig und zurück ändern kann.

T-1000: Roboter aus Metall kann sich verflüssigen
Artikel
  1. Trotz Exportverbot: Chinesische Kernforscher nutzen weiter US-Hardware
    Trotz Exportverbot
    Chinesische Kernforscher nutzen weiter US-Hardware

    An Chinas wichtigstes Kernforschungszentrum darf seit 25 Jahren keine US-Hardware geliefert werden. Dennoch nutzt es halbwegs aktuelle Xeons und GPUs.

  2. Playstation 5: Teaser wirbt für Spider-Man 2 - und Uncharted 5?
    Playstation 5
    Teaser wirbt für Spider-Man 2 - und Uncharted 5?

    Im Teaser springt Spider-Man durch Manhattan. Im gleichen Video könnte es einen Hinweis auf Uncharted 5 geben.

  3. Virtualisieren mit Windows, Teil 3: Betrieb und Pflege von VMs mit Hyper-V
    Virtualisieren mit Windows, Teil 3
    Betrieb und Pflege von VMs mit Hyper-V

    Hyper-V ist ein Hypervisor, um VMs effizient verwalten zu können. Trotz einiger weniger Schwächen ist es eine gute Virtualisierungssoftware, wir stellen sie in drei Teilen vor. Im letzten geht es um Betrieb und Pflege der VMs.
    Eine Anleitung von Holger Voges

Du willst dich mit Golem.de beruflich verändern oder weiterbilden?
Zum Stellenmarkt
Zur Akademie
Zum Coaching
  • Schnäppchen, Rabatte und Top-Angebote
    Die besten Deals des Tages
    Daily Deals • PCGH Cyber Week - Rabatte bis 50% • Acer Predator 32" WQHD 170Hz 529€ • MindStar-Tiefstpreise: MSI RTX 4090 1.982€, Sapphire RX 7900 XT 939€ • Philips Hue bis -50% • Asus Gaming-Laptops bis -25% • XFX Radeon RX 7900 XTX 1.199€ • Kingston 2TB 112,90€ • Nanoleaf bis -25% [Werbung]
    •  /