c++ - 将大型堆栈分配数组作为函数参数传递会导致堆栈溢出

Question

使用 setrlimit 调整堆栈大小后，我在堆栈上分配了一个大数组。当这个数组在 main() 中声明，然后作为参数传递给方法时，我收到段错误。当数组在方法内声明为局部变量时，代码运行时不会出现任何段错误。我正在具有 8GB RAM 的 Amdx86-64 Linux 机器上运行代码。

#include <iostream>
#include <sys/resource.h>

using usll = unsigned long long;
void sumArray0();
double sumArray1(double c[], usll dim); 

int main(int argc, char* argv[])
{
    const rlim_t stackSize = 3 * 1024UL * 1024UL * 1024UL;
    struct rlimit rl;
    int result;

    printf("The required value of stackSize is %lu\n", stackSize);  
    result = getrlimit(RLIMIT_STACK, &rl);

    if (result == 0)
    {
        if (rl.rlim_cur < stackSize)
        {
            rl.rlim_cur = stackSize;
            result = setrlimit(RLIMIT_STACK, &rl);

            if (result != 0)
            {
                fprintf(stderr, "setrlimit returned result = %d\n", result);
            }
            else
            {
                printf("The new value of stackSize is %lu\n", rl.rlim_cur);
            }
        }
    }

    // // This seg faults
    // const usll DIM = 20000UL * 18750UL;  
    // double c[DIM];

    // for (usll i{}; i<DIM; ++i)
    // {
    //     c[i] = 5.0e-6;
    // }
    // double total = sumArray1(c, DIM); // Seg fault occurs here

    sumArray0(); // This works

    std::cout << "Press enter to continue";
    std::cin.get();

    return 0;
}

void sumArray0()
{
    double total{};
    const usll DIM = 20000UL * 18750UL; 
    double c[DIM];

    for (usll i{}; i<DIM; ++i)
    {
        c[i] = 5.0e-6;
    }

    for (usll i{}; i<DIM; ++i)
    {
        total += c[i];
    }

    std::cout << "Sum of the elements of the vector is " << total << std::endl;
}

double sumArray1(double c[], usll dim)
{
    double total{};

    for (usll i{}; i<dim; ++i)
    {
        total += c[i];
    }

    return total;
}

我的问题是:
为什么我在第一种情况下会出现 stackoverflow？
是因为调用方法 sumArray1() 时请求了新的内存块吗？
当作为参数传递给方法时，数组不是通过指针访问的吗？

正如此处推荐的，Giant arrays causing stack overflows ，我总是使用 std::vector 并且从不在堆栈上分配大数组以防止出现上述问题。如果有人知道可以使 sumArray1() 调用正常工作的任何调整、技巧或解决方法，我将非常感激。

Answer 1

所以在我看来，您正在编译时没有启用优化，因为否则 main 中的数组将被完全优化，因为用它完成的计算永远不会以任何可观察的方式使用。 (这确实对任何事情都不好。即使出于调试目的，您也应该使用 -Og。)

在评论中您提到您正在使用 -fPIC 标志进行编译。这可以防止 gcc 内联 sumArray1 调用，从而无论优化标志如何，都无法对数组进行优化。您可能应该使用 -fpie (这可能已经是默认值)作为可执行文件，而不是 -fPIC，后者适用于共享库，并且会带来这些性能损失，请参阅还有here和 here .

如果是这种情况，那么回答你的问题:问题不在于传递给函数。问题在于，堆栈空间是在进入函数时分配的，因此是在设置限制之前分配的。

现在，这里的“分配”仅意味着修改堆栈指针，但很可能在设置限制之前，main 访问此堆栈帧中的任何位置。特别是，编译器可以根据需要重新排序堆栈帧中变量的位置，或者可能根据您的编译器设置等添加堆栈保护。

在设置限制之前进行任何此类访问都会导致段错误。

请注意，编译器也可以自由内联函数。因此，如果编译器决定内联该函数调用，即使在 sumArray0 中执行操作也可能会给您带来麻烦，因为这样该数组将成为 main 堆栈框架的一部分与上面讨论的问题相同。

编译器可能会认识到内联具有大堆栈帧的函数存在潜在危险，因此不会这样做，但您需要在编译器文档中检查这一点。

无论如何，编译器和操作系统都不希望程序使用大的堆栈帧。那不是他们的目的。堆/空闲存储专门用于处理比通常堆栈帧更大的内存分配。通常最好的做法是启用大型堆栈帧的警告并注意它们。