Для чего нужен GarbageCollector?

GarbageCollector — зачем он нужен

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

Проблема без GarbageCollector

Без автоматической очистки памяти приходилось бы вручную освобождать её (как в C/C++):

// C — ручное управление памятью
int* data = malloc(sizeof(int) * 1000);
// используем данные...
free(data); // ОБЯЗАТЕЛЬНО освобождать вручную

// Если забыть free() — утечка памяти!

Как работает GarbageCollector

JavaScript движок (V8 в Chrome, SpiderMonkey в Firefox и т.д.) отслеживает, какие объекты ещё используются:

let user = { name: 'Иван', age: 30 }; // Объект в памяти
let reference = user;                  // Ещё одна ссылка

user = null;        // Одна ссылка потеряна
reference = null;   // Вторая ссылка потеряна

// Теперь объект недостижим и будет удален GC

Типы GarbageCollector алгоритмов

1. Reference Counting (подсчёт ссылок)

Отслеживает количество ссылок на объект. Когда ссылок 0 — объект удаляется:

let obj = { data: 100 };  // Ссылок: 1
let ref1 = obj;           // Ссылок: 2
let ref2 = obj;           // Ссылок: 3

obj = null;   // Ссылок: 2
ref1 = null;  // Ссылок: 1
ref2 = null;  // Ссылок: 0 → Удалён!

Проблема: циклические ссылки не удаляются:

let obj1 = {};
let obj2 = {};

obj1.ref = obj2;
obj2.ref = obj1;  // Циклические ссылки

obj1 = null;
obj2 = null;

// Объекты не удалены (их ссылки друг на друга)!

2. Mark-and-Sweep (отметь и удали)

Время от времени GC отмечает все достижимые объекты, остальные удаляет:

// Шаг 1: Отметить
// Начиная с корневых объектов (глобальные переменные),
// отметить все достижимые объекты

// Шаг 2: Удалить
// Удалить все неотмеченные объекты

let obj1 = { name: 'A' };
let obj2 = { ref: obj1 };  // obj2 достижим через obj1
let obj3 = { data: [] };   // obj3 НЕ достижим

obj1 = null;  // Теперь obj2 тоже недостижим
obj2 = null;

// Mark-and-Sweep удалит obj1, obj2, obj3

GarbageCollector в JavaScript

V8 (Chrome, Node.js)

Использует Mark-and-Sweep с оптимизациями:

// Интернирование строк
let str1 = 'hello';
let str2 = 'hello';
console.log(str1 === str2); // true (одна строка в памяти)

// Скрытые классы
let obj1 = { x: 1, y: 2 };
let obj2 = { x: 3, y: 4 }; // Те же свойства = эффективнее

// Встроенный кеш
function add(a, b) {
  return a + b;
}
add(1, 2);      // V8 оптимизирует на основе типов
add('a', 'b');  // Может деоптимизировать

Утечки памяти в JavaScript

1. Случайно глобальные переменные

function createUser() {
  user = { name: 'John' };  // Без let/const = window.user!
}

createUser();
console.log(window.user);  // Объект в памяти навсегда

2. Забытые обработчики событий

let element = document.getElementById('btn');
element.addEventListener('click', () => {
  console.log('clicked');
});

element = null;  // Элемент НЕ удаляется (обработчик еще ссылается)

// Решение:
element.removeEventListener('click', handler);
element = null;

3. Замыкания удерживают контекст

function create() {
  let bigArray = new Array(1000000).fill('data');
  return function() {
    console.log('Function');  // Замыкание держит bigArray в памяти
  };
}

let fn = create();
// bigArray в памяти, даже если fn не использует её

fn = null;  // Теперь удалится

4. Таймеры и интервалы

let data = { /* большой объект */ };
setInterval(() => {
  console.log(data);
}, 1000);

// data удаляться не будет (интервал ещё работает)

// Решение:
const id = setInterval(() => {
  console.log(data);
}, 1000);

clearInterval(id);
data = null;

5. Слушатели в крупных фреймворках

// React
function Component() {
  const [data, setData] = useState(/* big object */);
  
  useEffect(() => {
    window.addEventListener('scroll', () => {
      console.log(data);
    });
    // Забыли cleanup!
  }, []);
}

// Исправить:
useEffect(() => {
  const handler = () => console.log(data);
  window.addEventListener('scroll', handler);
  return () => window.removeEventListener('scroll', handler);
}, []);

Как помочь GarbageCollector

// Явно обнуляй большие объекты
let bigObject = createBigObject();
useBigObject(bigObject);
bigObject = null;  // Помогает GC

// Удаляй обработчики событий
const handler = () => {};
element.addEventListener('click', handler);
element.removeEventListener('click', handler);

// Очищай таймеры
const id = setTimeout(() => {}, 1000);
clearTimeout(id);

// Правильные замыкания
function create() {
  let temp = expensive();
  return function() {
    return temp();  // Используем только необходимое
  };
}

Профилирование памяти

// DevTools Chrome
// Performance → Memory → Take snapshot
// Память используется неправильно?

// Node.js
const v8 = require('v8');
const fs = require('fs');

const snapshot = v8.writeHeapSnapshot('./heap.heapsnapshot');
// Анализируй в Chrome DevTools

Вывод

GarbageCollector автоматически:

• Удаляет мёртвые объекты
• Освобождает память
• Предотвращает утечки памяти (в основном)

Но:

• Нельзя полностью на него полагаться
• Нужно быть аккуратным с замыканиями и обработчиками
• Явное управление улучшает производительность
• Профилируй память в DevTools при проблемах

GarbageCollector — это благо, позволяющее разработчикам не думать о низкоуровневом управлении памятью. Но понимание того, как он работает, помогает писать более эффективный код.