Goroutine stack and local variable allocation in Go - Cherie Hsieh

Image Not Showing Possible Reasons

點擊本頁上方的開始用 Markdown 一起寫筆記！
手機版請點選上方按鈕展開議程列表。

Run time stack

以 linux 來說，有分成 kernel stack 和 user stack
之後會著重在 user stack

在執行程式時，user stack 會含有 stackframe
大概含有

有 heap, stack, data, text 等

當產生一個新的 thread 後，會在 user stack 找一塊空間當作 stack

main program 預設的 stack size 是 8K，可修改系統設定去修改
thread 是透過 clone syscall 去設定新的 stack 空間

type stack struct {
    lo uintptr
    hi uintptr
}

type g struct {
    stack stack
}

在 Processor 下有 mcache，mcache 又有 stackcache
從 stackcache 去拿取新的 stack 空間

stackcache 會從 stack pool (全域需加鎖) ，stack pool 又從 mhead 拿

在 GMP model 中的每個 M 會有一個 System stack

根據講者的圖，該 system stack 會對到 C 的 memory layout 中的 stack ?

預設大小也是 8K

當超過常數 StackSmall = 128 byte，才會觸發 stack extension
當超過常數 StackBig = 4096 byte

當直接分配新空間，並複製原本的內容到新空間，會遇到一個問題
因為原本有些變數是指到舊的 stack 空間，直接複製會有問題
go 透過另外一個 map 去解決

答案是: 會

直接失敗