Какие знаешь этапы сборки мусора у Garbage Collector?

Этапы сборки мусора в Garbage Collector

Сборка мусора (Garbage Collection, GC) — это процесс автоматического управления памятью, при котором среда выполнения (например, JVM для Java/Kotlin в Android) освобождает память, занятую объектами, которые больше не используются приложением. В контексте Android (с использованием ART/Dalvik или, в современных системах, ART с различными GC-алгоритмами) процесс сборки мусора обычно состоит из нескольких ключевых этапов. Хотя детали реализации могут различаться между версиями Android и типами сборщиков (например, Concurrent Mark-Sweep, Generational GC), общая логика этапов остается схожей.

Основные этапы сборки мусора

1. Маркировка (Marking)

• Цель: Обнаружение всех достижимых объектов (live objects), то есть объектов, на которые существуют ссылки из корневых точек (GC roots). Корневые точки включают статические поля, активные локальные переменные в стеке потоков, JNI-ссылки и другие.
• Процесс: GC начинает обход графа объектов от корневых точек, помечая каждый достижимый объект (например, устанавливая флаг в заголовке объекта). Это фаза tracing.
• Пример псевдокода:

  void markFromRoots() {
      for (Object root : gcRoots) {
          markRecursively(root);
      }
  }
  void markRecursively(Object obj) {
      if (!obj.isMarked()) {
          obj.setMarked(true);
          for (Object child : obj.getReferences()) {
              markRecursively(child);
          }
      }
  }
  

2. Анализ достижимости (Reachability Analysis)

• Это не всегда отдельный этап, а скорее часть маркировки. GC определяет, какие объекты недостижимы (unreachable), то есть не могут быть достигнуты из корней. Эти объекты считаются мусором и подлежат удалению.
• В современных GC (например, Generational GC) анализ часто выполняется с учетом поколений объектов (young generation, old generation). Молодые объекты собираются чаще (minor GC), старые — реже (major GC).

3. Очистка (Sweeping)

• Цель: Освобождение памяти, занятой недостижимыми объектами.
• Процесс: GC проходит по всей памяти кучи (heap), находит объекты, не помеченные на этапе маркировки, и освобождает занимаемые ими блоки памяти. Память возвращается в пул свободной памяти для последующего выделения.
• Важно: Очистка не обязательно сразу дефрагментирует память; фрагментация может накапливаться.
• Пример логики:

  void sweep() {
      for (MemoryChunk chunk : heap) {
          if (!chunk.isMarked()) {
              free(chunk);
          } else {
              chunk.clearMark();
          }
      }
  }
  

4. Компактификация (Compaction)

• Цель: Уменьшение фрагментации памяти путем перемещения живых объектов в соседние области памяти, чтобы освободить непрерывные блоки.
• Процесс: GC перемещает достижимые объекты ближе друг к другу (часто в начало кучи), обновляет все ссылки на эти объекты, а затем освобождает оставшиеся области. Это особенно важно в ART для уменьшения пауз (stop-the-world), но может выполняться параллельно или фоново в современных реализациях.
• Преимущество: Улучшает производительность выделения памяти (например, через указатель bump-the-pointer для линейного выделения).

Дополнительные аспекты в контексте Android (ART)

В Android Runtime (ART), начиная с версий 5.0+, используется поколенческий сборщик мусора с несколькими пространствами памяти, что добавляет этапы:

• Minor GC (Young Generation Collection):

  • Собирает мусор в young generation (пространства Eden, Survivor).
  • Этапы: маркировка живых объектов в young generation, копирование их в другое пространство (Survivor или Old Generation), очистка всего пространства Eden (часто через копирование, а не sweeping).

• Major GC (Old Generation Collection):

  • Собирает мусор в old generation. Может включать полные этапы маркировки, очистки и компактификации. В ART часто используется concurrent mark-sweep для уменьшения пауз.

• Фоновые и параллельные этапы:

  • ART старается выполнять маркировку и очистку параллельно или в фоновом потоке, чтобы минимизировать stop-the-world паузы, которые замораживают приложение. Например, concurrent marking выполняется во время работы приложения.

Ключевые алгоритмы и их влияние

• Mark-Sweep: Основные этапы — маркировка и очистка. Быстрый, но приводит к фрагментации.
• Mark-Compact: Добавляет компактификацию. Уменьшает фрагментацию, но требует больше времени.
• Copying GC: Разделяет память на два пространства; живые объекты копируются из одного в другое, а затем все исходное пространство очищается. Используется в young generation.

Практические выводы для разработчика Android

1. Избегайте утечек памяти: Недостижимые объекты собираются, но достижимые (например, из.
2. Ссылки в статических полях или активити в бэкстеке) — нет. Используйте слабые ссылки (WeakReference) для кэшей.
3. Минимизируйте аллокации: Частые аллокации в young generation приводят к частым minor GC, что может вызвать фризы (jank) в UI.
4. Профилирование: Используйте Android Profiler для отслеживания сборок мусора и анализа кучи.

Пример наблюдения за GC в логах Android (при включенном logcat с тегом GC):

D/GC: Explicit concurrent mark sweep GC freed ...

Итог: Понимание этапов сборки мусора помогает писать оптимизированные приложения с эффективным использованием памяти, что критично для производительности и отзывчивости UI на Android.