Heap Dump: що це таке, аналіз купи та усунення витоків пам'яті

Що таке heap dump і навіщо він потрібен

Heap dump являє собою повний дамп купи (heap) віртуальної машини — області пам'яті, де розміщуються всі динамічно створювані об'єкти. В Java та Kotlin це Dalvik/ART на Android, в Swift та Objective-C — ARC-керована купа на iOS. Heap dump фіксує кожен об'єкт, його клас, розмір, поля, посилання на інші об'єкти та прапорці досяжності від GC roots (стекові змінні, статичні поля, JNI references).

Основна мета heap dump — виявлення витоків пам'яті. Витік виникає, коли додаток продовжує утримувати посилання на об'єкти, які більше не потрібні, запобігаючи їх збиранню збирачем сміття. Типові причини: слухачі подій, не відписані при знищенні activity; синглтони з посиланнями на контекст; замикання (closures), що захоплюють self; статичні колекції, до яких додаються дані без видалення. Heap dump дає точну картину: які об'єкти «живі», які з них зайві та хто саме на них посилається.

За даними Google I/O, більше 60% crash-звітів Android-додатків пов'язані з OutOfMemoryError, і в 80% випадків першопричина — витік пам'яті, що виявляється через heap dump. Для iOS-додатків ситуація аналогічна: витоки через retain cycles — одна з частих причин падінь, що виявляються через Allocations instrument в Xcode.

Коли потрібен heap dump

Heap dump слід виконувати при наступних симптомах: додаток споживає пам'ять лінійно при повторюваних діях; після завершення роботи екрана пам'ять не повертається до початкового рівня; виникають OutOfMemoryError або попередження memory warning на iOS; додаток припиняється через перевищення ліміту пам'яті. Регулярний збір heap dumps — частина протоколу інженерної культури у великих мобільних проектах, таких як Instagram та Spotify.

Heap dump в Android Studio: отримання та аналіз

Android Studio надає Memory Profiler — вбудований інструмент для захоплення heap dump у реальному часі. Доступний через View → Tool Windows → Profiler. Після запуску додатка виберіть сесію, перейдіть на вкладку Memory та натисніть Dump Java Heap. Android Studio призупинить додаток, виконає дамп купи ART та завантажить результат для аналізу. Файл дампа має формат .hprof — стандарт HPROF, сумісний з більшістю аналізаторів пам'яті.

Після завантаження дампа Android Studio відображає таблицю об'єктів з колонками: Allocations (кількість екземплярів), Native Size (пам'ять поза купою ART), Shallow Size (пам'ять самого об'єкта), Retained Size (пам'ять об'єкта з усім підграфом). Фільтрація за ім'ям класу, сортування за retained size та пошук за пакетами дозволяють швидко знайти проблемні ділянки.

// Типовий витік — слухач, не відписаний в onDestroy
class MainActivity : AppCompatActivity() {
    private val sensorManager by lazy {
        getSystemService(SENSOR_SERVICE) as SensorManager
    }
    private val listener = MySensorListener()

    override fun onCreate(savedInstanceState: Bundle?) {
        super.onCreate(savedInstanceState)
        sensorManager.registerListener(listener,
            sensorManager.getDefaultSensor(Sensor.TYPE_LIGHT),
            SensorManager.SENSOR_DELAY_NORMAL)
    }

    override fun onDestroy() {
        super.onDestroy()
        // ❌ Пропущений sensorManager.unregisterListener(listener)
        // → Activity не збереться GC, heap dump покаже витік
    }
}

Аналіз dominator tree в Android Studio

Вкладка Dominator Tree показує об'єкти, які утримують найбільшу кількість пам'яті. Якщо видалити об'єкт з dominator tree, вся пам'ять, яку він утримує, стане доступною для збирання. Це ключовий інструмент: замість перегляду тисяч об'єктів ви фокусуєтеся на 10–20, які контролюють 80–90% пам'яті. За даними Google, dominator tree analysis — найефективніший спосіб знайти точку витоку, що скорочує час аналізу з годин до хвилин.

Heap dump в Xcode Instruments: Allocations та Leaks

Xcode Instruments надає два інструменти для роботи з heap dump: Allocations — захоплення дампа купи з графіком споживання в реальному часі; Leaks — автоматичний пошук витоків через аналіз retain cycles. Allocations відображає всі об'єкти в купі, їх розмір, кількість створень (allocations) та звільнень (deallocations). Різниця між кількістю створень та звільнень для конкретного класу показує потенційний витік.

Захоплення heap dump в Allocations виконується кнопкою Snapshot Memory — інструмент призупиняє додаток та знімає повний дамп. Після цього доступні стандартні представлення: список об'єктів за класами, дерево викликів (call tree) для кожного об'єкта та генератор звітів. На відміну від Android Studio, Xcode не використовує .hprof, а зберігає дані у власному форматі .trace, сумісному з Instruments.

// Типовий iOS-витік — retain cycle через замикання
class NetworkManager {
    var onComplete: ((Data) -> Void)?

    func startRequest() {
        // ❌ Замикання захоплює self — retain cycle
        onComplete = { data in
            self.process(data)
        }
    }
    func process(_ data: Data) {}
}

Leaks instrument автоматично виявляє retain cycles та витоки через аналіз графа посилань. Він позначає об'єкти, що витікають, фіолетовим значком та показує шлях до кореня (GC root). Для усунення retain cycle достатньо додати [weak self] або [unowned self] у захоплення замикання. Регулярний прогін Leaks instrument — обов'язковий етап CI-пайплайна в командах, що використовують Swift для iOS-розробки.

// Виправлення — слабке посилання на self
onComplete = { [weak self] data in
    guard let self else { return }
    self.process(data)
}

Shallow size, retained size та dominator tree

Для коректного аналізу heap dump необхідно розуміти три ключові метрики. Shallow size — об'єм пам'яті, який займає безпосередньо об'єкт: його поля, заголовок (header) та вирівнювання. Для типового Java/Kotlin-об'єкта shallow size становить 16–40 байт. Retained size — shallow size об'єкта плюс сумарний shallow size всіх об'єктів, які доступні тільки через цей об'єкт (тобто стануть сміттям при його видаленні). Саме retained size показує реальний вплив об'єкта на споживання пам'яті.

Dominator tree — структура, де кожен об'єкт посилається на свого «домінатора» — об'єкт, який контролює його доступність. Якщо домінатор видалений, всі об'єкти його піддерева стають сміттям. Аналіз dominator tree — найшвидший спосіб знайти, який об'єкт утримує найбільше пам'яті. За даними Eclipse MAT (Memory Analyzer Tool), 90% витоків виявляються через перегляд top-20 dominator tree за 5 хвилин.

Аналіз витоків пам'яті через heap dump

Процес аналізу витоку через heap dump складається з кількох кроків. Крок 1: виконайте дію, яка має звільнити пам'ять. Крок 2: викличте GC та зробіть heap dump. Крок 3: знайдіть об'єкти, які мали бути знищені. Крок 4: для підозрілого об'єкта виконайте Path to GC Roots — ланцюжок посилань, який тримає об'єкт живим. Останнє посилання в ланцюжку — причина витоку.

Path to GC Roots

Функція Path to GC Roots доступна в Android Studio Profiler, Eclipse MAT та Xcode Instruments. Вона показує найкоротший ланцюжок посилань від GC root до проблемного об'єкта. Виключивши слабкі (weak) та м'які (soft) посилання, ви отримаєте тільки сильні (strong) — ті, які дійсно перешкоджають збиранню. За статистикою Square Engineering, 70% витоків в Android-додатках викликані всього двома патернами: статичні посилання на Activity або Context та зареєстровані, але не відписані слухачі.

// Приклад витоку через статичне посилання
object AppCache {
    private val cache = mutableMapOf<String, Any>()

    fun storeActivityReference(activity: Activity) {
        cache["current_activity"] = activity // ❌ Витік!
    }
}

// Виправлення: слабке посилання
object AppCacheFixed {
    private val cache = mutableMapOf<String, WeakReference<Any>>()
}

Порівняння двох heap dumps

Техніка comparison mode — один з найефективніших методів пошуку витоків. Зробіть heap dump до та після повторюваної дії. Порівняйте кількість екземплярів ключових класів: якщо кількість Activity зросла, хоча всі активності були закриті — це витік. Android Studio та Eclipse MAT підтримують автоматичне порівняння дампів з виділенням відмінностей. За даними Google, порівняння дампів дозволяє знаходити витоки, невидимі при разовому аналізі, за рахунок накопичення ефекту.

Практичні рекомендації щодо зниження споживання пам'яті

На основі аналізу heap dump в реальних проектах вироблені перевірені практики оптимізації пам'яті. Використовуйте WeakReference для кешів, зворотних викликів та посилань на контекст у довгоживучих об'єктах. Відписуйте слухачів в onPause/onDestroy для Android та deinit для iOS. Уникайте великих статичних колекцій — якщо вони необхідні, використовуйте LruCache з обмеженням розміру. Оптимізуйте Bitmap'и: завантажуйте зображення з правильним inSampleSize, використовуйте Glide або Picasso з дисковим кешем.

Профілювання пам'яті в процесі розробки

Включіть регулярний захоплення heap dump в CI-пайплайн. Налаштуйте задачу, яка запускає інструментовані тести UI, виконує ключові користувацькі сценарії та порівнює heap dump з baseline. Якщо retained size виріс більш ніж на 5% від baseline — збірка позначається як регресія. Такий підхід практикується в Airbnb, Uber та інших компаніях з високими вимогами до якості. За даними Uber Engineering, впровадження автоматичного аналізу heap dump в CI скоротило кількість memory-related багів на 70% за квартал.

// Приклад Gradle-таски для автоматичного heap dump в CI
task profileMemory(type: Exec) {
    commandLine 'adb', 'shell',
        'am start -n com.example/.MainActivity'
    // Очікування завантаження
    doLast {
        exec { commandLine 'adb', 'shell',
            'am broadcast -a com.example.DUMP_HEAP' }
    }
}