Как одна горутина может обращаться к переменной из стэка другой горутины?

Question

[Роман Сарваров]

Знающие, объясните.

Представим следующий код:

func main() {
    a := 1

    go func() { println(a) }

    // ...
}

То что тут потенциально может быть data race я понимаю, вопрос не об этом.

Функция main имеет свой стэк, в которой лежит переменная a.
Затем запускается другая горутина и читает значение переменной a и другой горутины (main).

Как это работает под капотом? Разве одна горутина имеет доступ к стэку другой горутины?

Comments

[pfemidi]

А разве переменная в данном случае передаётся не по значению? При передаче по значению на возможное изменение стека как-то положить.

Answer 1

[Роман Сарваров]

Я сделал escape анализ и выяснил, что компилятор умный и предугадывает такие моменты и создает переменную сразу в heap.

Comments

[DollyPapper]

Это не всегда и не обязательно так. Тут дело в том, что стек это непрерывная область памяти к которой имеет доступ весь процесс. Когда создается новая функция, то стек растет и можно обратиться к этой вновь выделенной памяти, т.е. ваша горутина имеет доступ к той памяти которая выделена под стековый фрейм main функции. Но это очевидно не работает в обратную сторону, из main в свою анонимную горутину вы не обратитесь, потому что на момент выполнения main память под ту горутину еще не выделена.