许多操作系统都提供了产生(spawn)进程的机制,首先在新的地址空间里创建进程,读入可执行文件,最后开始执行。
Unix采用了与众不同的实现方式,它把上述步骤分解到两个单独的函数中去执行:fork()和exec()。
- fork通过拷贝当前进程创建一个子进程。子进程与父进程区别仅仅在于PID、PPID和某些资源和统计量(例如挂起的信号没有必要被继承)。
- exec()函数负责读取可执行文件并将其载入地址空间开始运行。
把这两个函数组合起来使用和其他系统使用的单一函数效果相似。
(1)写时拷贝
传统的fork()会直接把所有的资源直接复制给新进程。这种实现过于简单并且效率低下,因为拷贝的数据可能不共享,并且大多数情况下新进程都是执行exec(),那么拷贝过来也毫无意义。
写时拷贝技术是一种可以推迟甚至免除拷贝数据的技术。内核并不复制整个进程地址空间,而是让父子进程共享同一个拷贝。只有在需要写入的时候才进行,此前都是以只读方式共享。
fork()的实际开销就是复制父进程的页表(操作系统为每一个进程维护了一个页表)以及给子进程创建唯一的进程描述符。
(2)fork()
函数原型:
#include&l