简介
程序每次执行时，操作系统都会创建一个新进程来运行程序指令。进程中可调用os.fork,要求操作系统新建一个子进程.[Windowsc系统中，os模块没有os.fork函数]。
每个进程都有一个不重复的进程ID号。或称pid，它对进程进行标识。子进程与父进程完全相同，子进程从父进程继承了多个值的拷贝。如全局变量和环境变量。fork后，子进程接收返回值0，而父进程接收子进程的pid作为返回值
os.fork()
Fork a child process. Return 0 in the child and the child’s process id in the parent. If an error occurs OSError is raised.
Note that some platforms including FreeBSD <= 6.3 and Cygwin have known issues when using fork() from a thread.
Availability: Unix > 仅支持基于Unix核心的系统
（一）fork函数在子进程中返回0，在父进程中返回子进程的id：
-
os.getpid() 返回进程pid
-
os.getppid() 返回父进程pid
# -*-coding:utf-8-*- import os import time print('before calling') p = os.fork() # 主进程，子进程同时向下执行 print('after calling') if p == 0: print('执行子进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) else: print('执行主进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p))
[root@192 ~]# python fork.py
before calling
after calling
执行主进程, pid=1629 ppid=1572 p=1630
after calling
执行子进程, pid=1630 ppid=1629 p=0
结论:调用os.fork()之后，主进程和子进程同时执行该行以下的代码，子进程中fork函数返回0，父进程中返回1630，即子进程的pid.
再看下面的代码结果:
# -*-coding:utf-8-*- import os import time print('before calling') p = os.fork() # 主进程，子进程同时向下执行 print('after calling') if p == 0: print('执行子进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) time.sleep(1) print('执行子进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) else: print('执行主进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p))
[root@192 ~]# python fork.py
before calling
after calling
执行主进程, pid=1648 ppid=1572 p=1649
after calling
执行子进程, pid=1649 ppid=1648 p=0
[root@192 ~]# 执行子进程, pid=1649 ppid=1 p=0
子进程先打印一段信息，再睡一秒，再打印一段信息，在子进程输出的两次信息中，ppid分别是1648和1。—— 问1:ppid怎么变了？
接下来进行探讨:
（二）fork()开启进程，主进程执行结束后，不会等待子进程:
实践：后台执行下面的代码，让主进程睡五秒，子进程睡十秒：
# -*-coding:utf-8-*- import os import time p = os.fork() if p == 0: time.sleep(10) print('执行子进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) else: time.sleep(5) print('执行主进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p))
[root@192 ~]# python fork.py & ### 后台执行python代码
[1] 1693
### 五秒前，查看进程信息：主进程为1693，子进程为1694
[root@192 ~]# ps aux | grep fork.py
root 1693 0.0 0.1 125432 4592 pts/0 S 21:23 0:00 python fork.py
root 1694 0.0 0.0 125432 2748 pts/0 S 21:23 0:00 python fork.py
root 1696 0.0 0.0 112704 980 pts/0 S+ 21:23 0:00 grep --color=auto fork.py
[root@192 ~]# 执行主进程, pid=1693 ppid=1572 p=1694 (此为程序打印信息，说明主进程已执行完)
[1]+ Done python fork.py
### 五秒后，主进程执行完毕，查看进程信息：只剩子进程1694
[root@192 ~]# ps aux | grep fork.py
root 1694 0.0 0.0 125432 2748 pts/0 S 21:23 0:00 python fork.py
root 1698 0.0 0.0 112704 980 pts/0 S+ 21:23 0:00 grep --color=auto fork.py
[root@192 ~]# 执行子进程, pid=1694 ppid=1 p=0 (此为程序打印信息，说明子进程已执行完。 *注意，这里ppid是1)
### 十秒后，子进程执行完毕，子进程结束
[root@192 ~]# ps aux | grep fork.py
root 1708 0.0 0.0 112704 980 pts/0 S+ 21:23 0:00 grep --color=auto fork.py
现象:五秒前，两个进程都在执行，五秒后，主进程结束，只剩一个子进程(说明父进程没有等待子进程)，十秒后，子进程结束
结论:父进程执行结束后不等待子进程
问1的解释:子进程第一次打印时，刚好父进程还未结束，还可以获取到父进程ppid，因此第一次打印的ppid是父进程的pid，当睡了一秒以后，父进程早就执行完了，溜了，没有等待子进程，因此子进程交给了init进程, ppid就变成1.
（三）僵尸进程:
若子进程比父进程先结束，而父进程又没有回收子进程，释放子进程占用的资源，此时子进程将成为一个僵尸进程。
有什么坏处? 如果大量的产生僵尸进程，将因为没有可用的进程号而导致系统不能产生新的进程. 此即为僵尸进程的危害，应当避免。
僵尸进程的避免:
- 父进程通过os.wait()和os.waitpid()等函数等待子进程结束，这会导致父进程挂起。
- 如果父进程很忙，那么可以用signal函数为SIGCHLD安装handler，因为子进程结束后， 父进程会收到该信号，可以在handler中调用wait回收。
- 如果父进程不关心子进程什么时候结束，那么可以用signal（SIGCHLD,SIG_IGN） 通知内核，自己对子进程的结束不感兴趣，那么子进程结束后，内核会回收， 并不再给父进程发送信号。
- 还有一些技巧，就是fork两次，父进程fork一个子进程，然后继续工作，子进程fork一 个孙进程后退出，那么孙进程被init接管，孙进程结束后，init会回收。不过子进程的回收 还要自己做。
子进程变成僵尸进程，是因为父进程先执行完，没有替子进程收尸。而wait()并不是用来收尸的，只是防止父进程先于子进程退出；如果父进程先退出，会使子进程成为僵尸进程，这时候子进程的收尸就由1号init进程来回收。
主进程通过调用os.wait()等待子进程结束:
# -*-coding:utf-8-*- import os import time p = os.fork() if p == 0: time.sleep(10) print('执行子进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) else: time.sleep(5) print('执行主进程, pid={} ppid={} p={}'.format(os.getpid(), os.getppid(), p)) os.wait()
[root@192 ~]# python fork.py & # 后台执行python代码
### 五秒前，查看进程信息：主进程为1751，子进程为1752
[1] 1751
[root@192 ~]# ps aux | grep fork.py
root 1751 0.5 0.1 125432 4588 pts/0 S 21:29 0:00 python fork.py
root 1752 0.0 0.0 125432 2748 pts/0 S 21:29 0:00 python fork.py
root 1754 0.0 0.0 112704 980 pts/0 S+ 21:29 0:00 grep --color=auto fork.py
[root@192 ~]# 执行主进程, pid=1751 ppid=1572 p=1752 (此为程序打印信息，说明主进程已执行到os.wait())
### 五秒后，主程序打印了信息并调用了os.wait()，查看进程信息：主进程为1751，子进程为1752,主进程没有结束
[root@192 ~]# ps aux | grep fork.py
root 1751 0.1 0.1 125436 4588 pts/0 S 21:29 0:00 python fork.py
root 1752 0.0 0.0 125432 2748 pts/0 S 21:29 0:00 python fork.py
root 1756 0.0 0.0 112704 980 pts/0 S+ 21:29 0:00 grep --color=auto fork.py
[root@192 ~]# 执行子进程, pid=1752 ppid=1751 p=0 (此为程序打印信息，说明子进程已执行完。 *注意，这里ppid不是1)
[1]+ Done python fork.py
### 十秒后，子进程执行完毕，子进程结束，父进程随着子进程的结束而结束
[root@192 ~]# ps aux | grep fork.py
root 1758 0.0 0.0 112704 980 pts/0 S+ 21:29 0:00 grep --color=auto fork.py
现象:五秒前，两个进程都在执行，五秒后，主进程执行完成并调用了os.wait()，等待子进程结束，十秒后，子进程结束，父进程也随之结束
结论:父进程可调用os.wait()等待子进程结束。 *没有子进程就调用os.wait()会抛异常: OSError: [Errno 10] No child processes
（四）进程间资源独立:
实践:在fork()函数前定义一个变量，在子进程中修改值，再从主进程中查看变量是否被修改：
# -*-coding:utf-8-*- import os import time variable = [] p = os.fork() if p == 0: variable.append(1) print('子进程 variable_id={}'.format(id(variable))) print('子进程 variable={}'.format(variable)) else: time.sleep(1) # 睡一秒，让子进程先改变变量的值 print('主进程 variable_id={}'.format(id(variable))) print('主进程 variable={}'.format(variable)) os.wait()
[root@192 ~]# python fork.py
子进程 variable_id=140426199897224
子进程 variable=[1]
主进程 variable_id=140426199897224
主进程 variable=[]
结论:子进程中改变了变量的值，但在父进程中并未改变，说明进程间全局变量不共享
问2:但为什么变量id一样?
问2的解释: 写时复制技术：内核只为新生成的子进程创建虚拟空间结构，它们复制于父进程的虚拟空间结构，但是不为这些段分配物理内存，它们共享父进程的物理空间，当父子进程中有更改相应段的行为发生时，再为子进程相应的段分配物理空间。因此不论子进程有没有修改操作，虚拟地址和父进程是一样的，两个进程查看变量的id值是相同的。
另外，即使是两个互不相干的进程，若它们的逻辑地址相同，实际地址也是不同的，并不会产生冲突。
参考链接:
python的os模块fork、wait、system、exec、popen、exit函数讲解
如有意见或建议，一起交流；如有侵权，请告知删除。
