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

🗑️ Принцип работы Garbage Collector (Сборщика мусора) в PHP

Ключевые концепции

Garbage Collector (GC) — это механизм автоматического управления памятью, который освобождает память, занятую объектами, ставшими недостижимыми для программы. В PHP GC работает на основе подсчета ссылок (reference counting) с дополнительным циклическим сборщиком (cycle collector).

🔢 Основной механизм: подсчет ссылок

Каждая переменная в PHP, содержащая сложный тип данных (объект, массив), имеет внутренний счетчик ссылок (refcount). Этот счетчик увеличивается при создании новых ссылок и уменьшается при их уничтожении.

<?php
// Пример подсчета ссылок
$a = new stdClass(); // refcount = 1
$b = $a;             // refcount = 2 (добавилась ссылка через $b)
unset($a);           // refcount = 1 (ссылка $a удалена)
unset($b);           // refcount = 0 — память можно освободить
?>

Преимущества подсчета ссылок:

• Мгновенное освобождение памяти при достижении нулевого refcount
• Низкие накладные расходы для простых случаев

🔄 Проблема циклических ссылок и их решение

Основная слабость простого подсчета ссылок — неспособность выявлять циклические ссылки, когда объекты ссылаются друг на друга, образуя изолированный цикл.

<?php
class Node {
    public $next;
}

$a = new Node();
$b = new Node();
$a->next = $b; // $a ссылается на $b
$b->next = $a; // $b ссылается на $a — образуется цикл

unset($a);
unset($b);
// Несмотря на unset, refcount каждого объекта = 1
// Память не освободится без циклического сборщика
?>

🧹 Алгоритм циклического сборщика мусора

Для решения проблемы циклических ссылок в PHP реализован алгоритм mark-and-sweep (пометь и вычисти):

1. Обнаружение циклов:

• GC периодически анализирует корневые ссылки (глобальные переменные, активные локальные переменные, статические поля)
• Помечаются все достижимые из корней объекты как "живые"

2. Сбор недостижимых циклов:

• Объекты, не помеченные как "живые", но имеющие ненулевой refcount, считаются потенциальными циклами
• Алгоритм ищет изолированные группы взаимосвязей
• Найденные циклические ссылки разрушаются, память освобождается

3. Пороги и триггеры активации:

<?php
// Настройки GC в php.ini
gc_enable();           // Включение GC (включен по умолчанию с PHP 5.3)
gc_collect_cycles();   // Принудительный запуск сборки
// gc_threshold = 10000 — порог срабатывания (кол-во неосвобожденных объектов)
?>

⚙️ Управление Garbage Collector

Конфигурационные директивы php.ini:

• zend.enable_gc = On/Off — глобальное включение/выключение
• gc_max_root_buffer = 10000 — максимальное количество корневых буферов
• gc_probability = 1 и gc_divisor = 100 — вероятность запуска (1%)

Ручное управление:

<?php
// Отключение GC для критических участков кода
gc_disable();

// Выполнение ресурсоемких операций
for ($i = 0; $i < 1000000; $i++) {
    $data[] = new stdClass();
}

// Включение и принудительная очистка
gc_enable();
$collected = gc_collect_cycles();
echo "Освобождено циклов: $collected";
?>

📊 Производительность и практические рекомендации

Когда GC эффективен:

• При работе с большими графами объектов со сложными связями
• В долгоживущих скриптах (веб-сокеты, workers, очереди)
• При сериализации/десериализации сложных структур

Когда следует отключать GC:

• В короткоживущих скриптах (типичные веб-запросы)
• В критических по производительности участках кода
• При работе с простыми структурами данных без циклов

Рекомендации по оптимизации:

1. Используйте weak references (слабые ссылки) в PHP 7.4+ для избежания циклических ссылок
2. Явно разрывайте циклические ссылки: $a->next = null;
3. Мониторьте использование памяти: memory_get_usage() и memory_get_peak_usage()

🔮 Эволюция GC в разных версиях PHP

• PHP 5.3+: Появился циклический сборщик, включен по умолчанию
• PHP 7.0+: Существенная оптимизация производительности GC
• PHP 7.3+: Улучшен алгоритм маркировки, снижены overhead
• PHP 8.0+: Дальнейшие оптимизации, интеграция с JIT-компиляцией

Вывод: Garbage Collector в PHP обеспечивает баланс между автоматическим управлением памятью и производительностью. Понимание его работы позволяет писать более эффективный и стабильный код, особенно при работе со сложными объектными структурами и длительными процессами.