Браузер и фронтенд-рантайм
Внутренности V8: тест с множественным выбором
Суть Синтез по всему юниту в формате выбора — переходы hidden class, состояния inline cache, четыре уровня JIT, deopt-loop, megamorphic-сайты и взаимодействие с Orinoco GC.
Высота — путь к senior
НольJuniorMiddleSenior
Ты на senior-высоте — в орбитеШесть вопросов, проходящих сквозь весь юнит. Каждый — это решение, которое вы принимаете, читая реальную трассу производительности: не определение для заучивания, а механизм, который надо разобрать под нагрузкой.
Цель
Убедитесь, что вы связываете форму hidden class, состояние IC, продвижение по уровням, поведение deopt и барьеры GC — синтез, к которому вели отдельные уроки.
Викторина
Completed
Горячая render-функция выдавала 5µs в тестах, но 250µs в проде. Снимок кучи показывает, что объекты, приходящие в один сайт доступа к свойству, созданы 7 разными конструкторами. В чём причина на уровне V8 и каков настоящий фикс?
Heads-up TurboFan нельзя выборочно отключить для окружения. Функция оптимизировалась; её IC деградировал до megamorphic, потому что прод-трафик несёт разнообразие форм, которого тесты не покрывали.
Heads-up Состояние IC зависит от наблюдаемых hidden class, а не от частоты процессора. 7 конструкторов на одном сайте — это сигнатура megamorphic, штраф в 10–50× по алгоритму, а не разница в железе.
Heads-up GC влияет на частоту пауз, а не на пропускную способность одного вызова. Замедление в 50× на вызов, локализованное в одном сайте, — это деградация IC, а не GC.
Викторина
Completed
Два объекта построены как {x:1, y:2} и {y:2, x:1}. Функция читает .x на обоих в горячем цикле. В какое состояние придёт сайт доступа и почему?
Heads-up V8 привязывает IC к hidden class, который фиксирует порядок добавления свойств, а не только итоговый набор. Разный порядок — разный лист, значит две формы.
Heads-up Megamorphic требует 5+ различных hidden class на сайте. Две формы — это polymorphic, короткая цепочка ветвлений, всё ещё быстро.
Heads-up V8 отслеживает hidden class на каждом сайте по всем вызовам; он переходит uninitialized → monomorphic → polymorphic → megamorphic по мере накопления форм.
Викторина
Completed
Почему V8 поставляет четыре уровня JIT (Ignition, Sparkplug, Maglev, TurboFan), а не один хороший оптимизатор?
Heads-up Все уровни поставляются вместе в одном движке и исполняют один ECMAScript. Они различаются компромиссом стоимость-компиляции-против-скорости-исполнения, а не языком или поддержкой браузеров.
Heads-up Исполнение JS остаётся однопоточным; уровни — это слои оптимизации, а не параллельные воркеры. Конкурентная компиляция строит следующий уровень вне основного потока, но исполнение идёт на одном уровне за раз.
Heads-up Нижние уровни существуют ради задержки старта и сбора фидбэка по типам, а не из-за ненадёжности TurboFan. TurboFan нужен FeedbackVector, который заполняет Ignition, чтобы хорошо специализировать.
Викторина
Completed
Критичная по производительности функция показывает в --trace-deopt повторяющиеся пары 'optimized' затем 'deoptimized (not a Smi)' в пределах одной секунды. Что происходит и каков самый эффективный фикс?
Heads-up Разовый deopt при прогреве нормален; повторяющаяся пара deopt/re-opt на одной строке на каждом вызове — это death-spiral, обходящийся дороже, чем не оптимизировать вовсе.
Heads-up Deopt понижает уровень, а не отключает оптимизацию навсегда — функция вернётся на уровень, как только фидбэк стабилизируется. Фикс — стабилизировать тип входа, а не переписывать.
Heads-up Отсрочка продвижения лишь откладывает цикл; guard всё равно сработает, когда появится значение. Надёжный фикс убирает патологическое значение с горячего пути, а не из оптимизатора.
Викторина
Completed
Почему конкурентная маркировка в Orinoco нуждается в write barrier и что ломается без него?
Heads-up Двойные посещения обрабатываются work-stealing и серой/чёрной раскраской. Write barrier — про то, как мутатор (JS) меняет ссылки во время маркировки, а не про координацию потоков.
Heads-up Барьер добавляет ~3–5 циклов на запись ссылки — это механизм корректности, а не ускорение. Параллелизм даёт воркеры, а не барьер.
Heads-up Это remembered set / card table — отдельный механизм. Здесь write barrier сохраняет инвариант tri-color во время конкурентной маркировки old gen.
Викторина
Completed
Анимационный цикл с тяжёлой численностью обрабатывает 10M сущностей за кадр и продолжает уходить с 60fps при прогреве, с deopt на арифметике и растущей частотой minor GC. Какая раскладка данных чинит и IC, и GC сразу?
Heads-up Меняющиеся формы гонят IC по свойству в megamorphic (в 10–50× медленнее) и выделяют по объекту на сущность, повышая частоту young-gen GC. Это усугубляет обе проблемы из вопроса.
Heads-up Map несёт накладные расходы на хеширование и общую итерацию и не обходит IC при доступе к значению. Для фиксированных числовых полей в горячем цикле он медленнее TypedArray и всё равно выделяет записи.
Heads-up Больший young gen откладывает scavenge, но ничего не делает с megamorphic IC или deopt при переполнении Smi. Это лечит симптом; TypedArray убирает обе первопричины.
Итог
Сквозная линия юнита — одна цепочка: порядок добавления свойств задаёт hidden class, hidden class задаёт состояние IC, состояние IC (вместе со стабильностью типов) решает, поднимется ли функция до TurboFan или уйдёт в deopt-loop, а барьеры Orinoco держат кучу корректной, пока всё это бурлит. Любая прод-регрессия из юнита — megamorphic-путь рендера, deopt-loop при переполнении Smi, утечка замыканий в old gen — сводится к одному рычагу: стабилизируйте форму и числовой тип выше по потоку, в модели данных, прежде чем браться за любой флаг.