Разкажи за събирача на боклук (garbage collector) в езика Go.

Go използва паралелен, триизцветен, некомпактен събирач на боклук с ниски закъснения.

Основни принципи на работа:

• Маркиране (Mark): Определя кои обекти са достъпни от кореновите указатели (регистри, стекове на горутините, глобални променливи). Използва алгоритъм с три цвята (бял - не посетен, сив - посетен, но потомците още не са проверени, черен - посетен и всички потомци са проверени).
• Почистване (Sweep): Премахва недостъпните обекти (остават бели) и освобождава памет за повторна употреба.

Характеристики:

• Паралелен: Маркирането се извършва паралелно с изпълнението на потребителския код (фазите STW - Stop-The-World - са много кратки).
• Ниски закъснения: Проектиран е да минимизира паузите в работата на приложението.
• Некопактен: Не преместват живите обекти в паметта, което може да доведе до фрагментация, но улеснява реализирането и ускорява маркирането/почистването.

Фази на работа:

1. Помощ при маркиране: Потребителските горутини помагат на събирача при фазата на маркиране при разпределението на памет.
2. Маркиране: Паралелно маркиране на достъпните обекти.
3. Завършване на маркирането: Кратка STW фаза за финализиране на маркирането.
4. Почистване: Паралелно премахване на недостъпните обекти.

Управление:

• Автоматично.
• Прагът за задействане на GC се регулира чрез променливата на средата GOGC. По подразбиране GOGC=100, което означава, че събирачът ще започне, когато размерът на купчината се удвои спрямо предишния цикъл.
• Функцията runtime.GC() принудително стартира събиране на боклука, но нейното използване не се препоръчва в стандартния код.

package main

import (
	"runtime"
	"time"
)

func main() {
	// Пример за принудително извикване на GC (рядко се налага)
	runtime.GC()

	// Пример за получаване на статистика за GC
	var memStats runtime.MemStats
	runtime.ReadMemStats(&memStats)
	// fmt.Printf("Общо заделена памет: %v байта\n", memStats.TotalAlloc)
}

Предимства:

• Автоматично управление на паметта, намалява вероятността от грешки (изтичане на памет, двойно освобождаване).
• Проектирано за конкурентно изпълнение.

Недостатъци:

• Нерешителното време за работа на GC.
• Възможно увеличение на потреблението на памет в сравнение с ръчно управление.