Kde sa nachádza premenná, keď je zvýraznená v goroutine?

Premenná môže byť alokovaná buď na zásobníku gorutiny, alebo na halde. To je určené mechanizmom escape analysis (analýza úniku) kompilátora Go.

Základné princípy escape analysis:

• Ak kompilátor dokáže dokázať, že premenná žije iba v rámci jedného volania funkcie alebo iba v rámci zásobníka jednej gorutiny (t.j., na ňu sa neodkazuje zvonku), je alokovaná na zásobník tejto gorutiny. To je rýchlejšie, pretože zásobník je spravovaný automaticky a nevyžaduje zber odpadu.
• Ak kompilátor nedokáže dokázať, že premenná je obmedzená na zásobník, alebo ak na ňu existujú odkazy zvonku (napríklad, odovzdanie ukazovateľa do inej funkcie, zápis do globálnej premennej, vrátenie z funkcie cez ukazovateľ), je alokovaná na halde. Haldy vyžadujú zber odpadu, čo môže spomaliť výkon.

Príklad alokácie na zásobník:

// Premenná 'x' je alokovaná na zásobník gorutiny, pretože je použitá iba vo vnútri funkcie.
func exampleStack() int {
	x := 10
	return x
}

Príklad alokácie na halde:

// Premenná 'p' (ukazovateľ na int) a int, na ktorý ukazuje, môžu byť alokované na halde.
// To sa deje, pretože ukazovateľ je vrátený z funkcie a môže byť použitý zvonku.
func exampleHeap() *int {
	x := 20 // Hodnota 20 môže byť alokovaná na halde
	return &x // Vrátime adresu premennej x
}

Escape analysis prebieha počas kompilácie. Môže byť overená pomocou vlajky -gcflags "-m":

// Kompilácia s analýzou úniku
go build -gcflags "-m" your_package_name

Výstup kompilátora ukáže, ktoré premenné "escape to heap".

Preto umiestnenie premennej (zásobník vs halda) nie je určené tým, či je premennej priradená v gorutine, ale tým, ako Go kompilátor analyzuje jej životný cyklus a rozsah.