个人感觉例子举的很到位 ,理论和例子是自己组合起来的 嘿嘿

fork函数学习:

#include <sys/types.h>
#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>

main ()

{

  pid_t pid; pid=fork();

  if (pid < 0)

    printf("error in fork!");

  else if (pid == 0)

    printf("i am the child process, my process id is %dn",getpid());

  else

    printf("i am the parent process, my process id is %dn",getpid());

}

这段代码写了一个使用fork函数创建子进程,父子进程同时运行而产生交错的,不一样的运行结果。运行结果如下:

# ./a.out

i am the child process, my process id is 4286

i am the parent process, my process id is 4285

fork在英文中是叉子,分叉的意思,在函数fork中,取后面的意思。很形象的表示程序从这里分叉,fork函数创建了子进程,子进程和父进程同时(其实是cpu分时处理)开始运行分叉之后的程序。

程序改写下:

main()

{

  pid_t pid;

  printf("\n[%d]not fork pid=%d\n",getpid(),pid);

  pid=fork();

  printf("\n[%d]forked pid=%d\n",getpid(),pid);

  if(pid<0)

  {

    printf("error in fork!\n");

    getchar();

    exit(1);

  }

  else if(pid==0)

    printf("\n[%d]in child process,p_id=%d\n",getpid(),getpid());

  else

  {

    printf("\n[%d]in parent process,my pid=%d\n",getpid(),pid);

    printf("\n[%d]in parent process,my getpid=%d\n",getpid(),getpid());

  }

}

程序运行结果如下:

$ ./fork

[3819]not fork

[3820]forked pid=0

[3820]in child process,p_id=3820

[3819]forked pid=3820

[3819]in parent process,my pid=3820

[3819]in parent process,my getpid=3819

可以清楚的看到 not fork只打印了一次,其中[3819]是父进程的进程号,创建fork以后,fork函数返回给父进程的值pid是子进程的进程号[3820],而在子进程中,pid值为零。也就是说子进程中,pid被置零。引用网上一位网友的解释“其实就相当于链表,进程形成了链表,父进程pid(p 意味point)指向子进程的进程id, 因为子进程没有子进程,所以其pid为0. ”

 理论讲解

 

要搞清楚fork的执行过程,就必须先讲清楚操作系统中的“进程(process)”概念。一个进程,主要包含三个元素:

o. 一个可以执行的程序; 
o. 和该进程相关联的全部数据(包括变量,内存空间,缓冲区等等); 
o. 程序的执行上下文(execution context)。 

不妨简单理解为,一个进程表示的,就是一个可执行程序的一次执行过程中的一个状态。操作系统对进程的管理,典型的情况,是通过进程表完成的。进程表中的每一个表项,记录的是当前操作系统中一个进程的情况。对于单 CPU的情况而言,每一特定时刻只有一个进程占用 CPU,但是系统中可能同时存在多个活动的(等待执行或继续执行的)进程。 

一个称为“程序计数器(program counter, pc)”的寄存器,指出当前占用 CPU的进程要执行的下一条指令的位置。 

当分给某个进程的 CPU时间已经用完,操作系统将该进程相关的寄存器的值,保存到该进程在进程表中对应的表项里面;把将要接替这个进程占用 CPU的那个进程的上下文,从进程表中读出,并更新相应的寄存器(这个过程称为“上下文交换(process context switch)”,实际的上下文交换需要涉及到更多的数据,那和fork无关,不再多说,主要要记住程序寄存器pc指出程序当前已经执行到哪里,是进程上下文的重要内容,换出 CPU的进程要保存这个寄存器的值,换入CPU的进程,也要根据进程表中保存的本进程执行上下文信息,更新这个寄存器)。 

好了,有这些概念打底,可以说fork了。当你的程序执行到下面的语句: 
pid=fork(); 
操作系统创建一个新的进程(子进程),并且在进程表中相应为它建立一个新的表项。新进程和原有进程的可执行程序是同一个程序;上下文和数据,绝大部分就是原进程(父进程)的拷贝,但它们是两个相互独立的进程!此时程序寄存器pc,在父、子进程的上下文中都声称,这个进程目前执行到fork调用即将返回(此时子进程不占有CPU,子进程的pc不是真正保存在寄存器中,而是作为进程上下文保存在进程表中的对应表项内)。问题是怎么返回,在父子进程中就分道扬镳。 

父进程继续执行,操作系统对fork的实现,使这个调用在父进程中返回刚刚创建的子进程的pid(一个正整数),所以下面的if语句中pid<0, pid==0的两个分支都不会执行。所以输出i am the parent process... 

子进程在之后的某个时候得到调度,它的上下文被换入,占据 CPU,操作系统对fork的实现,使得子进程中fork调用返回0。所以在这个进程(注意这不是父进程了哦,虽然是同一个程序,但是这是同一个程序的另外一次执行,在操作系统中这次执行是由另外一个进程表示的,从执行的角度说和父进程相互独立)中pid=0。这个进程继续执行的过程中,if语句中 pid<0不满足,但是pid==0是true。所以输出i am the child process... 

我想你比较困惑的就是,为什么看上去程序中互斥的两个分支都被执行了。在一个程序的一次执行中,这当然是不可能的;但是你看到的两行输出是来自两个进程,这两个进程来自同一个程序的两次执行。 

我的天,不知道说明白了没……

有趣的例子:结果明白了 估计fork的原理就搞清楚了 O(∩_∩)O~

一个很有意思的程序:

int main()

{

  int i;

  for( i= 0; i< 3; i++)

  {

    int pid= fork();

    if(pid== 0)

    {

      printf("son\n");

    }

    else

    {

       printf("father\n");

    }

  }

return 0;

}

大家想想看最后将出现几个son 几个father呢?。。。。。。。

对一下答案吧:

$ ./fork

father

son

son

son

father

father

son

father

son

son

father

father

son

father

总共7个son7个father。你答对了么? 这道题需要在纸上画画才好理解 for i=0 1 2 father father father son son father son son father father son son father son 其中每一行分别代表一个进程的运行打印结果。当产生子进程的时刻,子进程打印son,当子进程调用fork的生成子子进程,他就提升为father。总结来说,father永远打印father,son在fork之前是son,fork之后就为father,同时生成新的son。