前言goroutine 初始栈很小(≈2KB)但可以自动变大。那它是怎么做到的一、先说结论goroutine 的栈扩容是通过在函数调用前做“栈空间检查”如果不够就调用 runtime 进行扩容。关键机制是stack guard morestack二、goroutine 栈和线程栈的根本不同线程栈创建时一次性分配(例如 1MB)固定大小不会自动扩容goroutine 栈初始 2KB连续内存可以复制到更大的内存块原栈释放本质是不够就“整体搬家”三、栈扩容是如何触发的Go 在每个函数调用前都会插入一段检查代码。类似(伪代码)CMP SP, stackGuard JLS morestack意思是当前栈指针 SP 是否快碰到 guard 线如果栈空间不够跳转到 morestack这就是触发扩容的入口。四、stack guard 是什么每个 goroutine 结构体里有g.stack.lo // 栈底 g.stack.hi // 栈顶 g.stackguardstackguard是一个阈值。当SP stackguard说明栈快用完了。就必须扩容。五、morestack 做了什么这是扩容的核心函数。大致流程① 计算需要多大栈通常策略是新栈大小 旧栈 × 2例如2KB → 4KB → 8KB → 16KB → …指数增长。② 分配一块更大的连续内存在堆上分配新的栈空间。③ 把旧栈内容复制到新栈这是关键步骤。因为 goroutine 栈是“连续栈”所以整块内存直接 memcpy 过去。④ 修正指针复制后要修正栈内的指针frame pointerdefer 链panic 结构GC 元数据因为栈地址变了。⑤ 更新 g.stack把 goroutine 的栈地址更新为新栈。⑥ 继续执行原函数扩容完成后函数继续执行。对程序来说是“透明的”。六、为什么 Go 现在用“连续栈”早期 Go 用的是分段栈(segmented stack)每次不够就链接一个新栈段。像这样[segment1] - [segment2] - [segment3]问题每次函数调用都要检查段边界性能开销大复杂后来改成连续栈 复制扩容好处调用更快栈布局简单GC 更容易扫描这是现代 Go 的设计。七、栈什么时候会缩小扩容是自动的。缩小也会发生但不是立刻。当 goroutine 进入安全点(比如 GC)时如果发现栈用量远小于当前大小runtime 可能会缩小栈但缩小不是频繁操作。八、一个形象类比想象你租了一个 2 平米的小房间。东西放不下了怎么办不是再租一个小房间接起来。而是直接搬去 4 平米的房子。再不够搬去 8 平米。每次整体搬家。九、为什么复制栈不会出问题因为 Go 有两个保证栈内指针可追踪(编译器知道哪些是指针)GC 是精确 GC(精确知道指针位置)所以可以安全更新。十、栈扩容和抢占的关系有个很有意思的点抢占机制也复用了 stack guard。当g.preempt trueruntime 会故意把 stackguard 改成特殊值。让下次函数调用时直接进入 morestack然后在 morestack 里判断哦这是抢占不是扩容。于是进入调度器。这是一种“借道实现”。十一、栈扩容的成本高吗扩容是罕见操作指数增长很少发生很多次例如一个 goroutine 可能一生只扩容 2~3 次。所以总体成本可接受。十二、终极总结goroutine 自动扩容的机制是函数调用前做栈检查 → 不够则调用 morestack → 分配更大连续栈 → 复制旧栈 → 修正指针 → 继续执行核心技术点stack guardmorestack连续栈复制指针修正