进程内存布局
每个进程所分配的内存由很多部分组成,通常称之为"段"。
- 文本段包含了进程运行的程序机器语言指令。文本段具有只读属性,以防止进程通过错误指针意外修改自身指令。因为多个进程可同时运行同一程序,所以又将文本段设为可共享,这样,一份程序代码的拷贝可以映射到所有这些进程的虚拟地址空间中。
- 初始化数据段包含显式初始化的全局变量和静态变量。当程序加载到内存时,从可执行文件中读取这些变量的值。
- 未初始化数据段包含了未进行显式初始化的全局变量和静态变量。程序启动之前,系统将本段内所有内存初始化为0。出于历史原因,此段常被称为BSS段。将经过初始化的全局变量和静态变量与未经初始化的全局变量和静态变量分开存放,其主要原因在于程序在磁盘上存储时,没有必要为未经初始化的变量分配存储空间。相反,可执行文件只需记录未初始化数据段的位置以及所需大小,直到运行时再由程序加载器来分配这一空间。
- 栈是一个动态增长和收缩的段,由栈帧组成。系统会为每个当前调用的函数分配一个栈帧。栈帧中存储了函数的局部变量(所谓自动变量),实参和返回值。
- 堆是可在运行时动态进行内存分配的一块区域。堆顶端称为
program break
。
下面的程序展示了不同类型的C语言变量,并注释说明每种变量分属于哪个段。
#include <stdio.h>
#include <stdlib.h>
char globBuf[65536]; //Uninitialized data segment
int primes[] = { 2,3,5,7 }; //Initialized data segment
static int square(int x) //Allocated in frame for square()
{
int result; //Allocated in frame for square()
result = x * x;
return result; //Return value passed via register
}
static void doCalc(int val) //Allocated in frame for doCalc()
{
printf("The square of %d is %d\n", val, square(val));
if(val < 1000)
{
int t; //Allocated in frame for doCalc()
t = val * val * val;
printf("The cube of %d is %d\n", val, t);
}
}
int main(int argc, char* argv[]) //Allocated in frame for main()
{
static int key = 9973; //Initialized data segment
static char mbuf[10240000]; //Uninitialized data segment
char* p;
p = malloc(1024); //points to memory in heap segment
doCalc(key);
exit(EXIT_SUCCESS);
}