Kako radi sakupljač smeća u jeziku 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 постане недоступан (на пример, при изласку из функције),
	// сакупљач смећа ће временом ослободити заделену меморију.
}