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

Принципы работы сборщика мусора в JavaScript

В JavaScript сборщик мусора (Garbage Collector, GC) автоматически управляет памятью, освобождая её от объектов, которые больше не нужны программе. Основной принцип, на котором строится определение переменных для очистки, называется достижимость (reachability).

Ключевое понятие: достижимые объекты

Достижимые объекты — это те объекты, которые прямо или косвенно доступны из корневых точек (roots). Корневые точки включают:

• Глобальные переменные (window в браузере, global в Node.js)
• Активный контекст выполнения (локальные переменные и параметры функций)
• Ссылки в цепочке областей видимости

Сборщик мусора периодически выполняет следующие шаги:

Алгоритм mark-and-sweep (пометка и очистка)

Это наиболее распространённый алгоритм в современных движках JavaScript:

1. Фаза пометки (Marking)

// Пример: объекты в памяти
let user = { name: "Анна" }; // Корневая ссылка
let project = user.project;   // Вложенная ссылка

function process() {
    let temp = { data: "временный" }; // Локальная переменная
    // При завершении функции temp становится недостижимым
}

На этом этапе GC проходит по всем корневым объектам и рекурсивно помечает все объекты, до которых можно добраться. В приведённом примере user и user.project будут помечены как достижимые (если user.project существует).

1. Фаза очистки (Sweeping)

// После удаления ссылки
user = null;
// Теперь объект { name: "Анна" } становится недостижимым
// и будет удалён в следующем цикле сборки мусора

На этой фазе GC проходит по всей памяти и освобождает место, занятое непомеченными (недостижимыми) объектами.

Усовершенствования алгоритма

Современные движки (V8, SpiderMonkey, JavaScriptCore) используют оптимизированные версии:

• Generational collection — разделение объектов на "молодые" и "старые"
• Incremental marking — постепенная пометка для избежания долгих пауз
• Idle-time collection — сборка во время простоя браузера

Пример циклических ссылок

function createCycle() {
    let objA = { name: "A" };
    let objB = { name: "B" };
    
    objA.ref = objB; // Ссылка на objB
    objB.ref = objA; // Обратная ссылка на objA
    
    return "созданы циклические ссылки";
}

createCycle();
// После выполнения функции objA и objB становятся недостижимыми
// Несмотря на циклическую ссылку между ними, они будут удалены,
// так как нет пути от корневых объектов к ним

Практические следствия для разработчика

• Явная очистка ссылок не обязательна в большинстве случаев
• Большие объекты следует явно обнулять, если они больше не нужны:

let heavyData = new Array(1000000).fill("данные");
// Когда данные больше не нужны:
heavyData = null; // Явный сигнал для GC

• WeakMap и WeakSet — специальные коллекции, которые не предотвращают удаление объектов:

let weakMap = new WeakMap();
let obj = { data: "важные данные" };
weakMap.set(obj, "метаданные");

obj = null; // Объект будет удалён GC, запись из WeakMap исчезнет

Особенности разных движков

• V8 (Chrome, Node.js) использует сложную многоуровневую систему поколений
• SpiderMonkey (Firefox) применяет аналогичные оптимизации
• JavaScriptCore (Safari) имеет свои уникальные улучшения производительности

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