请解释 Go 语言运行时中 goroutine 栈的动态增长与收缩机制，包括扩容和缩容的触发条件、实现方式以及相关的阈值或参数。
考察说明
考察对 Go 运行时栈管理机制的理解，包括扩容与缩容的触发条件和实现细节。
回答思路
- 【回答框架 1】Go 语言的 goroutine 栈初始较小（约 2KB），采用连续栈机制。当栈空间不足时，会触发栈扩容。扩容通过 runtime.morestack 检测，栈增长时通常按倍数扩展（如 2 倍），直到达到最大栈大小（64 位系统默认为 1GB，32 位为 250MB 左右）。扩容涉及将旧栈内容拷贝到新栈，并调整栈指针和相关的指针偏移。
- 【回答框架 2】栈缩容发生在 GC 期间，当栈的使用率低于一定阈值（如 25%）时，会将栈缩小为原来的一半（但不会小于初始大小）。缩容同样需要拷贝栈内容，并处理并发安全问题。
- 【回答框架 3】栈扩容的触发条件包括函数调用深度增加、局部变量分配等导致栈空间不足。Go 编译器会在函数调用处插入检查，运行时通过 morestack 进行扩容。
- 【回答框架 4】栈缩容的主要目的是回收内存资源，因为 goroutine 栈可能因临时需求而增长，但之后不再需要那么大。Go 在 GC 周期中扫描运行时栈并决定是否缩容。
- 【关键点 1】Go 栈扩容是连续栈机制，通过 morestack 检测并按倍数增长。
- 【关键点 2】栈缩容在 GC 时根据利用率（如 25%）触发，缩小为一半且不小于初始值。
- 【关键点 3】扩容和缩容都会涉及栈拷贝和指针调整，需要保证并发安全。
- 【易错点 1】不要把 Go 栈与操作系统线程栈混淆，Go 栈是用户态分配的连续内存。
- 【易错点 2】不要认为栈缩容是立即发生的，它受 GC 周期影响。
- 【易错点 3】不要忽略最大栈大小的限制（64 位下 1GB），否则可能栈溢出。