python中两次fork避免僵尸进程

使用os.wait函数处理子进程退出

• 用法：pid, status = os.wait()
• 功能：阻塞父进程等待子进程执行完毕（子进程就不会先于父进程退出，就不会变成僵尸进程）
• 返回值：pid，子进程ID；status，子进程退出状态
• 缺点：父进程会进入阻塞状态直到子进程退出，这样与单进程执行过程无异

pid = os.fork()
if pid < 0:
    print("Error")
elif pid == 0:
    sleep(100)
    sys.exit("子进程退出")

else:
    pid, status = os.wait()
    while True: 
        pass

创建二级子进程来处理僵尸进程

1. 父进程创建一级子进程，等待回收一级子进程
2. 一级子进程创建子进程（二级子进程）然后退出
3. 二级子进程称为孤儿进程，和原来的父进程一同执行时间

pid = os.fork() # 创建一级子进程
if pid == 0: # 一级子进程执行操作
    p = os.fork() # 创建二级子进程
    if p == 0: # 二级子进程执行操作
        sleep(100)
    else: # 一级子进程执行操作
        sys.exit()
else: # 父进程执行操作
    os.wait()
    sleep(200)

原理

        对比一次fork，父进程会进入阻塞状态，当子进程执行完毕（sleep 100）之后才会继续执行（sleep 200），这样与单进程执行过程一样，且会导致父进程执行时间变长（sleep 300）；而使用两次fork，相当于将要执行的功能交给父进程和二级子进程同时执行，执行时间为（sleep 200）。

• 一级子进程创建二级子进程后直接退出（不执行其他功能），这样父进程阻塞的时间可以忽略不计
• 由于二级子进程需要执行功能（sleep 100），因此一级子进程先于二级子进程退出，此时二级子进程成为孤儿进程，其父进程变为init进程，其PCB会由init进程回收
• 当父进程执行退出后，其PCB也会由init进程回收，因此整个过程中不会产生孤儿进程且父进程和二级子进程在同时执行