WebAssembly

Материал из Википедии — свободной энциклопедии

Текущая версия страницы покане проверялась опытными участниками и может значительно отличаться отверсии, проверенной 17 марта 2022 года; проверки требуют36 правок.

Перейти к навигации Перейти к поиску

WebAssembly

Класс языка	Expression-oriented^[англ.]
Появился в	2015^[2]
Автор	Консорциум Всемирной паутины
Разработчик	W3C Mozilla Microsoft Google Apple
Расширение файлов	`.wast` или`.wasm`^[3]
Выпуск	2.0.1^[1] (24 июля 2023 года)
Система типов	статическая
Испытал влияние	Asm.js и Native Client
Лицензия	Apache License 2.0
Сайт	webassembly.org
Медиафайлы на Викискладе

WebAssembly (сокращённоwasm) —язык программирования низкого уровня^{[источник не указан 137 дней]}, призванный внестипрограммируемость туда, где нужныкроссплатформенность, эффективность ибезопасность, в первую очередь на клиентскую сторонуВсемирной паутины.

Программирование идёт на обычных статически типизированных языках, таких какСи,C++,C#,Rust,Go. Стековая виртуальная машина, исполняющая инструкции бинарного формата wasm, может быть запущена как в среде браузера, так и в серверной среде. Код на wasm — переносимоеабстрактное синтаксическое дерево, что обеспечивает как более быстрый анализ, так и более эффективное выполнение в сравнении сJavaScript.

Проект стартовал 17 июня 2015 года^[4], 15 марта 2016 года была продемонстрирована работа игры Angry Bots из набора примеров дляUnity в браузереChromium^[5]. Изначально проект основывался наasm.js^[6] иPNaCl^[7]. В марте 2017 года сообщество разработчиков достигло соглашения о бинарном формате, API для JavaScript и о эталонном интерпретаторе. В конце мая 2017 года команда проекта Chromium объявила о планах по отказу отPNaCl в пользу WebAssembly^[8].

По состоянию на 2021 год группа, работающая над WebAssembly, включает разработчиков изMozilla,Google,Microsoft иApple, которые представляют на рынке четыре наиболее распространённых браузера —Firefox,Chrome,Microsoft Edge иSafari соответственно^[7].

Существует расширение форматовTrueType/OpenType и типографского движкаHarfbuzz, позволяющее писать рендеринг текста на WebAssembly^[9]. Полученный шрифт меньше по размеру, лучше стандартизован (ожидается меньше расхождений от движка к движку) и обрабатывается быстрее, чем традиционные таблицы OpenType. А некоторые эффекты — многослойный рендеринг цветного шрифта (сначала рисуются все глифы заднего плана, потом все переднего) или качественная сборка стиля арабской вязи «настали́к» — принципиально недостижимы таблицами OpenType^[10].

Представление

[править |править код]

Следующая таблица показывает три различных представления одного и того же исходного кода по мере трансляции его в wasm:

Исходный код на C (*.c)

Линейный ассемблерный текст (*.wat)

Байт-код WASM (*.wasm)

intfactorial(intn){if(n==0)return1;elsereturnn*factorial(n-1);}

get_local 0i64.eqzif i64    i64.const 1else    get_local 0    get_local 0    i64.const 1    i64.sub    call 0    i64.mulend

20 005004 7e42 010520 0020 0042 017d10 007e0b

Компилятор внутри использует представление в видеs-выражения, которое содержит больше информации, чем линейный текст или байт-код. Например:

(module(type$FUNCSIG$dd(func(paramf64)(resultf64)))(import"global.Math""exp"(func$exp(paramf64)(resultf64)))(memory256256)(export"memory"(memory0))(func$doubleExp(param$0f64)(resultf64)(f64.mul(call$exp(get_local$0))(f64.const2)))(export"doubleExp"(func$doubleExp)))

Поддержка

[править |править код]

Компиляция в WebAssembly поддерживается для множества языков, реализация находится на разных стадиях^[11]:

Си иC++ — через набор инструментовEmscripten и Binaryen обеспечивается компиляция вasm.js и wasm, используетLLVM.
C# — черезAvalonia,Blazor и Uno Platform (на основеmono).
Rust — экспериментальная поддержка компиляции в wasm поддерживается с версии 1.14^[12].
Elixir иErlang — через компилятор Lumen, разработанный специально для WebAssembly^[13].
Go — экспериментальная поддержка компиляции в wasm поддерживается с версии 1.11^[14].
TypeScript — черезAssemblyScript.
D — LDC начиная с версии 1.11 поддерживает компиляцию и линковку кода на D напрямую в WebAssembly^[15].
Lazarus — поддерживает сборку в WebAssembly^[16]
Kotlin — экспериментальная поддержка.
Ruby — с версии 3.2.0^[17], через WASI^[18].