You Don't Know JS: Async & Performance (2015)

1. Общее описание

Эта книга посвящена глубокому изучению того, как в JavaScript выражается и управляется поведение программы, распределенное во времени, а также способам повышения её производительности. Она рассчитана на разработчиков, уже знакомых с основами языка, но стремящихся достичь истинного мастерства и понимания внутренних механизмов работы JS. Освоив материал, читатель научится эффективно использовать современные паттерны асинхронности (Promises и Generators), избегать типичных ошибок проектирования и грамотно проводить бенчмаркинг своего кода.

2. Структура

Материал организован по принципу постепенного усложнения абстракций: от базовых понятий событийного цикла до сложных систем взаимодействия параллельных процессов. Главы 1 и 2 закладывают фундамент, подробно разбирая теорию асинхронности и недостатки традиционных callback-функций. Главы 3 и 4 детально фокусируются на «спасительных» технологиях — Промисах и Генераторах, которые решают проблемы доверия и последовательности кода. Завершающие главы 5 и 6 переходят от паттернов написания кода к вопросам производительности на макро- (Web Workers) и микро-уровнях (бенчмаркинг и оптимизация движков). Темы вроде SIMD и asm.js упоминаются как перспективные инструменты для специфических высоконагруженных задач.

3. Описание разделов

Основы асинхронности и событийный цикл (Глава 1)

Автор начинает с разъяснения фундаментальной концепции: любая нетривиальная программа на JS состоит из частей, выполняющихся «сейчас» и «потом». Ключевым механизмом здесь является Event Loop (событийный цикл) — очередь, из которой движок JS берет задачи на исполнение по одной за раз. Важно понимать, что сам JS долгое время не имел встроенного понятия времени и полностью полагался на хост-среду (браузер или Node.js) для планирования событий.

• Параллелизм vs Асинхронность: Асинхронность — это про разрыв во времени между «сейчас» и «потом», а параллелизм — про одновременное выполнение задач на разных ядрах/потоках. В JS функции выполняются до завершения (run-to-completion), что делает их атомарными относительно друг друга в рамках одного потока, но не исключает состояния гонки на уровне общих данных.
• Jobs (Микрозадачи): В ES6 появилось понятие очереди микрозадач (Job Queue), которая прикрепляется к концу текущего «тика» событийного цикла, обеспечивая выполнение задачи «как можно скорее», что критично для работы Промисов.

Проблема обратных вызовов (Глава 2)

Callbacks признаются фундаментальным, но крайне ограниченным способом управления асинхронностью. Основные претензии автора:

1. Нелинейность мышления: Человеческий мозг планирует задачи последовательно, а вложенные callback-функции заставляют прыгать по коду, что ведет к «callback hell» (проблема не в отступах, а в сложности отслеживания потока управления).
2. Инверсия управления: Передавая callback сторонней библиотеке, вы отдаете ей контроль над выполнением вашей программы. Это порождает проблемы доверия: callback может быть вызван слишком рано, слишком поздно, слишком много раз или вообще никогда.

Промисы: восстановление доверия (Глава 3)

Промисы предлагают «развернуть» инверсию управления. Вместо того чтобы ждать вызова вашей функции кем-то другим, вы получаете объект-обещание, который извещает вас о завершении задачи.

• Состояния и неизменность: Промис может быть выполнен (fulfilled) или отклонен (rejected) только один раз, после чего его состояние становится неизменным. Это гарантирует, что никакая внешняя сила не изменит результат асинхронной операции после её завершения.
• API и цепочки: Подробно разбираются методы .then(), .catch(), а также статические методы Promise.all() (ожидание всех) и Promise.race() (первый завершившийся побеждает). Особое внимание уделено функции Promise.resolve(), которая позволяет нормализовать любое значение (включая then-объекты) в настоящий доверенный Промис.

Генераторы (Глава 4)

Генераторы вводят в JS возможность приостановки функции в середине выполнения без блокировки основного потока.

• Итераторы и двусторонний обмен: С помощью ключевого слова yield генератор может не только отдавать значения, но и принимать их извне при возобновлении.
• Синхронный вид асинхронного кода: Главная ценность генераторов — в связке с Промисами. Если yield выдает Промис, а внешний исполнитель (runner) возобновляет генератор результатом этого Промиса, мы получаем асинхронный код, который выглядит и читается как последовательный синхронный, включая обработку ошибок через стандартный try..catch.

Производительность программы (Главы 5–6)

• Web Workers: Рассматривается способ выноса тяжелых вычислений в отдельные потоки. Обсуждаются ограничения (отсутствие доступа к DOM) и методы передачи данных, такие как Transferable Objects, позволяющие избежать дорогостоящего копирования памяти.
• Бенчмаркинг: Автор критикует наивные замеры времени через new Date().getTime() и призывает использовать библиотеку Benchmark.js, учитывающую статистические погрешности и особенности оптимизации движков.
• Оптимизация: Важное замечание — не стоит пытаться «перехитрить» движок JS микро-оптимизациями (вроде ++i против i++). Вместо этого следует фокусироваться на критических путях программы и использовать возможности вроде Tail Call Optimization (TCO) в ES6, позволяющей писать бесконечную рекурсию без переполнения стека.