js-engine

Внутренности движка JavaScript

Как V8 исполняет твой код — парсинг, байткод, скрытые классы, JIT, сборка мусора и как оставаться быстрым.

10 юнитов·41 уроков·~10 ч

Начать трек →

00

С нуля

Что такое движок JS и почему его внутренности решают скорость приложения.

01 Что такое движок JavaScript 10 мин 02 Ландшафт движков: V8, JSC, SpiderMonkey 11 мин

01

Как исполняется JS

Исходник → AST → байткод, который исполняет интерпретатор, ещё до JIT.

01 От исходного текста к AST 12 мин 02 Ленивый парсинг и пре-парсер 13 мин 03 Ignition и байт-код 14 мин 04 Внутри цикла интерпретатора 14 мин

02

Значения и память

Как движок упаковывает числа, указатели и объекты в машинные слова.

01 Как V8 представляет значение 12 мин 02 Smi, double и HeapNumber 13 мин 03 Тегирование указателей и сжатие указателей 13 мин 04 Куча V8 и раскладка объекта 14 мин 05 Как V8 хранит строки 14 мин

03

Скрытые классы и IC

Объекты одной формы делят скрытый класс — это и ускоряет доступ к свойствам.

01 Что такое Map на самом деле: вскрываем hidden class 14 мин 02 Деревья переходов, deprecation и миграция 15 мин 03 Быстрые свойства, медленные свойства и slack tracking 14 мин 04 Inline cache в глубину: feedback-слоты и handlers 15 мин 05 Monomorphic, polymorphic, megamorphic — и stub cache 15 мин

04

JIT

Движок спекулирует на типах, компилирует горячий код и деоптимизирует при ошибке.

01 Четыре яруса и как работает разогрев 13 мин 02 Обратная связь о типах: топливо для оптимизатора 14 мин 03 TurboFan: оптимизатор на море узлов 15 мин 04 Спекуляция и guards 15 мин 05 Деоптимизация: падение с обрыва 16 мин 06 On-Stack Replacement: подмена фрейма посреди цикла 14 мин

05

Замыкания и область видимости

Замыкания захватывают область в heap-контексты — с реальной ценой.

01 Области видимости, контексты и scope chain 13 мин 02 Что на самом деле удерживает замыкание 14 мин 03 Когда V8 аллоцирует Context (и чего это стоит) 14 мин 04 Замыкания, feedback-векторы и полиморфизм точки вызова 15 мин

06

Сборка мусора

Поколенческий GC ставит на то, что объекты умирают молодыми — невидим, пока не станет проблемой.

01 Зачем нужен GC и достижимость 12 мин 02 Поколенческий GC и Scavenger 14 мин 03 Major GC: mark, sweep, compact 15 мин 04 Write barriers: цена инкрементального и поколенческого GC 15 мин 05 Утечки в языке со сборкой мусора 15 мин 06 Измерение кучи 15 мин

07

Async вглубь

Event loop, микрозадачи и внутренности промисов, решающие порядок исполнения.

01 Движок против цикла 12 мин 02 Микрозадачи против макрозадач: порядок 13 мин 03 Внутри Promise 14 мин 04 async/await, десахаризированный 14 мин

08

Замеры и оптимизация

Используй трейсы движка, чтобы держать код мономорфным и дружелюбным к JIT.

01 Трассировка оптимизации и деопта 14 мин 02 Дисциплина мономорфизма 14 мин 03 Почему ваш микробенчмарк врёт 15 мин 04 Победы в реальном мире 16 мин

09

Собираем вместе

Профилируй и оптимизируй реальный hot path со знанием движка.

01 Капстоун: оптимизируем горячий путь 16 мин

Проекты по этому треку

Guided-проекты, которые закрепляют изученное здесь.

◆ Проекты

Лаборатория профилирования горячего пути

Возьми заведомо медленный кусок JavaScript и преврати его в управляемый эксперимент. Ты соберёшь микробенчмарк, которому действительно можно верить, отпрофилируешь горячий путь так, чтобы суметь назвать, что именно делает движок, и применишь оптимизации с учётом устройства движка — мономорфизм, устранение мегаморфных точек вызова, сокращение аллокаций — доказывая каждый выигрыш цифрами, а не ощущениями. Это вся дисциплина работы над производительностью в миниатюре: измерь, выдвини гипотезу о движке, измени одну вещь, измерь снова.

◆ Проекты

Движок регулярных выражений

Собери движок регулярных выражений с нуля через конструкцию Томпсона и симуляцию подмножества состояний — тот же метод, что делает grep и re2 иммунными к катастрофическому обратному ходу.

Следующий трек

Система типов TypeScript вглубь

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