Что такое движок JavaScript

За следующие десять минут вы увидите, какая именно стадия отвечает за «медленный JavaScript» — и почему исправление требует работы с движком, а не в обход него.

Движок — это программа, которая исполняет вашу программу

Движок JavaScript — это нативная программа (V8 — это примерно два миллиона строк C++), на вход которой подаётся исходный текст JavaScript, а на выходе — работа процессора. Это не чёрный ящик: это конвейер из хорошо изученных стадий, и у каждой стадии есть «характер» по производительности, который можно наблюдать и на который можно влиять.

Наивная модель — «JavaScript интерпретируется строка за строкой» — неверна уже больше десяти лет. Современные движки адаптивны: они стартуют дёшево (интерпретируют байт-код) и становятся дорогими только там, где это окупается (компилируют в оптимизированный машинный код тот код, что выполняется много раз). Весь трек — про эту адаптивную машинерию и про то, как держаться её быстрых путей.

Пять стадий

Когда встретите flame-граф V8 или профиль Node.js с этими названиями — вы будете знать, куда смотреть. Вот что делает каждая стадия:

1. Парсер — читает исходный текст и строит абстрактное синтаксическое дерево (AST), структурированное представление вашего кода. Он также делает быстрый проход «pre-parse», чтобы пропустить тела функций, которые ещё не были вызваны (ленивый парсинг).
2. Интерпретатор (Ignition в V8) — один раз обходит AST, чтобы выпустить компактный байт-код, а затем исполняет этот байт-код на регистровой виртуальной машине. Здесь стартует весь код. Это быстро производить и легко по памяти.
3. Оптимизирующие компиляторы (Sparkplug, Maglev, TurboFan) — для функций, которые выполняются часто («горячих»), движок компилирует байт-код в нативный машинный код, специализируясь по наблюдениям за типами во время работы. Быстрее исполнять, но дороже и прожорливее по памяти производить.
4. Сборщик мусора (Orinoco в V8) — работает параллельно со всем остальным, находит объекты, на которые больше никто не ссылается, и освобождает их память. Вы никогда не вызываете free(); GC выводит это сам.
5. Куча и стек вызовов — память, где живут ваши объекты (куча) и фреймы функций (стек). Форма и время жизни того, что вы туда кладёте, задают стоимость каждой остальной стадии.

Искусство этого трека — читать эти стадии: почему функцию скомпилировали, а потом выбросили (деопт), почему доступ к объекту медленный (расхождение форм), почему память всё растёт (утечка, которую GC не может собрать).

Движок против рантайма — различие, на котором спотыкаются

Движок реализует язык ECMAScript: числа, объекты, функции, прототипы, замыкания, Promise, сборку мусора. Это всё, что он реализует. Он понятия не имеет, что такое setTimeout, fetch, узел DOM или файловый дескриптор.

Всё это даёт рантайм (хост): браузер, Node.js, Deno, Bun. Рантайм встраивает движок и внедряет хостовые объекты и цикл событий, который их планирует. setTimeout — это не JavaScript, это функция, которую рантайм передаёт движку.

Вот почему один и тот же движок (V8) питает Chrome, Node, Edge и Deno с совершенно разными возможностями: ядро языка одно, хост разный. Цикл событий мы разбираем от и до в юните 07; пока зафиксируйте границу: движок исполняет язык, рантайм поставляет окружающий мир.