Публикуван е стандарт WebAssembly 3.0

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

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

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

Налични са следните спецификации:

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

Отбелязва се, че в новата версия на стандарта е значително подобрена поддръжката за компилиране на високоуровневи езици в WebAssembly. Например, реализирана е възможността за компилиране на проекти на езици Java, OCaml, Scala, Kotlin, Scheme и Dart в WebAssembly. Основните изменения в WebAssembly 3.0, спрямо втора версия на стандарта:

• Реализирана е поддръжката на 64-битово адресно пространство. За адресирането на памет вече може да се използва тип i64, а не само i32, което разширява достъпното адресно пространство за приложенията от 4 ГБ до 16 ЕБ (при изпълнение в браузъра е наложено ограничение от 16 ГБ).
• Предоставена е възможността за едновременно използване на няколко обекта памет в един WebAssembly модул и работа с различни адресни пространства. Между другото, възможно е копирането на данни между различни инстанции на обекти памет, разположени в различни адресни пространства.
• Добавена е поддръжка на събиране на боклука. Освен преди това наличната линейна памет, е предложен отделен тип хранилище, управляван автоматично чрез сборщика на боклука. Компилаторът сега може да използва отделни структури от данни, масиви и променливи, за които управлението на паметта и жизнения цикъл е отговорност на WebAssembly.
• Добавена е поддръжка на типизирани референции, които могат да описват точната структура на стойността, на която сочи референцията, което позволява да се избегнат допълнителни проверки по време на изпълнение. Поддържат се подтипове, рекурсия на типове и възможността за безопасно използване на референции към функции, които не изискват проверки на типове и граници по време на изпълнение.
• Добавена е поддръжка на хвостови извиквания (Tail call), при които текущата функция завършва веднага след извикване на друга функция, без да заема място в стека.
• Добавена е поддръжка за обработка на изключения.
• Добавена е поддръжка на 'ослабени' (relaxed) SIMD инструкции за векторна обработка, които позволяват постигане на по-висока производителност чрез отказ от строго спазване на семантиката на всички хардуерни платформи.
• Добавена е поддръжка на детерминистичен профил на изпълнение, който определя поведение, независимо от текущата платформа, за инструкции, резултатите от изпълнението на които могат да варират на различни платформи (операции с плаваща запетая, връщане на NaN стойности, ослабени векторни инструкции). Избирайки този профил, Wasm осигурява детерминистично поведение, възпроизводимост и преносимост.
• Добавен е синтаксис за създаване на собствени анотации, позволяващи прикрепянето на допълнителна информация към кода на WebAssembly. Преди това поддръжката на потребителски секции, позволяващи съхранението на произволна информация, беше налична само в бинарния формат на WebAssembly, но отсъстваше в текстовия формат. Сега е възможно да се добавя тази информация в четим и редакируем вид.
• В JavaScript API са добавени вградени функции за работа с низове. Преди това низовете в JavaScript можеха да бъдат предавани в WebAssembly само като външни връзки, а сега може директно да се получават и манипулират вътре в WebAssembly.

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