当需要执行一个程序时,操作系统会为其创建一个进程,并分配一个虚拟地址空间。这个虚拟地址空间是进程运行时访问内存的逻辑表示,与实际物理内存并不完全对应。
进程的虚拟内存空间
在我们常用的X86 32位Linux的环境下,Linux系统会给当前进程分配一个2^32(4G)大小的一块空间
进程的虚拟空间分为用户空间和内核空间,分别有3G和1G左右的大小
从上往下看的第一段空间是预留的,不能够访问的。
.text代码段是用来存放指令的,.rodata也是代码段,是用来存储只读代码段的,例如char c = “hello”。
.data和.bss是数据段,.data是专门用来存放已初始化且初始化不为0的数据,.bss是用来存放未初始化或初始化为0的数据
.heap是堆内存,new,malloc都是在堆内存中分配内存的。
当前程序在运行的过程中会加载一些共享库,也就是动态链接库:windows下就是.dll,Linux下就是.so
函数的执行过程中,就会产生一个独有的栈,并且是从高地址向低地址执行的。
以这段代码为例
int gdata1 = 10;
int gdata2 = 0;
int gdata3;
static int gdata4 = 11;
static int gdata5 = 0;
static int gdata6;
int main()
{
int a = 12;
int b = 0;
int c;
static int e = 13;
static int f = 0;
static int g;
return 0;
}
在这段代码中一共有四种定义变量的形式,分别是全局变量,静态全局变量,局部变量,静态变量。
那么他们在进程的虚拟内存空间中是如何分配的呢?
变量的gdata1是全局变量,并且初始值不为0,那么它应该在.data数据段中,gdata2和gdata3一个初始值为0,一个没有赋初值,那么它们应该在.bss数据段中。
三个静态变量和全局静态变量同上。
局部变量a,b,c和静态变量与全局变量就有所区别了,局部变量不会生成符号,他们对应生成的是指令,所以指令是放在.text代码段中的。