要着重注意的几点:
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,父子进程是相互独立的:由于子进程完整地复制了父进程的内存空间,因此从内存 空间的角度看他们是相互独立、互不影响的。