Project Verona - Nytt programmeringsspråk baserat på Rust

Permalänk
Medlem

Project Verona - Nytt programmeringsspråk baserat på Rust

Rust byggdes från grunden av element från beprövade systemprogrammeringsspråk och modern programmeringsspråksdesign. Det kombinerar den typiska syntaxen för högnivåspråk med kontrollen och prestandan för ett lågnivåspråk. Det förhindrar också segmenteringsfel och garanterar säkerhet i flertrådade program. Med Rust kan programmerare skapa programvara som är mindre utsatta för buggar och säkerhetsutnyttjande. Mozilla var den första investeraren i Rust och sponsrar den vidare utvecklingen som sker som öppen mjukvara. Mozilla använder själva mycket Rust i utvecklingen av sin webbläsare Firefox.

Rusts egenskaper som även gör det mycket passande för utveckling av delar av operativsystem har Microsoft fått upp intresset för då Windows länge har varit en attackvektor för illasinnade. Speciellt minneshanteringen är det som oftast attackeras i Windows. Rust har inbyggd funktionalitet för att stoppa många typer av säkerhetshål i just minneshanteringen.

Microsoft har valt att utveckla ett nytt språk baserat på Rust och detta projekt kallas Project Verona. Språket i ett experimentstadie men tanken, som jag förstår, är att utveckla nya specifika delar av Windows med detta nya språk. Även Project Verona kommer att släppas som öppen källkod.

Jag lägger till ett citat från Mathew Parkinson (forskare på Cambridge Computer Lab i Storbrittanien), som beskriver en av skillnaderna mellan Project Verona och Rust.

"It's really hard to do memory management. Temporal memory safety is very difficult if you have arbitrary concurrent mutation.

The ownership model in Verona is based on groups of objects, not like in Rust where it's based on a single object. In C++ you get pointers and it's based on objects and it's pretty much per object. But that isn't how I think about data and grammar. I think about a data structure as a collection of objects. And that collection of objects as a lifetime.

So by taking ownership at the level of ownership of objects, then we get much closer to the level of abstraction that people are using and it gives us the ability to build data structures without going outside of safety."

Det ska bli mycket intressant att se vart detta tar vägen.

Visa signatur

Ryzen 7 7800X3D | ASUS TUF Gaming B650-Plus WIFI | Kingston 32GB (2x16GB) DDR5 6GT/s CL30 FURY Beast | Kingston Fury Renegade M.2 NVMe SSD Gen 4 2TB | MSI RTX 4060 8GB | Fractal Design Define S | MSI MPG A850G 850W | Thermalright Phantom Spirit 120 SE | Windows 11 Pro | AOC 27" AGON AG276QZD2 OLED QHD 240 Hz

Permalänk
Medlem

Här är presentationen där det först nämndes:
https://vimeo.com/376180843