Go 为什么没有 stackoverflows

Question

我在本演示文稿 http://golang.org/doc/ExpressivenessOfGo.pdf 第 42 页中读到：

安全

- 没有堆栈溢出

这怎么可能？和/或 Go 如何避免这种情况？

Answer 1

这是一个称为“分段堆栈”的功能：每个 goroutine 都有自己的堆栈，分配在堆上。

在最简单的情况下，编程语言实现在每个进程/地址空间使用一个堆栈，通常使用名为 push 和 pop （或类似的东西）的特殊处理器指令进行管理并实现作为从固定地址（通常是虚拟内存的顶部）开始的堆栈帧的动态数组。

这（或曾经）很快，但并不是特别安全。当大量代码在同一地址空间（线程）中同时执行时，它会引起麻烦。现在每个人都需要自己的堆栈。但是，所有堆栈（也许除了一个堆栈）都必须是固定大小的，以免它们彼此重叠或与堆重叠。

然而，任何使用堆栈的编程语言都可以通过以不同的方式管理堆栈来实现：通过使用列表数据结构或类似的数据结构来保存堆栈帧，但实际上是在堆上分配的。在堆被填满之前不会发生堆栈溢出。

Answer 2

它使用分段堆栈。这基本上意味着它使用链表而不是固定大小的数组作为堆栈。当空间不足时，堆栈就会变大一点。

编辑：

这里有一些更多信息： http://golang.org/doc/go_faq.html#goroutines

这之所以如此伟大，并不是因为它永远不会溢出（这是一个很好的副作用），而是因为您可以创建内存占用非常小的线程，这意味着您可以拥有很多线程。

Answer 3

我不认为他们可以“完全”避免堆栈溢出。它们提供了一种方法来防止最典型的编程相关错误产生堆栈溢出。

当内存耗尽时，无法防止堆栈溢出。

Answer 4

即使 C 也可以做到这一点，但有一些基本上影响编译器的约束。

这是令人印象深刻的工程壮举，但不是语言设计的壮举。

Answer 5

我认为他们在这里指的是对数组的访问总是根据数组的实际长度进行检查，从而禁用 C 程序意外崩溃或恶意崩溃的最常见方式之一。

例如：

package main

func main() {
    var a [10]int

    for i:= 0; i < 100; i++ {
        a[i] = i
    }
}

当它尝试更新数组中不存在的第 11 个元素时，会发生运行时错误panic。 C 会在堆上乱写乱画，并且可能也会以不受控制的方式崩溃。每个数组都知道它的长度。在某些情况下，如果编译器可以证明不需要检查，那么编译器还有空间优化检查。 （或者一个足够聪明的编译器也许可以静态地检测这个函数中的问题。）

许多其他答案都在谈论堆栈的内存布局，但这实际上并不相关：您也可能遭受堆溢出攻击。

基本上，Go 的指针应该始终是类型安全的，无论是数组还是其他类型，除非您专门使用 unsafe 包。