Standarden WebAssembly 3.0 har publicerats

W3C-konsortiet har meddelat att specifikationen som standardiserar mellanliggande kod för WebAssembly 3.0 och tillhörande API är klar, vilket gör det möjligt att skapa högpresterande applikationer som kan överföras mellan webbläsare och hårdvaruplattformar. WebAssembly erbjuder en webbläsaroberoende universell lågnivåkod för att köra program som har kompilerats från olika programmeringsspråk.

WebAssembly-teknologin kan användas för att utföra uppgifter i webbläsaren som kräver hög prestanda, såsom videokodning, ljudbearbetning, grafisk och 3D-manipulation, spelutveckling, kryptografiska operationer och matematiska beräkningar genom att möjliggöra körning av kod som skrivits i kompilering-språk som C/C++. Genom att använda JIT för WebAssembly kan man uppnå prestandanivåer som ligger nära den inbyggda koden.

Bland de viktigaste målen för WebAssembly är att säkerställa portabilitet, förutsägbart beteende och identitet vid körning av kod på olika plattformar. WebAssembly är inte begränsat till webbläsare och marknadsförs också som en universell plattform för säker körning av kod i alla infrastrukturer, operativsystem och enheter.

Följande specifikationer är tillgängliga:

• WebAssembly Core — beskriver en lågnivå virtuell maskin för att köra mellanliggande kod för WebAssembly. Resurser kopplade till WebAssembly levereras i formatet ".wasm", som liknar ".class"-filer i Java och innehåller statiska data och kodsegment för att arbeta med dessa data.
• WebAssembly JavaScript API — tillhandahåller ett API för integration med JavaScript. Gör det möjligt att hämta värden och passa parametrar till WebAssembly-funktioner. Körning av WebAssembly följer JavaScripts säkerhetsmodell, och all interaktion med det underliggande systemet sker på liknande sätt som körning av JavaScript-kod.
• WebAssembly Web API — definierar ett programmeringsgränssnitt baserat på Promise-mekanismen för att begära och köra resurser ".wasm". Formatet för WebAssembly-resurser är optimerat för att börja körningen utan att vänta på att hela filen ska laddas, vilket förbättrar responsiviteten hos webbapplikationer.
• WASI API — definierar ett modulärt systemgränssnitt för att köra WebAssembly utanför webbläsare och ger tillgång till resurser såsom filer, nätverksanslutningar, en pseudotillfalls-generator och systemklockor.

Det noteras att den nya versionen av standarden har avsevärt förbättrad support för kompilering av hög-nivåspråk till WebAssembly. Till exempel har möjligheten att kompilera projekt på språk som Java, OCaml, Scala, Kotlin, Scheme och Dart implementerats. Huvudändringarna i WebAssembly 3.0, jämfört med den andra versionen av standarden:

• Stöd för 64-bit adressutrymme har implementerats. För adressering av minne kan nu typen i64 användas, istället för enbart i32, vilket utvidgar det tillgängliga adressutrymmet för applikationer från 4 GB till 16 EB (när det körs i webbläsaren sätts en gräns på 16 GB).
• Möjlighet till samtidig användning av flera minnesobjekt inom en WebAssembly-modul och arbete med olika adressrymder har tillhandahållits. Bland annat är det möjligt att kopiera data mellan olika instanser av minnesobjekt som finns i olika adressrymder.
• Stöd för skräpsamling har lagts till. Förutom den tidigare tillgängliga linjära minnet har en separat typ av lagring föreslagits, som automatiskt hanteras med hjälp av en skräpsamlare. Kompilatorn kan nu använda separata datatyper, matriser och variabler, vars minneshantering och livscykel WebAssembly ansvarar för.
• Stöd för typade referenser har lagts till, vilket kan beskriva den exakta strukturen av det värde som referensen pekar på, vilket eliminerar behovet av ytterligare kontroller under körning. Underklasser, typrekursivitet och möjlighet till säker användning av funktionsreferenser som inte kräver typ- och gränskontroller under körning stöds.
• Stöd för svansanrop (Tail call) har lagts till, där den aktuella funktionen omedelbart avslutar sin körning efter anrop av en annan funktion, utan att använda plats på stacken.
• Stöd för undantagshantering har lagts till.
• Stöd för "avslappnade" (relaxed) vektoriella SIMD-instruktioner har lagts till, vilket möjliggör högre prestanda genom att avstå från strikt överensstämmelse med semantiken på alla hårdvaruplattformar.
• Stöd för en deterministisk körprofil har lagts till, vilket definierar plattformsoberoende beteende för instruktioner vars exekveringsresultat kan variera mellan olika plattformar (flyttalsoperationer, återlämnande av NaN, svagare vektoristruktioner). När denna profil väljs säkerställer Wasm deterministiskt beteende, reproducerbarhet och portabilitet.
• Syntax för att skapa egna annoteringar har lagts till, vilket möjliggör biläggande av ytterligare information till WebAssembly-kod. Tidigare fanns stöd för användarsektioner som kan lagra godtycklig information i det binära formatet av WebAssembly, men det saknades i WebAssembly:s textformat. Nu kan denna information läggas till i ett läsbart och redigerbart format.
• Inbyggda funktioner för hantering av strängar har lagts till i JavaScript API. Tidigare kunde JavaScript-strängar endast överföras till WebAssembly som externa referenser, men nu kan strängarna adresseras direkt och manipuleras inuti WebAssembly.

Källa: opennet.ru