问题
我正在尝试在 C/C 中宣告一个大型 2D 阵列（又名矩阵），但它仅在 Linux 上因段错误而崩溃。Linux 系统安装的 RAM 比 macOS 笔记本计算机多得多，但它只会在 Linux 系统上崩溃。
我的问题是：为什么这只会在 Linux 上崩溃，而不是在 macOS 上？
这是一个重现该问题的小程序：
// C program to segfault on linux
#include <iostream>
#include <stdlib.h>
using namespace std;
int main()
{
cout << "Let's crash for no raisin! ??" << endl;
cout << "Int size: " << sizeof(int) << endl;
for (int n=1012; n < 2000; n ) {
cout << "Declaring Matrix2D of size: " << n << "x" << n << " = " << n*n << endl;
cout << "Bytes: " << n*n*sizeof(int) << endl;
// segfault on my machine at 1448x1448 = 8386816 bytes
int Matrix2D[n][n];
// these two lines can be commented out and the program still reaches segfault
// int* pM2D = (int*)malloc(n*n*sizeof(int));
// free(pM2D);
}
return 0;
}
编译： g -Wall -g -o segfault segfault.cpp
输出
Linux
Linux 系统安装了 64 GiB RAM！
$ ./segfault ; free --bytes
Let's crash for no raisin! ??
Int size: 4
[...SNIP...]
Declaring Matrix2D of size: 1446x1446 = 2090916
Bytes: 8363664
Declaring Matrix2D of size: 1447x1447 = 2093809
Bytes: 8375236
Declaring Matrix2D of size: 1448x1448 = 2096704
Bytes: 8386816
Segmentation fault (core dumped)
total used free shared buff/cache available
Mem: 67400994816 11200716800 4125982720 412532736 52074295296 55054041088
Swap: 1023406080 824442880 198963200
$ ulimit -a
core file size (blocks, -c) 0
data seg size (kbytes, -d) unlimited
scheduling priority (-e) 0
file size (blocks, -f) unlimited
pending signals (-i) 256763
max locked memory (kbytes, -l) 65536
max memory size (kbytes, -m) unlimited
open files (-n) 65535
pipe size (512 bytes, -p) 8
POSIX message queues (bytes, -q) 819200
real-time priority (-r) 0
stack size (kbytes, -s) 8192
cpu time (seconds, -t) unlimited
max user processes (-u) 256763
virtual memory (kbytes, -v) unlimited
file locks (-x) unlimited
苹果系统
macOS 系统只安装了 16 GB RAM！??
$ ./segfault ; sysctl -a | grep mem ;
Let's crash for no raisin! ??
Int size: 4
[...SNIP...]
Declaring Matrix2D of size: 1997x1997 = 3988009
Bytes: 15952036
Declaring Matrix2D of size: 1998x1998 = 3992004
Bytes: 15968016
Declaring Matrix2D of size: 1999x1999 = 3996001
Bytes: 15984004
kern.dtrace.buffer_memory_maxsize: 5726623061
kern.dtrace.buffer_memory_inuse: 0
kern.memorystatus_sysprocs_idle_delay_time: 10
kern.memorystatus_apps_idle_delay_time: 10
kern.memorystatus_purge_on_warning: 2
kern.memorystatus_purge_on_urgent: 5
kern.memorystatus_purge_on_critical: 8
vm.memory_pressure: 0
hw.memsize: 17179869184
machdep.memmap.Conventional: 17077571584
machdep.memmap.RuntimeServices: 524288
machdep.memmap.ACPIReclaim: 188416
machdep.memmap.ACPINVS: 294912
machdep.memmap.PalCode: 0
machdep.memmap.Reserved: 84250624
machdep.memmap.Unusable: 0
machdep.memmap.Other: 0
$ ulimit -a
core file size (blocks, -c) 0
data seg size (kbytes, -d) unlimited
file size (blocks, -f) unlimited
max locked memory (kbytes, -l) unlimited
max memory size (kbytes, -m) unlimited
open files (-n) 256
pipe size (512 bytes, -p) 1
stack size (kbytes, -s) 65532
cpu time (seconds, -t) unlimited
max user processes (-u) 2784
virtual memory (kbytes, -v) unlimited
uj5u.com热心网友回复：
尽管 ISO C 不支持可变长度阵列，但您似乎正在使用支持它们作为扩展的编译器。
在行
int Matrix2D[n][n];
n可以有一个高达2000. 这意味着二维阵列可以有2000*2000元素，等于 400 万。每个元素的大小为sizeof(int)，4在 linux上是字节。这意味着您在堆栈上总共分配了 16 兆字节。这超出了堆栈的限制，导致堆栈溢位。
它在 MacOS 上没有崩溃的原因可能是堆栈配置为更高的最大限制，或者可能是您的程序没有崩溃，因为可变长度阵列的实作方式不同，因此程序没有接触 2D阵列，或者它可能正在接触 2D 阵列，但只能以不会导致崩溃的方式。这些是编译器的实作细节。
计算机上实际安装的存储器量无关紧要。重要的是作业系统中配置的最大堆栈限制。
如果您想使用比堆栈上允许的更大的存储器量，您应该使用堆来代替。在这种情况下，您应该使用std::make_unique,operator new或来分配存储器std::malloc。您还可以使用大多数 STL 容器，例如std::vector，即使您在堆栈上创建实际容器，它也会自动将其内容存盘在堆上。但是，请注意某些 STL 容器不会，例如std::array.
0 评论