Горутинада бөлүнгөндө өзгөрмө кайда жайгашкан?

Өзгөрмө ошондой эле goroutineдин стекинде, ошондой эле кутучада бөлүштүрүлүшү мүмкүн. Бул Go компиляторунун escape analysis (бөлүнүү анализи) механизми менен аныкталат.

Escape analysis негизги принциптери:

• Эгер компилятор өзгөрмө бир функция чакыруусунун ичинде гана жашап жатканын же бир goroutineдин стекинде гана жашап жатканын далилдей алса (демек, ал сырттан шилтемелерге ээ эмес), ал ошол goroutineдин стекине бөлүштүрүлөт. Бул тезирээк, анткени стек автоматтык түрдө башкарылат жана чогултуу талап кылынбайт.
• Эгер компилятор өзгөрмө стекке чектелбегенин далилдей албаса, же анын сырттан шилтемелери болсо (мисалы, көрсөткүч аркылуу башка функцияга өткөрүлүп берилсе, глобалдык өзгөрмөдө жазылса, көрсөткүч аркылуу функциядан кайтарылса), ал кутучага бөлүштүрүлөт. Кутуча чогултуу талап кылат, бул иштөө ылдамдыгын төмөндөтүшү мүмкүн.

Stackке бөлүштүрүү мисалы:

// Өзгөрмө 'x' stackке бөлүштүрүлөт, анткени ал гана функциянын ичинде колдонулат.
func exampleStack() int {
	x := 10
	return x
}

Heapке бөлүштүрүү мисалы:

// Өзгөрмө 'p' (показатель на int) жана ал көрсөтүп турган int, heapке бөлүштүрүлүшү мүмкүн.
// Бул, көрсөткүч функциядан кайтарылып, сырттан колдонулушу мүмкүн болгондуктан болот.
func exampleHeap() *int {
	x := 20 // 20 мааниси heapке бөлүштүрүлүшү мүмкүн
	return &x // x өзгөрмөнүн дарегин кайтарат
}

Escape analysis компиляция учурунда болот. Ал -gcflags "-m" флагы менен текшерүүгө болот:

// Escape analysis менен куруу
go build -gcflags "-m" your_package_name

Компилятордун чыгышы кайсы өзгөрмөлөрдүн "escape to heap" экенин көрсөтөт.

Ошентип, өзгөрмөнүн жайгашуусу (stack vs heap) аныкталбайт, ал goroutine ичинде бөлүштүрүлгөндүктөн эмес, Go компилятору анын жашоо цикли жана чектерин кандай талдайтынан көз каранды.