如果一个多线程程序调用了fork,那么新创建的子进程只拥有一个执行线程(调用fork的那个线程的完整复制),并且子进程自动继承父进程的互斥锁(条件变量)的状态,即父进程中被加锁的互斥量在子进程中也是被锁住的。于是子进程不知道继承而来的互斥量的具体状态,若互斥量在fork前已经被加锁,子进程若再对互斥量加锁则一定死锁。当然若fork后的子进程立即调用exec()执行其它程序隔断了父子关系则不会出现上述情形。
pthread_atfork可以清除锁状态,以确保fork调用后父子进程都拥有一个清除的锁状态。 int pthread_atfork(void(*prepare)(void),void(*parent)(void),void(*child)(void));建立三个fork句柄来清理互斥量的状态,prepare句柄在fork系统调用前被执行用来锁住所有父进程中的互斥锁,parent在fork创建子进程后但是在fork返回前在父进程中执行释放所有在prepare被锁住的互斥量,child句柄是在fork返回之前,在子进程中执行,释放所有在prepare句柄中被锁住的互斥锁。多线程调用fork时可以用,若是单线程fork或者exec则没有必要用这个。
还有就是父进程创建的对象子进程进程了最后对象会被析构两次,则构造和析构就不是成对出现了。如果对象是采用RAII手法封装的某种资源,如定时器子进程不会继承,而RAII对象在子进程的析构可能会试图释放一个不存在的资源。所以多线程中尽量不要fork调用。
#include <pthread.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>
#include <wait.h>
pthread_mutex_t mu