Полный текст

Спекулятивное встраивание и деоптимизация: разгоняем WebAssembly в V8Обновление движка V8 в Chrome M137 принесло две фундаментальные стратегии для Wasm: спекулятивный инлайнинг call_indirect и поддержку деоптимизации. На первый взгляд, термин «деоптимизация» противоречит идее ускорения, но именно этот механизм позволяет компилятору строить агрессивные гипотезы о поведении кода.Если предсказания на основе рантайм-фидбека верны, производительность приложений (особенно WasmGC/Dart) взлетает до 50% в синтетике и до 8% в реальных задачах. Если же гипотеза ошибочна — система безопасно откатывается назад.Разберём архитектуру этих процессов и результаты бенчмарков.