Linux并发（进程裂变）

进程的分裂跟细胞的分裂几乎一致，一个进程通过fork函数来自我复制，新出现的子进程拥有跟父进程几乎一样的外表和内在。

 

拓展：

这个fork()函数接口本身非常简单，简单到连参数都没有，但是这个函数有个非常与众不同的地方：他会使得进程一分为二！就像细胞分裂一样：

 

图5-3 细胞分裂

 

当一个进程调用fork( )成功后，fork( )将分别返回到两个进程之中，换句话说，fork( )在父子两个进程中都会返回，而他们所得到的返回值也不一样，看下图：

 

图5-4 创建子进程的过程示意图

 

要着重注意的几点：

1，fork( )会使得进程本身被复制（想想细胞分裂），因此被创建出来的子进程和父进程几乎是一模一样的，说“几乎”意味着子进程并不是100%为一份父进程的复印件，他们的具体关系如下：

父子进程的以下属性在创建之初完全一样，子进程相当于搞了一份复制品：

A) 实际UID和GID，以及有效UID和GID。

B) 所有环境变量。

C) 进程组ID和会话ID。

D) 当前工作路径。除非用chdir()加以修改

E) 打开的文件。

F) 信号响应函数。

G) 整个内存空间，包括栈、堆、数据段、代码段、标准IO的缓冲区等等。

 

而以下属性，父子进程是不一样的：

A) 进程号PID。PID是身份证号码，哪怕亲如父子，也要区分开。

B) 记录锁。父进程对某文件加了把锁，子进程不会继承这把锁。

C) 挂起的信号。这些信号是所谓的“悬而未决”的信号，等待着进程的响应，子进程也不会继承这些信号。

 

2，子进程会从fork( )返回值后的下一条逻辑语句开始运行。这样就避免了不断调用fork( )而产生无限子孙的悖论。

3，父子进程是相互平等的：他们的执行次序是随机的，或者说他们是并发运行的，除非使用特殊机制来同步他们，否则你不能判断他们的运行究竟谁先谁后。

4，父子进程是相互独立的：由于子进程完整地复制了父进程的内存空间，因此从内存空间的角度看他们是相互独立、互不影响的。