内存空间示意图
进程是在内存中运行的，为了便于管理，不同的数据会存储在不同的区域，因此内存就被分为几部分，如下图所示：
而这些区域都存什么东西呢？我们有下面一段程序：
#include<stdio.h> 2 #include<stdlib.h> 3 4 int un_g_val; 5 int g_val = 2; 6 7 8 int main(int argc, char* argv[], char* env[]) 9 { 10 printf("adress: %p\n",main); 11 printf("init: %p\n",&g_val); 12 printf("uninit: %p\n",&un_g_val); 13 char *p1 = (char*)malloc(10); 14 char *p2 = (char*)malloc(10); 15 char *p3 = (char*)malloc(10); 16 17 printf("heap_p1: %p\n",p1); // 堆地址 18 printf("heap_p2: %p\n",p2); 19 printf("heap_p3: %p\n",p3); 20 printf("stack_p1: %p\n",&p1); //栈地址 21 printf("stack_p2: %p\n",&p2); 22 printf("stack_p3: %p\n",&p3); 23 24 int i = 0; 25 for(i=0;i<argc;i++) 26 { 27 printf("argv[%d]:%p\n",i,argv[i]); 28 } 29 30 for(i=0;env[i];i++) 31 { 32 printf("env[%d]:%p\n",i,env[i]); 33 } 34 return 0; }
这个程序打印了各种变量的地址，印证了地址空间是确实存在的！
我们再看这个代码能编过吗？
11 //常量 12 "hello world"; 13 50; 14 'xxxx;
可以编译过，并且该东西是字符常量它会硬编码进代码（因为代码也不可更改），所以字符常量会在代码区。
虚拟地址空间
看下面一段代码：该程序创建了一个子线程，共享父进程的全局变量，子进程会更改全局变量。
1 #include<stdio.h> 2 #include<stdlib.h> 3 #include<unistd.h> 4 int g_val = 2; 5 6 7 int main() 8 { 9 pid_t id = fork(); 10 11 if(id == 0) 12 { 13 //child 14 int cnt = 0; 15 while(1) 16 { 17 printf("I am a child, pid_id:%d, ppid_id:%d , g_val:%d, &g_val:%p\n",getpid(),getppid(), g_val,&g_val); 18 19 sleep(1); 20 cnt++; 21 if(cnt==5) 22 { 23 g_val = 200; 24 printf("child chamge g_val 2 -> 200 success\n"); 25 } 26 } 27 } 28 else 29 { 30 //father 31 while(1) 32 { 33 sleep(1); 34 printf("I am a father, pid_id:%d, ppid_id:%d , g_val:%d, &g_val:%p\n",getpid(),getppid(), g_val,&g_val); 35 } 36 }
I am a child, pid_id:20414, ppid_id:20413 , g_val:2, &g_val:0x60105c I am a father, pid_id:20413, ppid_id:18692 , g_val:2, &g_val:0x60105c child chamge g_val 2 -> 200 success I am a child, pid_id:20414, ppid_id:20413 , g_val:200, &g_val:0x60105c I am a father, pid_id:20413, ppid_id:18692 , g_val:2, &g_val:0x60105c
我们从运行的结果可以看出来，子进程修改全局变量后，子进程的值改变，父进程的值没变，但是全局变量的地址空间一样！！！
为什么会产生这种情况呢？？
我们大胆猜测，程序打印的地址，一定不是物理地址，因为同一地址不可能存储两个不一样的值 。因为打印出来的是虚拟地址！！！
虚拟地址
每一个程序都有自己的虚拟地址空间，就像PCB一样，每一个程序都有一个属于自己的虚拟地址空间，记录着各种数据的位置，供操作系统使用。
如下图所示：代码在准备执行时，会编译成可执行程序，此时程序里面，即代码与代码是有地址的（这个地址就是虚拟地址），程序被加载到内存后：
- 首先系统会创建PCB
- PCB会有一个指针，指向程序虚拟内存
- 根据虚拟内存的地址所对应的物理内存地址，填充页表，完成映射。
页表 ：页表的作用就是完成虚拟地址到物理地址的转换
下图是解释上面代码例子的虚拟空间问题：子进程创建后，获得父进程一模一样的地址空间，当触发写时拷贝时，才复制资源。这样会节省空间。
进程地址空间生命周期图解
- 程序被读进内存的过程
程序执行的流程
为什么要有地址空间呢？
1.为了保护物理内存，页表将各个进程隔离起来了。因为地址空间和页表是OS创建并且维护的，意味着想要使用地址空间和页表映射，必须在OS的监管之下进行访问。因此保证了进程之间的独立性，互不影响。
2.因为有地址空间和页表的存在，OS可以实现，对未来的数据进行任意位置的加载，只需根据页表即可找找到杂乱无章的数据。这样物理内存的分配和进程的管理就可以分开进行管理。内存管理模块和进程管理模块就完成了解耦合。
3.如果我申请了物理空间，但是我不立马使用，我会造成空间的浪费！但是如果我在虚拟空间上申请，当我没使用时，也没有为我开物理空间 。当我使用时，OS才帮我开辟空间，这样可以保证内存的使用率是100%。
4.物理内存上的数据理论上可以在任意位置加载，这会导致物理内存上的所有数据都是乱序的。但是有VA+页表的存在，我们可以方便的直接找到各种数据，在进程的视角，数据是那么的竟然有序！因此，可以将内存分布有序化！
小结
OS的系统是深而庞杂的，此文章只是浅显的谈论了以下内存空间的概念及其分布。更详细的内容，还请读者自行查阅。
