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.

Stellenmarkt
  1. Leiter IT Produkte, Chief Product Officer (m/w/d)
    Optica Abrechnungszentrum Dr. Güldener GmbH, Stuttgart
  2. ERP Specialist (m/w/d)
    Torqeedo GmbH, Gilching (Home-Office möglich)
Detailsuche

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.

Golem Akademie
  1. Unreal Engine 4 Grundlagen: virtueller Drei-Tage-Workshop
    28. Februar–2. März 2022, Virtuell
  2. Einführung in Unity: virtueller Ein-Tages-Workshop
    17. Februar 2022, Virtuell
Weitere IT-Trainings

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
Framework Laptop im Hardware-Test
Schrauber aller Länder, vereinigt euch!

Der modulare Framework Laptop ist ein wahrgewordener Basteltraum. Und unsere Begeisterung für das, was damit alles möglich ist, lässt sich nur schwer bändigen.
Ein Test von Oliver Nickel und Sebastian Grüner

Framework Laptop im Hardware-Test: Schrauber aller Länder, vereinigt euch!
Artikel
  1. FTTH: Liberty Network startet noch mal in Deutschland
    FTTH
    Liberty Network startet noch mal in Deutschland

    Das erste FTTH-Projekt ist gescheitert. Jetzt wandert Liberty von Brandenburg nach Bayern an den Starnberger See.

  2. Lieferando-Beschäftigte: Aus Zeitnot rote Ampeln überfahren
    Lieferando-Beschäftigte
    Aus Zeitnot rote Ampeln überfahren

    Bei Protesten vor der Konzernzentrale von Lieferando forderten die Rider 15 Euro pro Stunde und weniger Arbeitshetze.

  3. Raumfahrt: China schleppt defekten Satelliten ab
    Raumfahrt
    China schleppt defekten Satelliten ab

    Ein nicht funktionsfähiger Satellit wurde mit Hilfe eines weiteren Satelliten dorthin verbracht, wo er keine Gefahr darstellt.

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 • RTX 3080 12GB 1.499€ • iPhone 13 Pro 512GB 1.349€ • DXRacer Gaming-Stuhl 159€ • LG OLED 55 Zoll 1.149€ • PS5 Digital mit o2-Vertrag bestellbar • Prime-Filme für je 0,99€ leihen • One Plus Nord 2 335€ • Intel i7 3,6Ghz 399€ • Alternate: u.a. Sennheiser Gaming-Headset 169,90€ [Werbung]
    •  /