Что такое memory leak?

Утечка памяти — это распространённая проблема в разработке программного обеспечения, при которой приложение продолжает удерживать память, выделенную под объекты, которые уже не используются в программе. Поскольку эта память не освобождается, общее потребление оперативной памяти приложением со временем растёт, что может привести к снижению производительности, "тормозам" и, в конечном итоге, к падению программы из-за исчерпания доступной памяти.

Как возникают утечки памяти?

В языках с ручным управлением памятью (C, C++) утечка происходит, когда разработчик выделяет память (например, через malloc или new), но забывает её освободить (через free или delete). В языках с автоматической сборкой мусора (JavaScript, Java, C#, Python) память освобождается автоматически, когда на объект больше нет ссылок. Однако утечки всё равно возможны, если ссылки на ненужные объекты невольно сохраняются в коде.

Типичные причины в JavaScript

• Неудалённые обработчики событий: Добавление слушателей к DOM-элементам, которые не удаляются при уничтожении элемента.
• Замыкания: Сохранение ссылок на большие объекты или DOM-элементы внутри замыканий, которые продолжают существовать.
• Глобальные переменные: Непреднамеренное создание глобальных переменных, которые никогда не очищаются.
• Кеши и коллекции: Хранение объектов в массивах или Map без механизма их очистки.
• Отсоединённые DOM-элементы: Ссылки на DOM-узлы, удалённые со страницы, но оставшиеся в памяти JavaScript.

Пример утечки в JavaScript

// Пример: утечка из-за сохранения ссылки в замыкании
function createHeavyObject() {
  const largeArray = new Array(1000000).fill('data'); // Большой объект
  return function() {
    // Внутренняя функция сохраняет ссылку на largeArray,
    // даже если внешняя функция уже выполнилась.
    console.log('Closure references array of size:', largeArray.length);
  };
}

let leakyFunction = createHeavyObject();
// Теперь largeArray не может быть удалён сборщиком мусора,
// пока существует leakyFunction.

// Ещё один пример: глобальная переменная
window.cache = {};
function processData(data) {
  // Данные накапливаются в глобальном объекте и никогда не очищаются
  window.cache[Date.now()] = data;
}

Как обнаруживать и предотвращать утечки?

Для обнаружения утечек используются инструменты разработчика в браузерах (например, Memory Profiler в Chrome DevTools) или профилировщики памяти для серверных приложений. Профилирование позволяет делать снимки памяти (heap snapshots) и сравнивать их, чтобы найти объекты, которые не освобождаются. Для предотвращения утечек важно:

1. Удалять обработчики событий, когда они больше не нужны.
2. Избегать хранения больших данных в глобальной области видимости.
3. Очищать ссылки на объекты в кэшах и коллекциях (например, использовать WeakMap или WeakSet).
4. Внимательно работать с замыканиями и таймерами.

Вывод: Понимание утечек памяти необходимо для создания стабильных и производительных приложений, особенно долгоживущих, таких как SPA (Single Page Applications) или серверные процессы. Регулярный аудит памяти и использование правильных паттернов кодирования помогают избежать накопления мусора и обеспечивают плавную работу программы.