C 函数中堆栈的大小是多少？

Question

更准确地说，给定以下代码

int funct(int n){
    int arr[n]; //suppose no optimization takes place
    return;
}

是否有一个最大 n，这样更大的 n 将进入另一个进程的空间？

有没有办法知道和修改专用于当前进程的堆栈大小（在运行时和/或编译时）？

Answer 1

是否有一个最大 n，这样更大的 n 将进入另一个进程的空间？

除了在没有 MMU 的微型微控制器中的实现（在那里你可能没有一个带有进程概念的操作系统），不存在这样的 n，因为进程生活在完全不同的地址空间中。

然而，存在如此大的值，以至于堆栈指针将被调整以与同一进程中的不相关内存一致。 在发现许多软件容易受到攻击后，2017 年它以“堆栈冲突”的名义重新流行起来。 并不是说 n 有一定的限制，低于这个限制是安全的，高于这个限制你会破坏不相关的内存。 几乎可以肯定，有一个或多个保护页面会在它们之间发生故障，而冲突需要一个更大的 n，为您想要命中的特定地址而设计，“跳过”它们。

有没有办法知道和修改专用于当前进程的堆栈大小（在运行时和/或编译时）？

您绝对不能在运行时更改它，因为堆栈是连续的（假设您没有使用带有“拆分堆栈”的实现，它有自己的大量问题，并且您想要将其扩展到的地址空间可能已经是分配给您进程中的某些内容。您可以在链接时更改它，例如-Wl,-z,stack-size=nnnnnnn在带有 ELF 目标的 GCC/binutils 上，但操作系统可能实际上并不尊重它。我相信 Windows工具确实有一种方法来设置它，但很荣幸。

然而，正确的答案是不要这样做！ 不要制作大型或无界的可变长度数组。 如果您需要那么多存储空间，与您正在执行的任何操作相比，调用malloc的成本微乎其微，然后您实际上会知道它是否成功而不会使您的程序崩溃或引入一个巨大的漏洞。