სად არის ცვლადი, როდესაც ის გორუტინში გამოყოფილია?

მოძრავი შეიძლება განთავსდეს როგორც goroutine-ის stack-ზე, ასევე heap-ზე. ეს განსაზღვრავს escape analysis (გაქცევის ანალიზი) კომპილატორის მიერ.

Escape analysis-ის ძირითადი პრინციპები:

• თუ კომპილატორი შეუძლია დაამტკიცოს, რომ ცვლადი ცხოვრობს მხოლოდ ერთ ფუნქციის გამოძახების ფარგლებში ან მხოლოდ ერთი goroutine-ის stack-ის ფარგლებში (ანუ, მასზე არ არის მითითებები გარედან), ის განთავსდება ამ goroutine-ის stack-ზე. ეს უფრო სწრაფია, რადგან stack-ი ავტომატურად მართვადია და არ საჭიროებს მტვრის შეგროვებას.
• თუ კომპილატორი ვერ დაამტკიცებს, რომ ცვლადი შეზღუდულია stack-ზე, ან თუ მასზე არსებობს მითითებები გარედან (მაგალითად, გადაცემა პინტერით სხვა ფუნქციას, გლობალურ ცვლადში ჩაწერა, ფუნქციიდან პინტერით დაბრუნება), ის განთავსდება heap-ზე. Heap-ის მტვრის შეგროვება საჭიროებს, რაც შეიძლება შეაფერხოს შესრულება.

Stack-ზე განთავსების მაგალითი:

// ცვლადი 'x' განთავსებულია stack-ზე, რადგან გამოიყენება მხოლოდ ფუნქციის შიგნით.
func exampleStack() int {
	x := 10
	return x
}

Heap-ზე განთავსების მაგალითი:

// ცვლადი 'p' (პინტერის ტიპის) და ის, რასაც ის მიუთითებს, შეიძლება განთავსდეს heap-ზე.
// ეს ხდება იმიტომ, რომ პინტერის დაბრუნება ხდება ფუნქციიდან და მას შეუძლია გამოყენება გარედან.
func exampleHeap() *int {
	x := 20 // მნიშვნელობა 20 შეიძლება განთავსდეს heap-ზე
	return &x // ვაბრუნებთ x-ის მისამართს
}

Escape analysis ხდება კომპილაციის დროს. ის შეიძლება შემოწმდეს -gcflags "-m" ფლაგის გამოყენებით:

// ანალიზის გამართვა
go build -gcflags "-m" your_package_name

კომპილატორის გამოყვანა აჩვენებს, რომელი ცვლადები "escape to heap".

ამიტომ, ცვლადის მდებარეობა (stack vs heap) არ განისაზღვრება იმით, რომ ცვლადი განთავსებულია goroutine-ში, არამედ იმით, როგორ ანალიზებს Go კომპილატორი მისი სიცოცხლის ციკლს და საზღვრებს.