Escape analysis: стек или куча

Две судьбы одной переменной

Когда ты пишешь x:= 42, компилятор решает, где будет жить x — на стеке или в куче. От этого решения корректность программы не зависит, только скорость: аллокация в куче означает работу сборщика мусора, а стековая переменная просто исчезает вместе с кадром функции.

Решение принимает escape analysis — статический анализ, который компилятор выполняет при сборке. Название передаёт суть: значение «сбегает» (escapes) в кучу, если компилятор не может доказать, что оно не переживёт функцию, в которой создано.

Что на кону

Переменная на стеке не требует аллокации в привычном смысле: компилятор резервирует под неё место в кадре функции, при возврате кадр выбрасывается целиком. Быстро, и GC про неё не знает. Переменная в куче — это runtime.mallocgc, учёт в GC, а при каждой сборке — сканирование и пометка. Одна лишняя аллокация на запрос — мелочь, но на сервере под нагрузкой такие мелочи складываются в проценты процессорного времени.

Консервативность

Escape analysis консервативен: если компилятор не уверен, он отправляет значение в кучу. Ошибка в сторону стека обернулась бы висячим указателем, поэтому анализ ошибается только в сторону лишней кучи. Это не гарантия языка, а оптимизация: спецификация не обещает, что какое-то значение окажется на стеке.