Достъпен е предварителен вариант на стандарта WebAssembly 2.0

Консорциум W3C публикува чернова версия на новата спецификация, която стандартизира междинния код WebAssembly 2.0 и свързания с него API, позволяващ създаването на високо производителни приложения, преносими между браузери и хардуерни платформи. WebAssembly предоставя независим от браузъра универсален ниско ниво междинен код за изпълнение на приложения, компилирани от различни програмни езици. Чрез използването на JIT за WebAssembly може да се постигне производителност, близка до нативния код.

Технологията WebAssembly може да се използва за изпълнение на задачи в браузъра, изискващи висока производителност, например, кодиране на видео, обработка на звук, работа с графика и 3D, разработка на игри, криптографски операции и математически изчисления, чрез организиране на изпълнението в браузъра на код, написан на компилируеми езици като C/C++.

Сред основните цели на WebAssembly е осигуряване на преносимост, предсказуемост на поведението и идентичността на изпълнението на кода на различни платформи. Напоследък WebAssembly също така се насърчава като универсална платформа за безопасно изпълнение на код в различни инфраструктури, операционни системи и устройства, без да се ограничава до браузерите.

W3C публикува три предварителни спецификации на WebAssembly 2.0:

• WebAssembly Core — описва нискоуровневата виртуална машина за изпълнение на междинния код WebAssembly. Свързаните с WebAssembly ресурси се предоставят във формат «.wasm», подобен на файловете «.class» в Java и съдържащ статични данни и сегменти код за работа с тези данни.
• WebAssembly JavaScript Interface — предоставя API за интеграция с JavaScript. Позволява получаване на стойности и предаване на параметри на функции WebAssembly. Изпълнението на WebAssembly отговаря на модела за сигурност на JavaScript и всяко взаимодействие с основната система се извършва аналогично на изпълнението на JavaScript кода.
• WebAssembly Web API — определя програмния интерфейс на базата на механизма Promise за заявка и изпълнение на ресурси «.wasm». Форматът на ресурсите на WebAssembly е оптимизиран за бързо изпълнение, без да се чака пълното зареждане на файла, което подобрява отзивчивостта на уеб приложенията.

Основните промени в WebAssembly 2.0, в сравнение с първата версия на стандарта:

• Поддръжка на векторния тип v128 и свързаните с него векторни инструкции, позволяващи паралелно изпълнение на действия върху няколко числови стойности (SIMD, single instruction multiple data).
• Възможност за внос и износ на изменяеми (mutable) глобални променливи, позволяващи прилагането на глобално свързване за стойности като указатели на стек в C++.
• Нови инструкции за преобразуване на тип float в int, които вместо да генерират изключение при преливане на резултата, връщат минималната или максималната възможна стойност (необходимо за SIMD).
• Инструкции за разширяване на знака на цели числа (увеличаване на разрядността на числото със запазване на знака и стойността).
• Поддръжка за връщане на няколко стойности блоково и чрез функции (в допълнение към предаването на няколко параметъра на функции).
• Имплементация на JavaScript функции BigInt64Array и BigUint64Array за преобразуване между JavaScript тип BigInt и представяне на 64-битови цели числа в WebAssembly.
• Поддръжка на референтни типове (funcref и externref) и свързани с тях инструкции (select, ref.null, ref.func и ref.is_null).
• Инструкции memory.copy, memory.fill, memory.init и data.drop за копиране на данни между области на паметта и почистване на региони на паметта.
• Инструкции за директен достъп и промяна на таблици (table.set, table.get, table.size, table.grow). Възможност за създаване, импорт и експорт на няколко таблици в един модул. Функции за копиране/попълване на таблици в пакетен режим (table.copy, table.init и elem.drop).

Източник: opennet.ru