Garbage collector (GC) в Go реализован как трифазный, конкурентный, с низкой задержкой сборщик мусора, основанный на алгоритме трицветной маркировки и инкрементальной очистке.

Основные особенности:

Конкурентность: GC работает параллельно с основным приложением, минимизируя паузы.
Трифазный алгоритм: включает фазы маркировки, сканирования и очистки.
Инкрементальность: сборка мусора разбивается на мелкие шаги, чтобы не блокировать выполнение программы надолго.

Компромиссы между latency и throughput:

Go GC ориентирован на минимизацию задержек (low latency), чтобы приложение не останавливалось надолго, что важно для серверных и интерактивных приложений.
Это достигается за счет более частых, но коротких пауз, что может немного снизить общую пропускную способность (throughput) из-за накладных расходов на частые сборки.
Разработчики Go постоянно балансируют между этими параметрами, улучшая алгоритмы для снижения пауз без значительного ущерба производительности.

Пример: в Go 1.8 и выше GC способен удерживать паузы в районе миллисекунд, что значительно лучше по сравнению с предыдущими версиями.

// Пример простой программы, демонстрирующей работу GC
package main

import (
	"fmt"
	"runtime"
)

func main() {
	var m runtime.MemStats
	runtime.ReadMemStats(&m)
	fmt.Printf("Before allocation: Alloc = %v MiB\n", m.Alloc/1024/1024)

	// Создаем много объектов
	for i := 0; i < 1e6; i++ {
		_ = make([]byte, 1024) // 1KB
	}

	runtime.GC() // Явный вызов сборщика мусора
	runtime.ReadMemStats(&m)
	fmt.Printf("After GC: Alloc = %v MiB\n", m.Alloc/1024/1024)
}

Как реализован garbage collector в Go и какие компромиссы он делает между latency и throughput?