Браузер и фронтенд-рантайм
Что такое V8 и почему производительность различается в 100 раз
Суть V8 преобразует JS-код в машинный через четыре уровня компиляции — одна и та же функция может работать в 100 раз быстрее или медленнее в зависимости от того, удаётся ли V8 удержать её на быстром уровне.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на junior-высоте — поверхностьReact рендерит 1000 строк. При стабильных формах объектов — наносекундные поиски и 60fps. При смешанных формах — в 10–50 раз медленнее, тот же код, та же функция, разная скорость из-за того, что V8 наблюдал.
Что такое V8
V8 — это движок JavaScript внутри Chrome, Edge и Node.js. Он берёт исходный JS-код и преобразует его в машинный код, который выполняет CPU. Одна и та же JS-функция может работать в 100 раз быстрее или медленнее в зависимости от того, может ли V8 её оптимизировать. Несколько привычек — стабильные формы объектов, мономорфные точки вызова — решают разницу между анимацией на 60fps и тормозящей страницей.
Метафора кухни
V8 — это кухня с четырьмя поварами:
- Стажёр (Ignition) читает каждый рецепт медленно, но записывает, что заказывали.
- Линейный повар (Sparkplug) быстро выдаёт универсальные блюда.
- Су-шеф (Maglev) делает специализированные версии популярных блюд.
- Шеф-повар (TurboFan) вручную создаёт идеальное блюдо для самого популярного заказа — но только если заказы остаются стабильными. Измените заказ на полуслове — и TurboFan выбросит блюдо.
- Уровни
- 4 (Ignition / Sparkplug / Maglev / TurboFan)
- Ignition vs TurboFan скорость
- ~100× медленнее
- Замедление при megamorphic
- 10–50× vs monomorphic
- IC monomorphic доступ
- 5–10 тактов CPU
Конкретный разбор
Антон запускает JS в браузере. Ignition сначала интерпретирует, записывая типы. После тысяч вызовов V8 продвигает код в TurboFan с предположениями «аргумент всегда число, объект всегда имеет .x». Если Дима однажды пришлёт строку, предположения нарушатся — deopt, откат. «Быстрая» функция снова медленная, пока V8 не переобучится.
React рендерит 1000 строк. Стабильные ключи = monomorphic IC, наносекундные поиски. Смешанные ключи = polymorphic, в 2–3 раза медленнее. 10+ форм = megamorphic, в 10–50 раз медленнее. Тот же код, кардинально разная скорость.
Расставь шаги по порядку
Completed
Упорядочите путь горячей функции через уровни V8:
- 1 JS-источник разбирается в AST
- 2 AST преобразуется в байткод компилятором Ignition
- 3 Ignition интерпретирует байткод и записывает type feedback на каждую точку вызова
- 4 После тысяч вызовов Sparkplug генерирует базовый машинный код без специализации
- 5 При дальнейшем нагреве Maglev компилирует оптимизированную версию среднего уровня
- 6 Для самых горячих путей TurboFan выполняет агрессивную спекулятивную оптимизацию
- 7 При нарушении предположения V8 выполняет deopt и откатывается на нижний уровень
Викторина
Completed
Почему V8 использует несколько уровней компиляции вместо одного?
Heads-up V8 поставляется в Chrome и Node.js — уровни касаются баланса производительности, а не переносимости.
Heads-up Все уровни выполняют одинаковый ECMAScript; они различаются стратегией оптимизации.
Heads-up Все четыре уровня — реальные компиляторы, работающие в текущем Chrome.
Викторина
Completed
Что делает один фрагмент JS в 100 раз быстрее другого, делающего «то же самое»?
Heads-up JS в V8 однопоточный; ядра не влияют на производительность отдельных строк.
Heads-up Парсинг происходит один раз и быстро в любом случае.
Heads-up Тип модуля не влияет на производительность V8 для отдельных функций.
Закончи аналогию
Completed
Заполните пробел: точка вызова, которая видела ровно одну форму объекта, называется _______, и V8 генерирует для неё максимально быстрый машинный код.
Answer
мономорфной (одна форма — самое быстрое состояние IC) — Monomorphic — золотой стандарт состояния IC. V8 генерирует машинный код с жёстко закодированным смещением свойства. Polymorphic (2-4 формы) добавляет ветвления; megamorphic (5+ форм) откатывается к универсальному поиску, который в 10-50 раз медленнее monomorphic.
Почему это работает
Зачем движку динамического языка знать типы? Машинный код типизирован — инструкция ADD для целых отличается от инструкции для чисел с плавающей точкой. V8 наблюдает, какие типы реально видит точка вызова, и генерирует специализированный код для этих типов. При изменении типа во время выполнения V8 должен выбросить специализированный код и начать заново. Это и есть цена deopt.
- 01Назовите четыре уровня компиляции V8 по порядку от самого медленного к самому быстрому.
- 02Почему добавление нового свойства к объекту в середине кода замедляет последующие функции?
- 03Что такое monomorphic inline cache и почему это самое быстрое состояние IC?
Итог
V8 — движок JS в Chrome и Node.js. Код выполняется через четыре уровня: Ignition интерпретирует медленно, собирая type feedback; Sparkplug генерирует дешёвый базовый машинный код; Maglev оптимизирует с наблюдаемыми типами; TurboFan создаёт агрессивно оптимизированный код для самых горячих функций. Функция остаётся на быстром уровне только пока формы объектов — hidden classes — остаются стабильными. Одно лишнее свойство в неподходящий момент меняет hidden class, деградирует inline cache с monomorphic до polymorphic или megamorphic и обходится в 10–50 раз дороже на этой точке вызова. Одна и та же JS-функция может работать за 5 тактов или за 500 тактов на доступ к свойству в зависимости от стабильности форм.
Связанные уроки
открывает
углубляется в
встречается в143
- Почему GraphQL получает N+1junior
- Механика DataLoader: батчинг на границе тикаmiddle
- Контракты batch-функции: порядок, формы, ошибкиmiddle
- Federation и lookahead: батчинг за пределами DataLoadermiddle
- Защита сложности запросов: depth, cost, persisted queriesmiddle
- Senior GraphQL API: scheduling-контракт, изоляция арендаторов, наблюдаемостьsenior
- Зачем идемпотентность: безопасные retryjunior
- Серверный state machine: четыре состояния idempotency keymiddle
- Outbox и inbox: effectively-once через dual-write границуmiddle
- Конкурентность и архитектура кеша для идемпотентности на масштабеsenior
- Наблюдаемость, production-инциденты и дизайн для глобального масштабаsenior
- Что такое cache stampede и почему он делает всё хужеjunior
- Лок и single-flight: ограничение параллельных rebuildmiddle
- XFetch: вероятностное раннее истечение без координацииmiddle
- Stale-while-revalidate и CDN request coalescingmiddle
- Детектирование stampede и дизайн TTL для продакшенаmiddle
- Метастабильный сбой, fencing-токены и production-постмортемыsenior
- Что такое отношение: таблицы, строки, ключи и ограниченияjunior
- Ограничения, ключи и типы данных Postgresmiddle
- Нормальные формы, денормализация и почему схемы «прилипают»middle
- JSONB, массивы и когда side table побеждаетmiddle
- Heap-хранилище, TOAST и выравнивание колонокsenior
- Целостность схемы: deferral, версионирование и сбои в продакшнеsenior
- Реляционная модель vs документные, wide-column, граф и key-valuesenior
- Index-only scan, Visibility Map и INCLUDEsenior
- Типичные сбои в продакшне и аудит индексовsenior
- pg_statistic, ANALYZE и производственная наблюдаемостьmiddle
- Производственные режимы отказа и стабильность плановsenior
- MVCC: как Postgres раздаёт согласованные снимкиjunior
- Заголовок tuple и механика снимковmiddle
- HOT-обновления и уровни изоляцииmiddle
- VACUUM, bloat и autovacuummiddle
- CLOG, XID wraparound и MultiXactsenior
- SSI и production-тюнинг autovacuumsenior
- Реальные провалы MVCC, deployment-паттерны и распределённые снимкиsenior
- Connection pool: зачем амортизировать стоимость backend Postgresjunior
- Режимы PgBouncer: session, transaction и statementmiddle
- Размер пула: формула (ядра × 2) + шпинделей и двухуровневый стекmiddle
- Исчерпание пула и idle-in-transaction: сценарий отказа в 3 ночиmiddle
- Миграция на transaction mode: план развёртывания и prepared statements в PgBouncer 1.21middle
- Процессная модель Postgres и почему увеличение max_connections снижает производительностьsenior
- Ландшафт пулеров 2026, serverless connection storms и полная таксономия отказовsenior
- Что такое миграция схемы и почему она заменяет ad-hoc DDLjunior
- ADD COLUMN: мгновенно в PG 11+ против перезаписи в старом Postgresjunior
- Режим отказа очереди блокировок: почему мгновенный DDL может заморозить базуmiddle
- Безопасные DDL-паттерны: NOT VALID, CONCURRENTLY и исправления небезопасных операцийmiddle
- Expand-contract: нулевой простой для ломающих изменений схемыmiddle
- Advisory-блокировки, инструменты миграций и координация деплояsenior
- Таксономия сбоев миграций и дисциплина продакшнаsenior
- Зачем нужно шардирование: потолок одного Postgresjunior
- Выбор ключа шарда: стратегии hash, range, list и directorymiddle
- Партиционирование против шардирования: одно слово, два разных понятияmiddle
- Ко-локация и Citus: инвариант, делающий шардирование пригодным к использованиюmiddle
- Режим отказа hot shard: обнаружение, изоляция и долгосрочная политикаmiddle
- Schema-based шардирование и альтернативы мультиарендностиsenior
- Онлайн-решардинг, 2PC и операционная стоимость шардированияsenior
- Семь актов: от CREATE TABLE до Citusjunior
- Акты 1–3 в глубину: схема, индексы и статистика планировщикаmiddle
- Акты 4–6 в глубину: MVCC bloat, connection pooling и безопасные миграцииmiddle
- Акт 7 в глубину: шардинг, co-location и семиуровневый каскад трейдоффовmiddle
- Наблюдаемость, антипаттерны и производственный триажsenior
- Роли Raft, term и почему majority-кворум предотвращает split brainjunior
- Как Raft реплицирует log entry и решает, что его безопасно коммититьmiddle
- Выборы лидера в Raft: таймауты, правила голосования и четыре свойства безопасностиmiddle
- Raft в реальном мире: partition, медленный диск и клиентская маршрутизацияmiddle
- Расширения Raft: pre-vote, learner, snapshot и линеаризуемые чтенияsenior
- Raft в production: membership change, Multi-Raft и observabilitysenior
- Где происходит data fetching — и почему это решает LCPjunior
- Fetch waterfall''''ы — диагностика и лечение через Promise.allmiddle
- React Server Components и Suspense streamingmiddle
- Клиентский кэш: TanStack Query, SWR и stale-while-revalidatemiddle
- LCP, prefetch и race conditions в интерактивном fetchingmiddle
- Senior internals: RSC payload, слои кэша и production паденияsenior
- Трёхстороннее рукопожатие TCPjunior
- Номера последовательности и состояние соединенияmiddle
- DNS: что делает и зачем существуетjunior
- Обход резолвера: перенаправления, типы записей и gluemiddle
- TTL, кеширование и распространение DNSmiddle
- Рукопожатие за 1 RTT: key share и ECDHEmiddle
- Возобновление сессии и 0-RTTmiddle
- WebSocket: HTTP-апгрейд до постоянного соединенияjunior
- Формат WebSocket-фрейма: opcodes, маскирование, фрагментацияmiddle
- Backpressure в WebSocket: когда клиенты не успеваютmiddle
- Реконнект: jittered backoff, thundering herd, восстановление сообщенийsenior
- WebSocket в масштабе: HTTP/2 мультиплексирование, permessage-deflate, C10Msenior
- WebSocket в production: прокси, безопасность и распределённая архитектураsenior
- Что делают обратные проксиjunior
- Health checks, connection draining и slow startmiddle
- Session affinity, consistent hashing и правильное решениеmiddle
- Retry-бури, circuit breakers и load sheddingsenior
- Устойчивая архитектура LB: anycast, zone-aware маршрутизация и observabilitysenior
- Почему QUIC, а не TCP+TLSjunior
- Connection ID и миграция сетиmiddle
- Возобновление 0-RTT и шифрование пакетовsenior
- DDoS: что это и почему работаетjunior
- Атаки усиления и истощение состоянияmiddle
- Ограничение скорости: алгоритмы и архитектураmiddle
- WAF, межсетевые экраны, mTLS и HSTSmiddle
- Отравление DNS-кэша и BGP-перехватsenior
- Эшелонированная защита и экономика атакsenior
- DNS, TCP, TLS по очереди: куда уходят миллисекундыmiddle
- Перехват прокси и шлюзы безопасности: rate limiter, WAF, mTLSmiddle
- Альтернативные пути: QUIC 0-RTT, WebSocket upgrade, миграция соединенияmiddle
- Наблюдаемость: распределённые трейсы, USE/RED и семплированиеsenior
- Устойчивость: каскадные повторы, circuit breakers и error budgetsenior
- Что такое три сигнала: метрики, логи, трейсыjunior
- Зачем нужны структурные логи: дневник против таблицыjunior
- Схема продакшн-лога: поля, которые несёт каждая строкаmiddle
- PII-редакция и log injectionsenior
- OTel Logs Data Model и audit-логи как подсистемаsenior
- SLI, SLO и error budget: надёжность в числахjunior
- Error budget policy, latency SLO и составные journeysmiddle
- Продакшн-отказы SLO, самонаблюдаемость, безопасность и общая картинаsenior
- Петля инцидента: от пейджера до постмортема до предотвращенияmiddle
- Cache lines и false sharing: когда параллелизм замедляет кодmiddle
- SIMD и data layout: AoS vs SoA и разница в 4–8xmiddle
- Cache-oblivious алгоритмы, PGO и production failuressenior
- GC в production: наблюдаемость, безопасность, edge cases и управление флотомsenior
- Batching: амортизируй фиксированную цену каждой операцииjunior
- Окно батчинга: размер и время ожиданияmiddle
- Batching в Kafka и Postgresmiddle
- io_uring и наблюдаемость пакетированияmiddle
- От Nagle до io_uring: эволюция пакетированияmiddle
- Backpressure, изоляция сбоев и безопасность батчей в продакшенеsenior
- CI enforcement и RUM: делаем бюджеты рабочимиmiddle
- V8 JIT-пайплайн, HTTP-приоритеты и безопасность bundlesenior
- Цикл performance: дисциплина, а не проектjunior
- Классификация и исправление: сопоставление family bottleneck с методамиmiddle
- Observability-стек и CI gates: ловить регрессии до выпускаmiddle
- От инцидента к enforcement: SLO burn до верифицированного исправления за 35 минутmiddle
- Культура, экономика и масштаб performancesenior
- At-most-once, at-least-once, exactly-once: три контракта доставкиjunior
- Три ножки сбоя — где реально происходят дубликаты и потериmiddle
- Consumer-side dedup: самый дешёвый путь к exactly-once processingmiddle
- Kafka exactly-once semantics: idempotent producer и транзакцииmiddle
- SQS visibility timeout, DLQ и outbox patternmiddle
- Exactly-once в production: impossibility-доказательство, гибридные паттерны и реальные инцидентыsenior
- Что такое OAuth и почему пароли — не ответjunior
- Authorization code flow с PKCEmiddle
- Валидация ID-токена и управление JWKS-кешемmiddle
- Ротация refresh-токенов и scope-based least privilegemiddle
- Sender-constrained токены: DPoP и mTLSsenior
- OAuth в production: audience атаки, observability и реальные провалыsenior