Как в Go устроены сборка мусора и размещение на стеке или в куче?

Сборщик. Трёхцветная маркировка выполняется параллельно с программой, короткие остановки нужны только на начало и конец фазы. Барьер записи отслеживает изменения ссылок. Объекты не перемещаются, поэтому нет уплотнения — вместо него аллокатор с классами размеров.

GOGC=100 (по умолчанию): следующая сборка, когда куча вырастет на 100% от живых данных после предыдущей. Больше — реже сборки, больше памяти. GOMEMLIMIT — при приближении к лимиту GC работает чаще, удерживая память; полезно в контейнерах с жёстким лимитом.

Escape analysis:

func newUser() *User {
    u := User{}   // убегает: возвращается указатель → куча
    return &u
}
func sum(xs []int) int {
    total := 0    // остаётся на стеке
    ...
}

Снижение нагрузки на GC: меньше аллокаций в горячем коде — предвыделять срезы, возвращать значения вместо указателей для мелких структур, strings.Builder, sync.Pool для буферов. Профиль аллокаций — pprof -alloc_space.