fork是个好动西,它通过系统调用能够创建出一个与原来进程一模一样的进程,子进程可以执行和父进程一样的代码,通过逻辑控制,也可以让父进程和子进程执行完全不同的代码块。如此好用的东西,windows是没有的,所以,赶紧转到linux吧!

一、初识fork

    创建子进程的过程非常简单

pid=os.fork()

    返回值有三种

    (1) pid < 0  表示创建失败

    (2) pid = 0   此时,处在子进程中

    (3) pid > 0  此时,处在父进程中  pid 的值就是刚刚创建出来的子进程的pid

二、 第一个简单示例

    下面看一段简单的代码:

def create_child():
pid0=os.getpid()
print '主进程',pid0

try:
pid1=os.fork()
except OSError:
print u'你的系统不支持fork'
exit()

if pid1 <0:
print u'创建子进程失败'
elif pid1==0:
print '子进程 ',pid1,os.getpid(),os.getppid()
else:
print '主进程 ',pid1,os.getpid(),os.getppid()

print u'这句话,父进程和子进程都会执行'


    如果fork函数执行成功,那么从第11行开始的代码,父进程和子进程都会执行,此时,他们已经是两个完全不相干的进程了。

三、父子内存关系

    对于fork,有一点必须搞清楚,那就是原来父进程里的那些变量和子进程里的变量是什么关系。一种普遍的存在误区的理解是子进程完全拷贝了父进程的数据段、栈和堆上的内容,但实际情况是linux引入了写时拷贝技术,子进程的页表项只想了与父进程相同的物理内存页,这样只拷贝父进程的页表项就可以了,这些页面被标记为只读,如果父子进程都不去修改内存内容,大家相安无事,一旦父子进程中的某一个尝试修改,就会引发缺页异常。此时,内核会尝试为该页面创建一个新的物理页面,并将内容真实的复制到物理页面中,这样,父子页面就各自拥有了各自的物理内存。

    看下面这段代码:

class TestFork():
def __init__(self,age):
self.age = age
tf = TestFork(10)
def child_work():
tf.age = os.getpid()
print 2,tf.age,tf,'\n'
while True:
print u'我是子进程',os.getpid()
time.sleep(5)

def parent_work():
print 1,tf.age,tf,'\n'
while True:
print u'我是主进程',os.getpid()
time.sleep(5)

def fork_many_child(count):

if count == 0:
parent_work()

pid1=os.fork()
if pid1==0:
child_work()
else:
fork_many_child(count-1)

if __name__ == '__main__':
fork_many_child(3)


在父进程中,我创建了一个TestFork对象,子进程里去修改age的值,然后打印,你会发现,每个进程都有自己的tf对象,实际运行结果如下

1 10 <__main__.TestFork instance at 0x101d51950> 

2 57320 <__main__.TestFork instance at 0x101d51950>

2 57321 <__main__.TestFork instance at 0x101d51950>

我是主进程 57318
我是子进程 57320
2 57319 <__main__.TestFork instance at 0x101d51950>


四、收尸

    如果父进程还存在,而子进程退出了,那么子进程会变成一个僵尸进程,父进程必须为他收尸。如果父进程先结束了,而子进程还没有结束,此时,子进程的父进程就变成了init进程,由它来负责为子进程退出后收尸。

    收尸有两种方法,一个是wait,一个是os.waitpid,wait是阻塞的,而os.waitpid可以设置为非阻塞的,本篇重点讲解waitpid。

    waitpid函数定义为  def waitpid(pid, options),第一个参数取值有以下几种情况:

    (1) pid > 0  等待进程ID为pid的子进程,此时是精确打击

    (2) pid = 0 等待与调用进程同一个进程组的任意子进程

    (3) pid = -1 等待任意子进程,此时和wait等价

      (4)   pid < -1 等待进程组ID与pid 绝对值相等的所有子进程


     options 是以下几个标志位的组合

如果子进程没有发生变化,则立刻返回,不会阻塞


(2) os.WUNTRACED 除了关心终止进程的信息,也关心因信号而停止的子进程信息


(3) os.WCONTINUED 除了关心终止进程的信息,也关心因受到信号而恢复执行的子进程信息

函数的返回值有两个,分别为pid 和 status:
(1) pid = 0  表示子进程没有发生变化,status不需要理会
(2) pid = -1 表示waitpid调用失败,此时要关心status的值,status 为 ECHLD,表示没有发现有子进程需要等待
status 为EINTR,表示函数被信号中断
(3) pid >0   pid是发生变化的子进程的pid,具体子进程何种状态,因为什么退出,需要根据status来判断
如果子进程是正常退出,status就是0
如果子进程是被信号杀死的,status记录的就是终止的信号
如果子进程被停止,或者恢复执行,status记录对应的值,这里要重点说明一下,假设你是用SIGSTOP信号停止了子进程的运行,这个status的值可不是
SIGSTOP所对应的常量值,具体是多少,取决于系统,mac下的和linux下的值是不一样的,那怎么根据status的值来判断是停止还是恢复亦或是被信号
杀死呢,还好,系统提供了跨平台的判断方法,具体看下面的例子
#coding=utf-8
import os
import time
import errno

def child_work2():
# 子进程
print u'我是子进程',os.getpid()
i = 0
while True:
print u'子进程{i}'.format(i=i)
i += 1
time.sleep(3)

def test_wait():
pid = os.fork()
if pid == 0:
child_work2()
else:
print u'子进程',pid
while True:
try:
time.sleep(4)
p,status = os.waitpid(pid,os.WNOHANG|os.WUNTRACED|os.WCONTINUED)
except OSError:
print u'没有子进程需要等待'
break

print p,status
if p == 0:
pass
#print u'子进程没有退出'
elif p < 0:
if status == errno.EINTR:
print u'被信号中断'
elif status == errno.ECHILD:
print u'该pid不可等待'
else:
if os.WIFSTOPPED(status):
print u'子进程并没有退出,只是停止工作'
elif os.WIFCONTINUED(status):
print u'子进程恢复了运行'
else:
print u'子进程结束了'
break

time.sleep(5)

if __name__ == '__main__':
test_wait()