1、fork()的经典实现
从示意图可以看出:
- 子进程p2 的代码段由p1 复制而来,但是两个进程的代码段映射到了同一片物理内存空间中。即,父进程与子进程共享同一代码段。
- 子进程p2 的堆、栈、数据段由p1 复制而来,并且映射的物理内存也是不同片的物理内存。即,父进程与子进程的堆、栈、数据段空间各自独立。
上述就是fork() 函数的经典实现
2、fork()优化实现——copy on write 技术
目前的linux操作系统的实现中支持写时复制技术(copy on write,COW),fork函数的实现就运用了写时复制技术。这在一定程度上改进了fork函数的效率。
传统的fork直接把所有资源复制给新建的子进程,这种实现过于简单并且效率低下,因为它拷贝的数据也许并不共享,更糟的情况是,如果新进程打算立即执行一个新的程序(exec),那么所有的拷贝工作都将前功尽弃。
运用写时拷贝技术(copy-on-write),内核只为新生成的子进程创建虚拟空间结构,它们来复制于父进程的虚拟空间结构。但是系统并不为这些段分配物理内存,它们和父进程共享物理内存。即,父子进程的虚拟地址空间是独立的,但是虚拟地址空间映射到同一片物理内存上。
当父子进程中有更改相应段的行为发生时,再为子进程相应的段分配物理空间。也就是说,资源的复制只