关于初始化或者memset与否导致程序Memory Limited Exceeded的问题

今天写了一道AC自动机的题目，MLE到死，算了一下 开的数组空间确实超过了题目所给的范围，但是赛后发现同样大小的数组，其他人就能开的下，这已经很奇怪了，而且明明我和别人开的数组大小相同，我的程序就不能通过测评，返回MLE，于是就上网搜了一下，发现了点东西，下面是以为大佬做的实验：

未初始化全局变量，这名字就很直白，就是 C 程序中定义成全局作用域而又没有初始化的变量，我们知道这种变量在程序运行后是被自动初始化为 全0 的。编译器编译的时候会将这类变量收集起来集中放置到 .bss 段中，这个段只记录了段长，没有实际上的内容（全是0，没必要存储），在程序被装载时操作系统会为它分配等于段长的内存，并全部初始化为0。

　　这有两个 C程序，都定义了全局数组 data（长度为1M，占用内存4MB），一个部分初始化（bss_init1.c），一个未初始化（bss_uninit1.c）：

bss_init1.c：

#include <stdio.h>
#include <windows.h>
 
#define MAXLEN 1024*1024
 
int data[MAXLEN]={1,};
 
int main()
{
    Sleep(-1);
    return 0;
}

bss_uninit1.c：

#include <stdio.h>
#include <windows.h>
 
#define MAXLEN 1024*1024
 
int data[MAXLEN];
 
int main()
{
    Sleep(-1);
    return 0;
}

　　编译以上两个程序后：

　　可以看到有初始化的可执行文件的大小差不多是4MB，而未初始化的只有47KB！这就是 .bss 段有段长，而没有实际内容的表现。用 UltraEdit 打开 bss_init1.exe 可看到文件中大部分是全0（data数组的内容）：

　　但是接下来运行（return 0 之前的 Sleep(-1) 保证了程序暂时不会退出）的时候，却发现 bss_init1.exe 占用的空间明显少于 4MB，这是怎么回事呢？

　　这就涉及程序装载的策略了。早期的操作系统（如：linux 0.01）采用的是一次装载：将可执行文件一次性完整装入内存后再执行程序。不管程序是 1KB 还是 60MB，都要等全部装入内存后才能执行，这显然是不太合理的。

　　而现在的操作系统都是采用延迟装载： 将进程空间映射到可执行文件之后就开始执行了，执行的时候如果发现要读/写的页不在内存中，就根据映射关系去读取进来，然后继续执行应用程序（应该是在页保护异常的处理中实现的）。

　　bss_init1.exe 肯定是被映射了，而程序中又没有对 data 数组进行读/写操作，所以操作系统也就懒得去装入这片内存了。下面修改一下这两个程序：在 Sleep(-1) 前将 data 数组的每个元素赋值为 -1：

1. int i;

2. for(i=0; i<MAXLEN; ++i)

3. data[i] = -1;

　　再运行，它们占用的内存都是 4M 了：

 

回头看我自己的程序，其中我将一个非常大的数组直接全部初始化为0，事实上只需要初始化一部分，然后动态增长使用即可，结果就是这点错误导致MLE，这次又踩到新的坑，吃一堑长一智吧。