Ландшафт движков: V8, JSC, SpiderMonkey

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

Четыре движка, одна архитектура

Есть четыре движка JavaScript, на которых вы, скорее всего, будете выпускать продукт:

• V8 (Google) — Chrome, Edge, Node.js, Deno, Electron, Cloudflare Workers. Самый распространённый; главный предмет этого трека.
• SpiderMonkey (Mozilla) — Firefox. Старейший движок, написан Бренданом Айхом в 1995-м.
• JavaScriptCore / Nitro (Apple) — Safari и движок по умолчанию в Bun. Известен агрессивным многоярусным JIT.
• Hermes (Meta) — React Native. Необычный: компилирует в байт-код заранее и поставляет этот байт-код, оптимизируя запуск приложения на мобильных устройствах в ущерб пиковой пропускной способности.

Несмотря на независимые команды и кодовые базы, первые три сошлись к одной форме: быстрый интерпретатор для холодного кода, один или несколько оптимизирующих JIT-компиляторов для горячего кода, управляемых обратной связью о типах, hidden classes (скрытые классы — внутренние дескрипторы раскладки свойств объекта) для быстрого доступа к свойствам, inline caches (встроенные кеши вызовов — заглушки, запоминающие тип на конкретном сайте) и поколенческий сборщик мусора (generational GC). Эта схожесть и есть причина, по которой трек стоит вашего времени: это не мелочи про V8, это то, как делают быстрыми динамические языки.

Лестница ярусов

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

Лестница V8 — это Ignition → Sparkplug → Maglev → TurboFan. JavaScriptCore знаменит четырьмя ярусами (LLInt → Baseline → DFG → FTL). SpiderMonkey идёт Interpreter → Baseline → WarpMonkey. Формы рифмуются: дёшево-и-обобщённо внизу, дорого-и-специализированно наверху, а движок повышает и понижает функции по мере того, как меняется их поведение.

Короткая история (чтобы старые посты обретали смысл)

Сам V8 прошёл через поколения, и старые посты предполагают старый дизайн:

Когда вы читаете статью 2015 года про «Crankshaft» и «hidden classes», описанный там оптимизатор уже исчез, но концепция hidden class, которую она учит, по-прежнему ровно верна. Поэтому мы опираемся на механизмы, а не на названия продуктов.

Карта терминологии

Самый большой источник путаницы при чтении про разные движки — именование. Одна идея, три слова:

• Hidden class (дескриптор раскладки свойств объекта): Map в V8, Shape в SpiderMonkey, Structure в JavaScriptCore.
• Маленькое целое: Smi в V8; в других тегируется похоже.
• Деоптимизация (откат из скомпилированного кода обратно в интерпретатор): deopt в V8, bailout в JSC/SpiderMonkey.

Этот трек повсюду использует словарь V8. Мы будем отмечать межмоторный синоним при первом появлении каждого.