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

Събирачът на боклук в Go реализира паралелен, неточен (non-generational) метод, базиран на алгоритъма Mark-and-Sweep с тригер по обема на купчината.

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

1. Тригер за активиране: Събирачът се стартира, когато обемът на паметта, заделена от програмата, надвиши определен праг. Този праг се регулира динамично.
2. Фаза на маркиране (Mark Phase):
   • Събирачът спира изпълнението само на критичната част от фазата на маркиране (Stop-the-World, STW), но това отнема много кратко време.
   • Паралелно с работещата програма (mutator), събирачът обходи графа на обектите, базиран на коренови указатели (регистри, глобални променливи, стекове на горутините).
   • Живите (достъпни) обекти се маркират като използвани.
3. Фаза на почистване (Sweep Phase):
   • След завършване на фазата на маркиране, събирачът преминава през списъка с арендована памет (spans).
   • Нематериализираните обекти се считат за боклук и тяхната памет се освобождава.
   • Тази фаза също се изпълнява паралелно с работата на програмата.
4. Write Barrier: Go използва write barrier за проследяване на промените в графа на обектите по време на паралелната фаза на маркиране. Това гарантира коректната работа на събирача, въпреки модификациите в паметта от mutator.
5. Без поколения: За разлика от някои други езици, Go не дели обектите на поколения. Събирачът обработва цялата купчина изцяло.
6. Цел за ниска латентност: При проектирането на Go GC беше поставена задачата да минимизира закъсненията, причинени от събиране на боклука (STW паузи), което го прави подходящ за сървърни приложения.

Паралелността и използването на write barrier позволяват на събирача да минимизира времето за спиране на програмата, осигурявайки висока производителност.

Пример за опростено управление на паметта (не директно GC, но илюстрира освобождаването на ресурси):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Пример за създаване на временен ресурс, който ще бъде освободен
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Грешка при създаване на файл:", err)
		return
	}
	// Отложено затваряне на файла.
	// Въпреки че това не е GC в чист вид, демонстрира освобождаването на ресурси.
	defer file.Close()

	fmt.Println("Файл 'temp.txt' създаден.")

	// След това програмата може да работи с файла...

	// GC работи автоматично във фонов режим за събиране на неизползваните обекти в купчината.
	// Например, ако създадем слайс или мапа:
	data := make([]int, 1000000) // Заделяне в купчината
	_ = data // Използване

	// Когато data стане недостъпна (например при изход от функцията),
	// събирачът на боклука с времето ще освободи заделената за нея памет.
}