#wasm_lab

Сегодня у нас на обзоре статья, посвященная WebAssembly backend в GCC.

Напомню, что backend - это часть компилятора, которая умеет превращать внутреннее представление программы в код для конкретной целевой архитектуры. Обычно backend генерирует код для процессоров вроде x86, ARM или RISC-V. Но в случае с WASM целевой "архитектурой" становится виртуальная ISA (Instruction Set Architecture) WebAssembly, а не физический процессор.

LLVM/Clang имеет зрелый backend для WebAssembly и может генерировать .wasm напрямую. Почему же GCC уже давно отстает?

Архитектура GCC опирается на привычную модель процессоров с переходами по меткам и конечным набором регистров. А WebAssembly устроен совсем иначе. В нем структурированный control flow, виртуальные регистры и жестко заданные сигнатуры вызовов.

Наличие в WASM виртуальных регистров (которых формально бесконечно много) ломает привычный allocator GCC, который десятилетиями рассчитывал на фиксированный набор регистров. В результате часть классических оптимизаций сегодня просто отключена.

Из-за этого разработчикам backend приходится идти на весьма необычные компромиссы.

Статья описывает какие фундаментальные вещи GCC пришлось обходить, чтобы заставить его генерировать WebAssembly.

Рекомендую почитать, если интересует внутренняя кухня компиляторов и то, почему Wasm заставляет переписывать привычные алгоритмы GCC. Статья читается на одном дыхании 🤨

#wasm #webassembly #gcc

@prowasm

#wasm_lab

Сегодня у нас на обзоре статья с довольно провокационным названием: "Wasm is not quite a stack machine". И после прочтения начинаешь смотреть на WebAssembly немного иначе.

Все привыкли, что WASM - это "for a stack-based virtual machine". Так написано прямо на главной странице webassembly.org. Но автор предлагает обратить внимание на одну деталь.

У классических стековых VM (например, JVM) есть инструкции вроде dup, swap, over, которые позволяют свободно переиспользовать значения на стеке. В WASM этого практически нет. Есть только drop, а как только нужно повторно использовать вычисленное значение приходится сохранять его в local.

Получается, что выражения в WASM действительно вычисляются через стек. Но стоит выйти за рамки простой арифметики (да, мы любим такое на всевозможных демо 😎), модель быстро начинает напоминать скорее регистровую машину, где locals играют роль регистров, а стек оказывается лишь способом компактно записать выражение.

На мой взгляд, понимание таких деталей не менее полезно, чем знание WASI или Component Model.

Рекомендую к прочтению 😌

#wasm #webassembly

@prowasm

#wasm_news

Сегодня на обзоре два свежих релиза продуктов, оказывающих заметное влияние на экосистему WASM.

☁️ Вышел wasmCloud 2.5.0:

- WASI 0.3 теперь включен по умолчанию благодаря переходу на Wasmtime 46. Это значит, что экосистема начинает жить уже в реалиях нового поколения WASI.

- Появилась поддержка multiplexed host plugins на базе implements из Component Model. Проще говоря, один компонент теперь может импортировать один и тот же интерфейс несколько раз и прозрачно работать сразу с несколькими реализациями.

- GC, async Component Model, threads, exception handling и другие proposal можно включать отдельно для каждого host или группы hosts, а не собирать отдельные runtime под разные сценарии.

- async WIT-интерфейсы для keyvalue и blobstore, улучшения Kubernetes-оператора, усиление безопасности Helm-чартов и множество небольших улучшений CLI wash.

📦 Вышел jco 1.25.2. Проект получил js-component-bindgen 2.0.11, где исправлены два бага в генерации биндингов:

- Корректный lowering результатов async host imports для stream/future

- Исправлена генерация кода для кодирования строк при flat string lowering

---

Всем продуктивной рабочей недели! 😎

#wasm #webassembly #wasmcloud #wit #wasi #jco

@prowasm

Рубрика #wasm_live

Здесь собираем интересные кейсы использования WebAssembly: от Big Tech до небольших, но очень изобретательных проектов.

Сегодня у нас на обзоре SpaceWasm - реализация WASM 1.0 от NASA для запуска WASM-модулей прямо на борту космических аппаратов 🚀 😱

Да-да, все верно: WebAssembly в космосе 🔥 Причем NASA рассматривает WASM не как экспериментальную технологию, а как основу для безопасного выполнения бортовой логики.

Зачем это понадобилось? Исторически сценарии управления космическими аппаратами сильно отличались от миссии к миссии. Каждая команда писала собственные механизмы для выполнения последовательностей команд, что усложняло сопровождение и повторное использование. SpaceWasm предлагает стандартизировать этот уровень через WebAssembly.

Во главу угла ставится безопасность. Вместо того чтобы добавлять новую функциональность непосредственно в бортовую логику (а это означает долгие месяцы верификации и тестирования), можно загрузить WASM-модуль, который будет выполняться в изолированной песочнице с жесткими ограничениями по памяти, времени исполнения и доступу к системным ресурсам. Для индустрии, где цена ошибки может измеряться стоимостью космической миссии, это очень сильный аргумент.

Однако, в данном случае за надежность приходится платить производительностью. По первым бенчмаркам, опубликованным на Reddit, SpaceWasm примерно в 6 раз медленнее самых быстрых интерпретаторов. Но, как вы понимаете, приоритеты совершенно другие: предсказуемость, детерминированность и безопасность важнее максимальной скорости.

WASM улетает в космос. Поздравляю, друзья! 💃

#wasm #webassembly #nasa

@prowasm

#wasm_lab

Стек против регистров: почему Polkadot ушел с WASM?

Сегодня у нас на обзоре авторская статья ⌨️

Философия WASM про "собрал один бинарь и запускаешь где угодно в максимальной изоляции". Но, как и в любой технологии, за этим скрываются интересные компромиссы.

В статье я попробовал разобраться:

🔹 Чем стековая модель VM отличается от регистровой и где эта разница реально что-то меняет

🔹 Почему WASM не совсем честная стек-машина

🔹 Что вынужден делать single-pass компилятор WASM

🔹 Как компиляция превращается в вектор атаки

🔹 За что именно WASM платит вне браузера

И главное, где же все таки реалистичная ниша WASM вне вкладки браузера. У меня есть версия, но интересно услышать и вашу 😉

Если вам интересны такие темы — добро пожаловать к прочтению 👇

🔗 https://habr.com/ru/articles/1058984/

#wasm #webassembly

@prowasm

#wasm_news

Сегодня на обзоре два свежих релиза продуктов, оказывающих заметное влияние на экосистему WASM.

⚙️ Emscripten 6.0 (на самом деле серия 6.0.x) - один из самых значимых релизов компилятора для WASM за последнее время. Помимо большого количества улучшений, он закладывает основу для следующего поколения WASM.

Главные изменения:

- wasm64 становится ближе к реальности. Вместо специфичного -sMEMORY64 теперь используется стандартный флаг -m64, как и в обычном LLVM/Clang. Это важный шаг к полноценной поддержке Memory64 Proposal.

- Динамическая линковка теперь "настоящая". Emscripten больше не использует FAKE_DYLIBS по умолчанию. -shared начинает создавать реальные side modules.

- Появилась экспериментальная интеграция с wasm-bindgen. Теперь проекты на Rust и JavaScript становятся значительно ближе друг к другу, а смешанные Rust/C++ проекты проще в сопровождении.

- Продолжается адаптация под современные возможности WASM. В последних патч-релизах появились FMA intrinsics с поддержкой Relaxed SIMD, автоматическая инициализация ES-модулей через top-level await.

---

🚀 Wasmer 7.2.0 - релиз получился не самым громким, но с несколькими важными изменениями для разработчиков рантаймов и серверных WASM-приложений.

Главные изменения:

- Появилась экспериментальная возможность прерывать выполнение WASM. Теперь рантайм может безопасно остановить длительно выполняющийся код. Это важная возможность для серверных платформ и sandbox.

- Cranelift получил поддержку Exception Handling на macOS. Поддержка теперь доступна и на Mach-O, что делает поведение рантайма более единообразным между платформами.

- Компиляция стала лучше масштабироваться по ядрам CPU. Переработана параллельная компиляция для LLVM и Cranelift, поэтому большие модули будут собираться заметно эффективнее на многоядерных машинах.

- Возвращён backend V8. После длительного перерыва движок снова поддерживается и теперь покрывается CI, что расширяет варианты исполнения WebAssembly внутри Wasmer.

- Упрощается экосистема движков. Из Wasmer удалены backend'ы WAMR и Wasmi, а также прекращена поддержка x86_64 macOS, т.к. проект окончательно ориентируется на Apple Silicon.

- Улучшения WASIX и новые команды CLI. Продолжается развитие сетевого стека WASIX, а в CLI появились команды wasmer package search и wasmer package show, упрощающие работу с пакетами.

---

Подписывайтесь, если хотите следить за новостями из волшебного мира WebAssembly 🕺

#wasm #webassembly #wasmer #wasix #cranelift #llvm #emscripten #llvm #wasm64 #simd

@prowasm

#wasm_live

📰 RightNow AI предлагает превратить LLM-агентов в WASM-бинарники

Появился очень необычный проект Auto от RightNow AI. Идея звучит как "компилятор для агентского поведения". Вместо того чтобы каждый раз отправлять одинаковые запросы в LLM, Auto записывает поведение агента, находит повторяющиеся детерминированные участки и компилирует их в верифицированные WASM-бинарники. Всё, что не удалось свести к детерминированной логике, продолжает выполняться через обычную LLM. Почему это интересно?

Во-первых, WASM здесь используется не просто как переносимый формат, а как безопасный sandbox для исполнения поведения агента.

Во-вторых, авторы заявляют довольно впечатляющие результаты: после "накопления опыта" стоимость выполнения типовых задач снижается примерно с 59 до 2 микродолларов за запрос (на задачу) 🤯

Проще говоря:

- повторяющиеся фрагменты поведения больше не исполняются через frontier-модель. Вместо очередного промпта выполняется WASM-бинарник. Экономим токены

- снижается стоимость инференса

- выполнение WASM занимает микросекунды вместо сотен миллисекунд ожидания ответа модели

😮 По сути, Auto "кэширует" опыт LLM в виде WASM-бинарников. Повторные задачи больше не требуют генерации токенов, они выполняются локально, а к модели система обращается только при появлении новых сценариев

Если подобных проектов станет больше, WASM вполне может занять важное место в инфраструктуре AI-систем, а не только в браузере и серверных рантаймах.

💡 В первую очередь прошу обратить внимание тех, кто строит агентские системы или LLM-пайплайны, а также ML-инженерам.

#wasm #webassembly #ai #agents

@prowasm

#wasm_news

Пару дней назад разработчик Hexana представил небольшое, но очень полезное обновление для тех, кто работает с Component Model.

Теперь при открытии бинарника можно сразу просматривать встроенные Core модули в виде WAT, не извлекая их в отдельные файлы. Если внутри компонента несколько модулей, между ними можно переключаться через встроенный селектор.

На практике это сильно упрощает анализ компонентов. Почему?

Component Model - это не просто обычный .wasm. Это контейнер, внутри которого находятся полноценные Core модули со своей логикой. Раньше Hexana показывал структуру самого компонента, а для анализа содержимого встроенных модулей их приходилось сначала извлекать. Теперь этот шаг больше не нужен.

Подобные улучшения делают работу с Component Model гораздо приятнее 😉

Продуктивной рабочей недели!

#wasm #webassembly #hexana

@prowasm

Рубрика #wasm_live

Здесь собираем интересные кейсы использования WebAssembly: от Big Tech до небольших, но очень изобретательных проектов.

🎮 The Simpsons: Hit & Run теперь работает прямо в браузере.

Разработчик портировал оригинальную PC-версию игры на WASM + WebGL. Причем это не стриминг и не эмуляция, игра по настоящему запускается в браузере как нативное приложение.

Интересные инженерные решения, которые пришлось реализовать:

🔊 Игра была написана в расчете на синхронный аудио API, тогда как Web Audio API работает совсем по-другому. Автору пришлось реализовать собственные lock-free структуры в общей памяти и построить механизм обмена данными между основным потоком и AudioWorklet без блокировок.

📦 Вместо скачивания архивов целиком (около 500 МБ) игровые данные подгружаются по мере необходимости через Cloudflare R2 и Worker, который отдает файлы чанками по 1 МБ. В результате игра стартует быстрее, а кэш браузера используется значительно эффективнее.

Кто бы мог подумать, что появится технология, которая сегодня позволит запускать полноценные AAA-игры начала 2000-х в браузере? 🤣
Рекомендую попробовать - игра действительно переносит тебя в 2000-е.

#wasm #webassembly #thesimpsons

@prowasm

#wasm_lab

Недавно публиковал статью WebAssembly (WASM) — не серебряная пуля, и в комментариях мне ответил один из пользователей (а по совместительству автор на Хабр): "Мы проверяли на собственном большом проекте где важна производительность и получили аналогичные результаты. Кому интересно можно почитать наше расследование".

Конечно же нам интересно 🥰

Статья называется "Блеск и нищета WebAssembly" и опубликована она в сентябре 2024 года. Она посвящена R&D процесса в экспериментах с WASM, а также, по моему мнению, является хорошей входной точкой для изучения новой технологии (с максимальной актуальностью на момент написания).

Автор прошел серьезный путь:

- выбрал WAMR как runtime
- портировал C++-библиотеки в WASM
- столкнулся с ограничениями wasm32, ABI, отладкой и SIMD
- провел серьезную работу по профилированию и оптимизации

Главный вывод статьи тогда: технология очень перспективная, но еще сырая для крупных production-проектов.

Очень любопытно смотреть уже из 2026 года. Многие проблемы, о которых писал автор, действительно начали решаться. Появился WASM 3.0, активно развивается Component Model, появился WASI 0.3 с нативной async-моделью. Исключения, GC, SIMD и многие proposals уже перестали быть экзотикой и получили поддержку в современных рантаймах.

Но некоторые выводы статьи по-прежнему актуальны.

Если вы переносите большой C/C++-проект в WASM, архитектурные компромиссы никуда не делись. Стоимость копирования данных между host и sandbox, особенности ABI, выбор runtime и вопросы производительности по-прежнему оказывают куда большее влияние, чем сама спецификация.

Отдельно интересно, что автор называл wasm64 слишком экспериментальным. В 2026 ситуация заметно лучше: memory64 уже вошла в экосистему, однако полноценная поддержка во всех движках и браузерах все еще на подходе.

Статья отлично показывает, как выглядело состояние WASM в 2024 году. И именно поэтому ее полезно читать сегодня. Можно оценить, какие прогнозы оказались верными, какие проблемы уже решены, а какие до сих пор сопровождают любой серьезный проект.

Приятного чтения! 😭


#wasm #webassembly

@prowasm

Рубрика #wasm_live

Здесь собираем интересные кейсы использования WebAssembly: от Big Tech до небольших, но очень изобретательных проектов.

🤖 LLM прямо в браузере. Без GPU. Без WebGPU. Без сервера. Только WebAssembly.

Разработчик запустил модель LiquidAI LFM 2.5-350M полностью в браузере, используя чистый WASM. Никакого бэкенда и сетевых запросов во время инференса, после загрузки модели все работает локально на CPU.

Что особенно интересно с технической точки зрения?

Во-первых, автор не использует готовые библиотеки линейной алгебры. Практически вся математика написана вручную: SIMD-ядра для GEMM/GEMV, GQA Attention, RoPE и других операций. Это очень хороший пример использования WASM SIMD.

Во-вторых, модель квантована до 4 бит (Q4_0), благодаря чему удалось уместить веса примерно в 285 МБ. После первой загрузки инференс полностью выполняется локально, что одновременно запускает приватность в космос и устраняет зависимость от сервера.

Конечно, это не конкурент большим облачным моделям. Но тем не менее, шикарная демонстрация возможностей WASM. 👍

Исходный код открыт на GitHub.

Проект в первую очередь интересен тем, кто занимается локальным AI, Edge AI и браузерными ML.

#wasm #webassembly

@prowasm