Почему программы «утекают» памятью и куда она девается

Утечка памяти — это когда программа выделяет память, перестаёт ею пользоваться, но не возвращает системе, и так раз за разом.

Память — не бесконечна. Если программа берёт по кусочку и не отдаёт, рано или поздно склад заполнится — и она зависнет или рухнет, унеся с собой вашу работу.

Вы наверняка замечали: некоторые программы свежезапущенными летают, а через несколько часов работы начинают тормозить и пожирать память. Часто виновата утечка памяти — коварная ошибка, которую трудно заметить и легко допустить. Разберёмся, что это и почему случается даже там, где, казалось бы, не должно.

Откуда программа берёт память

Когда программе нужно место под данные неизвестного заранее размера, она просит его у системы — выделяет блок в куче. Пока этот блок нужен, программа им пользуется. Когда блок больше не нужен, его положено освободить — вернуть системе, чтобы место досталось другим.

Утечка происходит, когда второй шаг не случается. Блок выделили, пользоваться перестали, но не вернули. Память помечена как «занятая», хотя по факту мертва. Программа делает так снова и снова — и количество мёртвых блоков растёт, отъедая всё свободное место.

Классическая утечка в ручном языке

В языках вроде C и C++ управление памятью полностью на программисте. Запросил — обязан вернуть. Забыл вернуть — утечка.

while (работает программа) {
    data = выделить_память(1000);  // взяли блок
    обработать(data);
    // забыли освободить data!
}                                   // на каждом круге теряем 1000 байт

Здесь на каждой итерации цикла теряется блок. За секунды это незаметно, но за часы непрерывной работы счёт идёт на гигабайты. Лекарство простое по идее, но требует дисциплины: на каждый запрос памяти должно приходиться её освобождение.

«А я думал, сборщик мусора всё уберёт»

Резонный вопрос: в Python, Java, JavaScript есть сборщик мусора — фоновый уборщик, который сам находит ненужные данные и освобождает их. Значит, утечек там не бывает? Увы, бывают. Просто причина другая.

Сборщик мусора освобождает данные, на которые больше никто не ссылается. Логика такая: если до объекта нельзя дотянуться, он точно не нужен — можно убирать. Но если вы случайно держите ссылку на объект, который вам давно не нужен, — для сборщика он живой, и он его не тронет. Память «утекла», хотя формально память управляется автоматически.

Где прячутся ссылки-зомби

Чаще всего утечки в управляемых языках возникают так:

Растущие списки и словари. Вы добавляете элементы в общий список (например, кэш) и забываете удалять старые. Список растёт вечно — и всё, что в нём, остаётся живым.
Забытые обработчики событий. Подписали функцию на событие («когда нажмут кнопку — сделай это»), но не отписали, когда элемент исчез. Ссылка держит и функцию, и связанные с ней данные.
Глобальные хранилища. Положили данные в глобальную переменную «на минутку» и забыли. Глобальное живёт всё время работы программы.

Во всех случаях память не освобождается не потому, что сломался уборщик, а потому, что вы, сами того не желая, сказали ему: «это ещё нужно».

Как утечки находят

Утечки коварны тем, что программа не падает сразу — она тихо пухнет. Чтобы поймать утечку, инженеры:

Наблюдают за памятью во времени. Если график потребления памяти неуклонно ползёт вверх и не опускается — где-то течёт.
Снимают «слепки» памяти (профайлеры, heap dumps) и сравнивают, какие объекты копятся и кто их держит.
Применяют инструменты вроде анализаторов, которые отслеживают каждый выделенный блок и кричат о тех, что не освободились.

Почему это важно понимать

Утечки памяти — отличный пример того, как абстракция не отменяет понимание. Можно годами писать на языке со сборщиком мусора и верить, что о памяти думать не нужно. А потом столкнуться с программой, которая медленно умирает под собственным весом, и не понять, в чём дело. Знание, что память надо не только брать, но и отпускать — и что даже автоматический уборщик не спасёт от забытой ссылки, — превращает загадочное «программа стала жрать память» в понятную задачу с понятным решением. Память конечна, и относиться к ней стоит как к ресурсу, который берут взаймы и возвращают.