Goroutine ichida ajratilgan paytda o'zgaruvchi qayerda joylashgan?

O'zgaruvchi gorutina yiginida yoki yirikda ajratilishi mumkin. Bu Go kompilyatori escape analysis (qochish tahlili) mexanizmi bilan aniqlanadi.

Escape tahlilining asosiy prinsiplari:

• Agar kompilyator o'zgaruvchining faqat bir funktsiya chaqirig'ida yoki faqat bir gorutina yiginida yashashini isbotlasa (ya'ni, tashqaridan unga murojaat qilinmasa), u bu gorutina yiginida ajratiladi. Bu tezroq, chunki yigin avtomatik boshqariladi va tozalashga ehtiyoj yo'q.
• Agar kompilyator o'zgaruvchining yigin bilan cheklanganligini isbotlamasa yoki tashqaridan unga murojaat mavjud bo'lsa (masalan, ko'rsatkich orqali boshqa funktsiyaga uzatilgan, global o'zgaruvchiga yozilgan yoki ko'rsatkich bilan funktsiyadan qaytarilgan), u yirikda ajratiladi. Yirik tozalashni talab qiladi va bu bajarilishini sekinlashtirishi mumkin.

Yig'in yordami bilan ajratish misoli:

// 'x' o'zgaruvchisi faqat funktsiya ichida ishlatilgani uchun yigin yordami bilan ajratiladi.
func exampleStack() int {
	x := 10
	return x
}

Yirikda ajratish misoli:

// 'p' (ko'rsatkichga ega int) va unga ishora qiladigan int yirikda ajratilishi mumkin.
// Bu, ko'rsatkich funktsiyadan qaytariladi va tashqaridan foydalanilishi mumkinligi uchun.
func exampleHeap() *int {
	x := 20 // 20 qiymati yirikda ajratilishi mumkin
	return &x // x o'zgaruvchisining manzilini qaytaradi
}

Escape tahlili kompilatsiya vaqtida amalga oshiriladi. Uni -gcflags "-m" flagi yordamida tekshirish mumkin:

go build -gcflags "-m" your_package_name

Kompilyator chiqishi qaysi o'zgaruvchilar "escape to heap" bo'lganini ko'rsatadi.

Shunday qilib, o'zgaruvchining joylashuvi (yigin yoki yirik) uning goroutine ichida ajratilganligi bilan emas, balki Go kompilyatori uning hayot aylanishi va doirasini qanday tahlil qilishiga bog'liq.