目录
1.回顾一下以前学过的有关内存分布的知识
需要注意的就是:栈区向下增长,堆区向上增长。黄色标识的是1G内核空间不需要我们了解,剩下的是3G用户空间。
具体堆栈全局之间的区别就不细说了,重点不在这。
2.关于Linux下的奇怪现象
1.先看看下面代码:
结果符合我们预期,同一个数据对应相同的地址。(fork函数的作用是创建一个子进程,不展开说了)
2.对以上代码进行一点改动
这个结果就完全超出了我们的预期。虽然进程具有独立性,这可以解释子进程和父进程的val值不同。但为什么相同的地址位置存的相同的数据值大小不同呢?
3.地址空间 虚拟地址 物理地址
1.我们感到疑惑的根本原因是:我们认为进程数据直接存储在物理内存中,实际上这种方式是绝对不被允许的。其中一种原因是:因为内存是可以随时读写的,那么不同进程会互相干扰,容易造成野指针问题。
2.实际我们看见的相同的地址指的是虚拟地址,为了解决上述问题。操作系统通过页表(内存管理单元)将存在虚拟内存的进程有关数据的地址映射到物理内存。
但这不足以解决第二部分中的问题,我们先从头想想程序的执行过程。fork后产生了两个进程,子进程实际上就是和父进程共享代码和数据。所以可以看见父子进程的val的值和地址(虚拟)都相同。但紧接着子进程修改了val的值,这时,其实发生了写时拷贝,之前为了提高效率,父子进程的val地址相同。当子进程对val写入时,操作系统就通过子进程所对应的页表将子进程的val映射到了与父进程val不同物理地址。
这就是为什么看起来地址相同(虚拟),但是值大小不同。