【Linux】fork()

fork()是LinuxC中一个基本函数，他存在于头文件<unistd.h>之中，用于创造一个子进程。说白了，就是将本程序一分为二，互补影响地执行。

直接贴一段简单的程序说明fork()的使用：

#include <unistd.h>  
#include <stdio.h>   
int main(){
    int count=0;
    pid_t fpid=fork();
    if(fpid<0){   
        printf("创建父子进程失败！");
    }
    else if(fpid==0){
        printf("子进程ID：%d\n",getpid());
        count++;
    }  
    else{
        printf("父进程ID：%d\n",getpid());
        count++;
    }  
    printf("count=%d\n",count);
    waitpid(fpid,NULL,0);
    return 0;
}

这段程序的运行结果如下图所示：

整个程序是这样的，在一开始定义了一个count变量。

利用fork()函数将整个程序分成了两半，在pid_t fpid==0是子进程执行的分支，而另一半则是父进程执行的分支。int count=0这个变量被原封不动地拷贝到这两个分支之中。

互补影响地做自加。

之后，这两个分支同时执行printf("count=%d\n",count);这段代码打印count。最后用waitpid(fpid,NULL,0);结束fork()，否则这个程序不知道在Ubuntu里面为何无法自然而言地结束。

用一个简单的流程图可以完美地说明这个问题：

一个进程调用fork()函数后，系统先给新的进程分配资源，例如存储数据和代码的空间。然后把原来的进程的所有值都复制到新的新进程中，只有少数值与原来的进程的值不同。相当于克隆了一个自己。 

那么能否经历过fork()的父子进程同时操作一个变量。就像上述的程序，将count弄到2呢？比如将int count=0弄成全局变量的。答案是不行的。fork后子进程中是父进程的完全复制(其中有写时复制技术），不管什么变量，fork后父子进程中都是一样的，但两者之间没有关系，任何一个进程修改变量后，在另一个进程中都不能知道，更不能访问另一个进程中的变量，即使是全局变量。

如果你需要两个进程（线程）共同操作一个变量，实现一种互斥的关系，请用pthread_create()，具体见《【Linux】线程互斥》（点击打开链接），fork()更多的是，配合管道在描述一种线程之间的同步关系。