连续栈这个概念是go 1.3版本引入的，它能通过动态调整栈空间的大小，解决传统固定栈或分段栈的缺陷。

栈在go语言里面的演变

栈（Stack）是一种个遵循“后进先出”（当为在木桶里面装馕饼吃）原则的线性数据结构，主要来存储函数调用时的局部变量、参数和返回地址等信息。在传统编程语言中，栈通常被分配为固定大小的内存块，如果我们的程序递归过深或者是说局部变量过多，则可能导致栈溢出 （Stack Overflow）。为解决这一问题，Go语言早期采用分段栈 （Segmented Stacks）方案——每个goroutine初始分配8KB栈空间，当栈不足时通过链表扩展新的栈片段。然而，这种方案存在内存碎片化和频繁链表跳转的性能损耗。从Go 1.3起，Go引入了连续栈机制，通过动态迁移栈内容实现无缝扩容。

核心机制

边界检测与溢出检测

每个goroutine的结构体中维护着两个关键字段：stackbase（栈底地址）还有 stackguard（栈保护边界）。在函数调用的入口，编译器会插入汇编指令（如CMPQ SP, g_stackguard），把当前栈指针（SP）和stackguard比较。假设SP低于stackguard，那么触发了栈溢出检测。例如，以下伪代码展示了这一逻辑：

1
2
3
4
// 函数调用时的栈检查（伪代码）
if SP < g.stackguard {
    runtime.morestack()
}

扩容与缩容

  • 扩容流程 ：检测到栈溢出的时候，运行时会分配一块原栈两倍大小的新栈（例如从xKB扩展到2xKB），然后再把旧栈里面的数据完整复制到新栈里面去。然后，去更新goroutine的stackbase和stackguard让他俩指向新栈，最后跳转回原函数继续执行。

  • 缩容机制 ：如果说一个goroutine长时间未使用大栈空间，运行时会在垃圾回收（GC）时检测空闲栈内存，并且把栈大小缩减至合理阈值（如恢复到xKB），来减少内存占用。

栈迁移与指针调整

栈在扩容时，运行时需确保所有指向旧栈的指针依然可用。Go通过逃逸分析 （Escape Analysis）追踪栈上的变量的生命周期，然后在迁移的时候更新所有活跃的指针的地址。这个过程需要依赖编译器的元数据记录变量在栈里面的偏移量。

好在哪里

  • 内存高效利用 ：避免了分段栈的碎片化问题，栈空间按需分配而且是连续的，大大的提升内存利用率

  • 性能优化 ：比起分段栈的链表跳转的话，连续栈迁移后函数调用无需额外跳转直接调用，降低间接寻址开销

  • 安全性增强 ：栈保护边界（stackguard）还有硬件页的保护机制结合，能及时捕获栈溢出漏洞

坏在哪里

没有缺点！

  • 扩容成本 ：栈复制依然需要消耗时间，特别是在频繁扩容场景下可能影响性能。所以，Go运行时通过预分配策略 （如初始栈大小设为2KB而非8KB）来减少扩容次数

  • 指针调整复杂度 ：栈迁移需精确更新所有的活跃的指针，这对编译器和运行时的协同提出了更高要求