Kā darbojas atkritumu savācējs Go valodā?

Go atkritumu surinkėjs realizē paralēlo, neprecīzu (non-generational) metodi, balstoties uz Mark-and-Sweep algoritmu ar trigeri uz atmiņas apjoma.

Galvenie darba principi:

1. Trigger aktivizēšanai: Atkritumu surinkējs sāk darboties, kad piešķirtās atmiņas apjoms pārsniedz noteiktu slieksni. Šis slieksnis tiek dinamiski regulēts.
2. Marķēšanas fāze (Mark Phase):
   • Surinkējs aptur tikai svarīgāko marķēšanas fāzes daļu (Stop-the-World, STW), bet tas aizņem ļoti īsu laiku.
   • Paralēli darbībā esošajai programmai (mutator), tas pārbauda objektu grafu, balstoties uz saknes norādītājiem (reģistri, globālas mainīgās, gorutīnu staki).
   • Dzīvie (pieejamie) objekti tiek marķēti kā lietojami.
3. Tīrīšanas fāze (Sweep Phase):
   • Pēc marķēšanas fāzes pabeigšanas, tas pārbauda izīrētās atmiņas sarakstu (spans).
   • Nematēti objekti tiek uzskatīti par atkritumiem, un to atmiņa tiek atbrīvota.
   • Šī fāze arī tiek veikta paralēli ar programmas darbību.
4. Write Barrier: Go izmanto write barrier, lai uzraudzītu izmaiņas objektu grafikā paralēlās marķēšanas laikā. Tas nodrošina pareizu surinkēja darbību, neskatoties uz mutator izmaiņām atmiņā.
5. Bez paaudžu: Atšķirībā no dažiem citiem valodām, Go nešķiro objektus pa paaudzēm. Surinkējs apstrādā visu krūvi pilnībā.
6. Zems aizkaves mērķis: Projektējot Go GC, tika izvirzīts mērķis samazināt aizkaves, ko izraisa atkritumu savākšana (STW pārtraukumi), padarot to piemērotu servera lietojumprogrammām.

Paralēlisms un write barrier izmantošana ļauj surinkējam samazināt programmas apstāšanās laiku, nodrošinot augstu veiktspēju.

Piemērs vienkāršotai atmiņas pārvaldībai (ne tieši GC, bet ilustrē resursu atbrīvošanu):

package main

import (
	"fmt"
	"os"
)

func main() {
	// Piemērs, kā izveidot pagaidu resursu, kas vēlāk tiks atbrīvots
	file, err := os.Create("temp.txt")
	if err != nil {
		fmt.Println("Kļūda, izveidojot failu:", err)
		return
	}
	// Faila aizvēršana ar novilci
	// Lai gan tas nav tieši GC, tas demonstrē resursu atbrīvošanu
	defer file.Close()

	fmt.Println("Fails 'temp.txt' izveidots.")

	// Turpmāk programma var strādāt ar failu...

	// GC darbojas automātiski fonā, savācot neizmantotos objektus:
	// Piemēram, ja izveidojam sēriju vai karti:
	data := make([]int, 1000000) // Rezervēšana krūvē
	_ = data // Izmantošana

	// Kad data vairs nav pieejams (piemēram, iziet no funkcijas),
	// surinkējs laika gaitā atbrīvos piešķirto atmiņu.
}