Unde se află variabila atunci când este evidențiată într-o goroutine?

O variabilă poate fi alocată atât pe stiva unei goroutine, cât și pe heap. Acest lucru este determinat de mecanismul de escape analysis (analiza de scăpare) al compilatorului Go.

Principiile de bază ale escape analysis:

• Dacă compilatorul poate demonstra că variabila trăiește doar în interiorul unui apel de funcție sau doar în limitele stivei unei goroutine (adică, nu face referire la ea din exterior), ea este alocată pe stiva acelei goroutine. Acest lucru este mai rapid, deoarece stiva este gestionată automat și nu necesită colectare de gunoi.
• Dacă compilatorul nu poate demonstra că variabila este limitată la stivă, sau dacă există referințe la ea din exterior (de exemplu, transmisă prin pointer către o altă funcție, scrisă într-o variabilă globală, returnată dintr-o funcție prin pointer), ea este alocată pe heap. Heap-ul necesită colectare de gunoi, ceea ce poate încetini execuția.

Exemplu de alocare pe stivă:

// Variabila 'x' este alocată pe stiva goroutine-ului, deoarece este utilizată doar în interiorul funcției.
func exampleStack() int {
	x := 10
	return x
}

Exemplu de alocare pe heap:

// Variabila 'p' (pointer la int) și int-ul la care indică, pot fi alocate pe heap.
// Acest lucru se întâmplă deoarece pointer-ul este returnat din funcție și poate fi utilizat din exterior.
func exampleHeap() *int {
	x := 20 // Valoarea 20 poate fi alocată pe heap
	return &x // Returnează adresa variabilei x
}

Escape analysis are loc în timpul compilării. Poate fi verificată folosind flag-ul -gcflags "-m":

go build -gcflags "-m" your_package_name

Ieșirea compilatorului va arăta care variabile "escape to heap".

Prin urmare, locația variabilei (stivă vs heap) nu este determinată de faptul dacă variabila este alocată în goroutine, ci de modul în care Go compiler analizează ciclul său de viață și domeniul de aplicare.