Как объекты перемещаются между поколениями?

Сборка мусора (Garbage Collection, GC) в JavaScript, а именно в движке V8, использует стратегию, основанную на поколениях (generational collection). Эта стратегия оптимизирует производительность, исходя из наблюдения, что большинство объектов имеют очень короткое время жизни (гипотеза о поколениях).

Структура кучи памяти

Куча (heap) в V8 делится на два основных пространства:

• Молодое поколение (New Space): Небольшая область памяти, где создаются новые объекты. Она разделена на две равные половины: "from-space" и "to-space".
• Старое поколение (Old Space): Большая область памяти для объектов, которые прожили достаточно долго.

Процесс перемещения объектов

Работа сборщика мусора происходит в несколько этапов:

1. Создание объекта: Любой новый объект (например, созданный с помощью {} или new) размещается в "from-space" молодого поколения.
2. Сборка мусора в молодом поколении (Scavenge): Когда "from-space" заполняется, запускается быстрая сборка Scavenge. Она находит живые объекты (достижимые из корней) и копирует их в "to-space". При этом объекты, которые уже пережили одну или несколько таких сборок, перемещаются ("продвигаются") в старое поколение. После копирования роли пространств меняются: "to-space" становится новым "from-space".
3. Сборка мусора в старом поколении (Mark-Sweep-Compact): Для очистки старого поколения используется более медленный, но тщательный алгоритм. Он помечает все достижимые объекты, затем удаляет ("подметает") неотмеченные и при необходимости уплотняет ("компактирует") память, чтобы избежать фрагментации.

Пример кода и наблюдение

Рассмотрим простой пример, иллюстрирующий создание короткоживущих и долгоживущих объектов:

function createObjects() {
  // Этот объект, скорее всего, умрёт быстро (сборка в New Space)
  let tempObj = { data: 'temporary' };

  // Этот массив может пережить несколько сборок и попасть в Old Space
  let persistentArray = [];
  for (let i = 0; i < 1000; i++) {
    persistentArray.push({ index: i });
  }
  // persistentArray и его элементы могут быть перемещены в Old Space
  return persistentArray;
}

const longLived = createObjects();
// После вызова функции tempObj больше не достижим и будет удалён.
// longLived (массив) достижим и со временем окажется в Old Space.

На практике разработчик не управляет этим процессом напрямую, но понимание механизма помогает писать код, который минимизирует нагрузку на сборщик мусора (например, избегая ненужных выделений памяти в критичных по производительности циклах).

Вывод: Стратегия поколений позволяет V8 очень быстро очищать память от многочисленных короткоживущих объектов (частые, но быстрые сборки Scavenge) и реже выполнять затратную очистку для долгоживущих объектов. Это знание полезно для оптимизации производительности memory-intensive приложений, таких как игры или сложные веб-приложения на Node.js.