Где работает сборщик мусора?

Сборщик мусора в Go

В языке Go сборщик мусора (Garbage Collector, GC) работает в виртуальной машине языка, которая является частью среды выполнения Go (runtime). Сборщик мусора — это неотъемлемый компонент управления памятью в Go, который автоматически освобождает память, занятую объектами, которые уже не используются программой.

Место работы сборщика мусора

Сборщик мусора работает непосредственно в пространстве памяти программы Go, управляя выделенной heap (кучей) памятью. Он не работает на уровне операционной системы или физической памяти — его область ответственности ограничена виртуальным адресным пространством, которое было выделено для программы Go при её запуске.

Конкретно GC функционирует в рамках:

1. Runtime Go — часть стандартной библиотеки, которая встроена в каждую программу Go.
2. Heap памяти программы — область, где выделяется память для динамических объектов (например, созданных с помощью new() или make()).
3. Виртуального адресного пространства, предоставленного ОС процессу Go.

Как работает сборщик мусора в Go

Сборщик мусора Go — это не сборщик на основе подсчёта ссылок, а сборщик поколений (generational GC) с тремя цветными маркировками (tri-color marking). Он работает параллельно с выполнением программы, стараясь минимизировать паузы (STW — Stop-The-World).

Основные этапы работы:

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

    *   GC начинает с **корневых объектов** (глобальные переменные, локальные переменные в стеке всех goroutine, регистры).
    *   Он проходит по всем достижимым из корней объектам в куче и помечает их как "живые".

```go
// Пример: создание объектов, которые будут управляться GC
func createObjects() {
    // Этот объект будет размещён в куче и управляться GC
    obj := &MyStruct{Field: "value"}
    // GC отследит, что obj достижим из стека этой функции
}
```

2. Очистка (Sweeping):

    *   После маркировки GC проходит по всей куче и освобождает память, занятую объектами, которые **не были помечены** как живые.
    *   Освобождённая память возвращается в пул для будущих аллокаций.

Контролируемые области памяти

Сборщик мусора Go работает только с heap памятью. Stack память (память стека для goroutine) управляется автоматически без участия GC — при выходе из функции стек очищается мгновенно.

func stackVsHeap() {
    // Локальная переменная — в стеке, очищается мгновенно при выходе
    localInt := 42

    // Создание через new — выделение в куче, управляется GC
    heapObj := new(int)
    *heapObj = 100
    // Когда heapObj станет недостижим, GC освободит эту память
}

Управление и настройка GC

Работу сборщика мусора можно контролировать через environment variables и runtime API:

• GOGC — переменная окружения, определяющая целевой процент роста heap перед запуском GC.

  GOGC=100  # Запускать GC, когда heap увеличился на 100% относительно живых объектов
  

• runtime.GC() — функция для принудительного запуска сборки мусора.

  import "runtime"
  
  func forceGC() {
      runtime.GC() // Запускает полный цикл сборки мусора
  }
  

• debug.SetGCPercent() — позволяет программно настроить GOGC.

  import "runtime/debug"
  
  func setGCPercent() {
      debug.SetGCPercent(50) // Установить целевой рост в 50%
  }
  

Особенности реализации

Сборщик мусора Go отличается от многих других языков:

1. Параллельность: Основная работа маркировки выполняется параллельно с выполнением программы.
2. Отсутствие фрагментации: Go использует не фрагментированную heap с линейным выделением памяти для уменьшения фрагментации.
3. Низкие латентности: Цель разработчиков Go — делать паузы GC короткими (обычно менее 1 миллисекунды для большинства приложений).

Производительность и мониторинг

Для анализа работы GC можно использовать:

• runtime.ReadMemStats() — получение статистики памяти.

  import "runtime"
  
  func printMemStats() {
      var m runtime.MemStats
      runtime.ReadMemStats(&m)
      fmt.Printf("Heap in use: %v MB\n", m.HeapInuse/1024/1024)
      fmt.Printf("GC cycles: %v\n", m.NumGC)
  }
  

• pprof — профилирование памяти и GC.

  # Сбор памяти в профиль
  go tool pprof -alloc_space http://localhost:8080/debug/pprof/heap
  

Вывод

Сборщик мусора в Go работает внутри runtime Go, управляя heap памятью программы. Он является ключевым компонентом, обеспечивающим безопасное и автоматическое управление памятью без необходимости ручного выделения/освобождения. Благодаря своему дизайну, он обеспечивает высокую производительность с минимальными паузами, что делает Go привлекательным для разработки высоконагруженных и реального времени систем. Разработчикам важно понимать принципы работы GC, чтобы писать эффективные программы и правильно интерпретировать профили памяти.