1.fork方法的定义
pid_t fork(void) ;
函数返回类型 pid_t 实质是 int 类型,Linux 内核 2.4.0 版本的定义是:
fork 函数会新生成一个进程,调用 fork 函数的进程为父进程,新生成的进程为子进程。
在父进程中返回子进程的 pid,在子进程中返回 0,失败返回-1。
2.父子进程并发运行
入下为fork.c代码:
如下图为运行结果:
/bin/bash的pid = 33977,main的ppid = 33977,可见main父进程是/bin/bash。
我们会发现父子进程会交换打印,并不是先打印完父子进=进程中的一个,很显然,父子进程在并发运行。
3.父子进程逻辑地址与物理地址和写时拷贝
在上图中我们打印了n的地址,发现父进程的n的地址与子进程的n的地址是同一个值,难道父子进程用的是同一个n?答案并非如此。代码中我们也注意父进程的n值我们赋值为7,子进程中的n我们负值为4,父子进程n值不同,显然不是 同一个n。那为什么n的地址值会相同呢?
在计算机基础中我们说了页表的问题。这里n值是逻辑地址,并非我们真实的物理地址。以下内容请先移步到计算机基础,看完再看以下内容。
当我们fork()一个进程的时候,系统会增加一个PCB(进程控制块),将父进程完全复制一份,包括页表(页表包含逻辑页,物理页。这也是为什么父进程的变量值和子进程的变量值的逻辑地址相同的原因),构成现在的子进程。一开始父进程的页表和子进程的页表一样,所有变量的逻辑地址和物理地址都一样,这也意味着真正意义上的共享物理空间。当子进程或者父进程单独对变量进行修改的时候,这时候才会进行真实物理空间的拷贝,再修改,父子进程对这一变量不再实行共享。这就是写时拷贝。