为什么在make(int, 14)中出现了runtime.morestack，而在make(int, 13)中却没有？

Golang小白一枚，正在不断学习积累知识，现将学习到的知识记录一下，也是将我的所得分享给大家！而今天这篇文章《为什么在make(int, 14)中出现了runtime.morestack，而在make(int, 13)中却没有？》带大家来了解一下##content_title##，希望对大家的知识积累有所帮助，从而弥补自己的不足，助力实战开发！

我已经知道 runtime.morestack 会导致 goroutine 上下文切换（如果 sysmon goroutine 已将其标记为“必须切换”）。

当我围绕这个进行一些实验时，我发现了一个有趣的事实。

比较以下代码。

func main() {
    _ = make([]int, 13)
}

func main() {
    _ = make([]int, 14)
}

并通过运行以下命令来编译它们：（在 go1.9 和 go 1.11 中尝试过）

$ go build -gcflags "-S -l -N" x.go

您可能会发现一个主要区别，第一个输出包含 call runtime.morestack_noctxt(sb)，而第二个输出则不包含。

我猜这是一种优化，但为什么呢？

解决方案

终于，我得到了答案。

• 创建小于 65,536 字节且未从 func 转义的切片将在堆栈中分配，而不是在堆中。

• StackGuard0 将比堆栈最低地址高至少 128 个字节。 （即使在缩小规模之后）

• make([]int, 13)总共会分配128字节内存。

所以答案很明确，这是对 amd64 的优化。

对于叶子函数，如果它使用的内存少于 128 字节，编译器不会生成检查堆栈是否溢出的代码（因为有足够的空间）。

这里是go/src/runtime/stack.go中的解释

今天关于《为什么在make(int, 14)中出现了runtime.morestack，而在make(int, 13)中却没有？》的内容介绍就到此结束，如果有什么疑问或者建议，可以在golang学习网公众号下多多回复交流；文中若有不正之处，也希望回复留言以告知！