linux平台下虚拟内存管理

C程序(进程)的内存布局

#include <stdio.h>

const int a =
10; //全局常量a
int main(void) {
　　const int b =
20; //局部常量b
　　int* pa = (int*)&a;
　　int* pb = (int*)&b;
　　*pa =
30; //可以吗?能成功赋值吗?
　　*pb =
30;
//可以吗?能成功赋值吗?
　　return 0;
}
作为编程新手的我,有时候写程序难免会有种迷糊的感觉,虽然写着代码,但总觉得哪里不自在不通透...像上面的代码,我第一次看到的时候根本没有自信回答出来,我觉着应该有不少编程新人和我一样吧>o<

先从(Linux平台下)虚拟内存管理说起,

　　写C程序时,我们经常会打印一个指针地址,说这个指针指向某某内存地址.可这些地址是真实物理内存地址吗?不是!这些只是虚拟内存地址.

　　当一个C程序调入内存开始执行后,在内存中就会产生一个进程.而在多任务操作系统中每个进程都拥有一片属于自己的内存空间(内存沙盘),这个沙盘就是虚拟地址空间,在32位下是一个4GB的大小的地址块,这些虚拟地址通过页表映射到物理内存.

　　但系统并不会真的一下分配给每一个进程4GB的物理内存空间的映射= =(不现实啊),这4GB只能是说逻辑地址,它会随着进程的真实需要自动扩展映射到物理内存空间,最大到4GB.

　　4GB(地址0-0xFFFFFFFF)其中1GB必须保留给系统内核(这是Linux平台下),也就是说进程自身只能拥有3GB的地址(0-0xC0000000),如图

我自己画的= =:



　　代码区:程序(函数)代码所在,由编译而得到的二进制代码被载入至此.代码区是只读的!有执行权限.代码区一般都从0x08048000地址开始(linux下).值得注意的是,字符串字面值(如"Hello
World")就存储在这个区.

　　数据段和BSS段:合称静态区(全局区),用来存储静态(全局)变量.区别是
前者(数据段)存储的是已初始化的静态(全局)变量,可读写.

后者(BSS段)存储的是未初始化的静态(全局)变量,可读写.

　　堆:自由存储区.不像全局变量和局部变量的生命周期被严格定义,堆区的内存分配和释放是由程序员所控制的.申请方式:C中是malloc函数,C++中是new标识符.

　　栈:由系统自动分配和释放.存储局部(自动)变量.
一般说的堆栈,其实是指 栈!

　　另外,值得注意的是,堆是由低地址向高地址分配空间;栈却是由高地址向低地址分配空间.

下面这段代码进一步说明C程序中各数据的内存布局:

#include <stdio.h>#include <stdlib.h>
int i1 =
10; //静态全局区(data段)
int i2;
//静态全局区(bss段)
static int i3 =
30; //静态全局区(data段)
const int i4 =
40; //代码区!!!
void fun(int i5)
//栈区
{
int i6 =
60; //栈区
static int i7 =
70; //静态全局区(data段)
const int i8 =
80; //栈区!!!
char* str1 =
"ABCDE";
//代码区(字符串常量)
char str2[] =
"ABCDE";
//栈区(字符数组)
int* pi = malloc(sizeof(int));
//堆区
printf("&i5=%p\n", &i5);
printf("&i6=%p\n", &i6);
printf("&i7=%p\n", &i7);
printf("&i8=%p\n", &i8);
printf("str1=%p\n", str1);
printf("str2=%p\n", str2);
printf("pi=%p\n", pi);
free(pi);
}
int main(void)
{
printf("&i1=%p\n", &i1);
printf("&i2=%p\n", &i2);
printf("&i3=%p\n", &i3);
printf("&i4=%p\n", &i4);
fun(50);
return 0;
}

(gcc编译)程序输出:



至此,从地址大小比较可以看出

1)静态(static)全局变量 和
静态(static)局部变量 都在 静态全局区.

2)全局常量i4保存在代码区,而局部常量i8保存在栈区.

所以最上面的问题是,代码区只读,修改全局常量会引发运行时段错误,而局部常量是可以成功赋值修改的.

3)字符串字面值在代码区(所以不可修改),但是字符指针str1在栈区;字符数组str2在栈区(所以可以修改).

最后要说,上述是Linux下的虚拟内存布局顺序,Windows下会有所不同.但是对于C程序中数据应该存储在哪里都是一致的.