标签：一个 fork 代码段 条目 物理内存 物理 地址 多个 保留
共享区域与私有区域
每个进程都有自己的私有虚拟地址空间，避免了受到其他进程的错误读写。但是，通常的c程序几乎都使用到标准库函数，例如printf或者scanf，如果每个进程都要为这些常用库函数在物理内存保留一份拷贝，这样对内存就非常浪费了。
为了解决上述问题，可以将常用库函数设定为共享对象，共享对象在物理内存上只有一份拷贝，多个进程可以把自身虚拟内存的一个区域映射到该共享对象上，这些区域就叫共享区域，如果一个进程在自己的共享区域进行写操作，在其他进程的共享区域内能看到相应的改变，并且这种改变也会反映到磁盘上。
除了共享对象，还存在私有对象，一个进程可以将自身虚拟内存的一个区域映射到私有对象上，该区域就叫私有区域，对私有区域做出改变，对于其他进程来说是不可见的，而且对这种改变不会反映到磁盘上。
写时拷贝
私有对象使用写时拷贝被映射到虚拟内存上。私有对象开始时的存在方式基本和共享对象一样，即私有对象在物理内存上只有一份拷贝，多个进程将自己虚拟内存的一个区域（这些区域的地址范围不必相同）映射到私有对象上，各进程对应私有对象的页表条目也被标记为只读，并且区域结构被标记为私有的写时拷贝。各进程共享在物理内存上的私有对象，但如果一个进程修改了私有区域的某一页，会触发一个保护故障，内核的故障处理程序就会为这个页面创建一份新的拷贝，并更新页表条目指向这个新的拷贝，然后恢复这个页面的写权限。当故障处理程序返回时，cpu在新创建的页面上重新执行这个写操作。
fork和execve
父进程调用fork创建子进程时，内核为子进程分配一个唯一的pid，并拷贝了父进程的mm_struct，区域结构（vm_area_struct）以及页表，将父子进程每个页面设置为只读，区域结构设置为私有的写时拷贝。fork返回会，子进程就具有了和父进程相同的虚拟地址空间。当其中一个进程对自己的虚拟内存进行写操作时，写时拷贝机制就会为该进程创建新页面。
假设子进程接着执行execve("a.out",NULL,NULL)，该函数会加载并运行可执行目标文件a.out中的程序，用a.out程序去替代子进程，加载的过程如下：
1）删除子进程虚拟内存用户部分的区域结构。
2）为a.out程序的代码段，数据段，堆栈区域创建新的区域结构，区域结构被设置为私有的写时拷贝。
3）如果a.out与共享对象链接，则这些对象都是动态链接到这个程序的，然后映射到虚拟内存的共享区域。
4）execve设置程序计数器PC，使其指向代码段的入口点。
标签：一个 fork 代码段 条目 物理内存 物理 地址 多个 保留
原文地址：http://www.cnblogs.com/zhangliscut/p/7459214.html
