Есть ли в PHP сборщик мусора? Как работает refcount?

Question

Да, в PHP есть сборщик мусора. Основной механизм - подсчет ссылок (refcount), который автоматически освобождает память когда переменная больше не используется. Для циклических ссылок используется циклический сборщик мусора. Refcount отслеживает сколько переменных ссылаются на значение в памяти. Когда refcount достигает нуля, память immediately освобождается. Для циклических ссылок, которые не могут быть удалены через refcount, используется отдельный алгоритм обнаружения и очистки.

YeaHub · Accepted Answer

Система управления памятью в PHPОсновные компонентыПодсчет ссылок (refcount) - основной механизмЦиклический сборщик мусора - для циклических ссылокZend Memory Manager - управление выделением памятиКак работает refcountПринцип подсчета ссылокКаждая переменная в PHP имеет счетчик ссылок, который отслеживает сколько имен переменных указывают на одно значение в памяти.php// Пример подсчета ссылок
$a = "hello";  // refcount = 1
$b = $a;       // refcount = 2 (обе переменные указывают на одно значение)
$c = $a;       // refcount = 3

unset($b);     // refcount = 2
unset($c);     // refcount = 1
unset($a);     // refcount = 0 - память освобождаетсяВнутреннее представлениеc// Упрощенная структура zval (внутреннее представление переменной)
struct _zval_struct {
    zend_value value;
    union {
        struct {
            ZEND_ENDIAN_LOHI_4(
                zend_uchar type,
                zend_uchar type_flags,
                zend_uchar const_flags,
                zend_uchar reserved
            )
        } v;
        uint32_t type_info;
    } u1;
    union {
        uint32_t var_flags;
        uint32_t next;       // для хеш-таблиц
        uint32_t cache_slot; // для кэша
        uint32_t lineno;     // для генерации ошибок
        uint32_t num_args;   // для аргументов функций
        uint32_t fe_pos;     // для итераторов
        uint32_t fe_iter_idx;// для итераторов
    } u2;
    // refcount хранится в value
};Проблема циклических ссылокПример циклической ссылкиphpclass Node {
    public $next;
}

$a = new Node();
$b = new Node();

$a->next = $b;  // $a ссылается на $b
$b->next = $a;  // $b ссылается на $a - циклическая ссылка

unset($a);
unset($b);

// Память не освобождается, т.к. refcount каждого объекта = 1
// Они ссылаются друг на друга, но нет внешних ссылокЦиклический сборщик мусораАлгоритм работыОбнаружение корней - глобальные переменные, активные символыПоиск достижимых объектов - обход графа ссылокПомечение недостижимых - циклические ссылки без внешних связейОчистка - освобождение памятиКонфигурация сборщика мусораini; Включение циклического сборщика мусора
zend.enable_gc=1

; Запуск сборщика при каждом цикле
gc_enable();

; Принудительный запуск сборщика
gc_collect_cycles();Мониторинг работы сборщика мусораПолучение статистикиphp// Включение сбора статистики
gc_enable();

// Выполнение кода...
$node1 = new stdClass();
$node2 = new stdClass();
$node1->next = $node2;
$node2->next = $node1;

unset($node1, $node2);

// Принудительный сбор и получение статистики
$collected = gc_collect_cycles();

echo "Собрано циклов: $collected
";
echo "Статус GC: " . (gc_enabled() ? 'включен' : 'выключен') . "
";Практические аспектыКогда сборщик мусора запускаетсяАвтоматически при достижении порога памятиПри вызове gc_collect_cycles()В конце выполнения скриптаОптимизация использования памятиphp// Хорошая практика - явное освобождение больших структур
function processLargeData() {
    $data = getVeryLargeDataSet(); // refcount = 1
    
    process($data);
    
    // Явное освобождение памяти
    unset($data);
    
    // Принудительный сбор, если нужно
    if (memory_get_usage() > 100 * 1024 * 1024) {
        gc_collect_cycles();
    }
}Сравнение с другими языкамиPHP vs Java/C#PHP: преимущественно refcount + циклический GCJava/C#: tracing GC (mark and sweep)PHP: более предскатуемое освобождение памятиВывод: PHP использует гибридную систему управления памятью: быстрый подсчет ссылок для большинства случаев и циклический сборщик мусора для сложных структур. Это обеспечивает эффективное использование памяти с минимальными паузами, характерными для полного сборщика мусора.