为什么vfork的子进程里面用return,整个程序会挂掉,而exit()不会。

    首先我们来看一下,出现挂掉的代码:

    

 #include<stdio.h>
 #include<stdlib.h>
 #include<unistd.h>
 
 int main()
 {
     int var;
     var = 88;
     if((pid = vfork()) < 0)
     {
         printf("error vfork");
         exit(0);
     }
     else if(pid == 0)
     {
         var++;
         return 0;
     }
     printf("pid = %d, glob = %d,var = %d",getpid(),glob,var);
     return 0;
 }

首先我们说一下fork(),vfork()的区别

    fork()是创建一个子进程,并把父进程的内存数据copy到子进程;

    vfork()是创建一个子进程,并和父进程的内存数据share一起用

差别就是一个是copy,一个是share。


  在fork中,我们创建的进程并不能保证子进程还是父进程那个先运行,在Linux早期,fork函数并没有实现fork的copy_on_write技术,也就是写实拷贝。在这样的情况下,所以出现了vfork()。来进行某种场合下的运用,因为不是任何条件都需要进行内存的分隔复制。

  所以出现了vfork();

    vfork()特性:

    (1)保证子进程先执行,

    (2)当子进程调用exit()或exec()后,父进程往下执行,否则就一直等待。


那么,为什么return会挂掉,exit()不会呢?

    从上面可以看到,结束子进程的调用时exit()而不是return,如果在vfork中return。则就意味着我们在当前的栈中调用了return。因为是share,所以就是等于我们改变了整个栈的栈帧,return在汇编中相当于call指令。


在子进程中进行return:

    1)子进程的main()函数return,程序的函数栈发生了变化。

    2)mian()函数return后,通常会调用exit()或相似的函数(_exit(),exitgroup())

    3)这时父进程收到子进程exit(),开始从vfork返回,但是栈都崩溃了。相当于整个建筑体系都崩溃了,我们还怎么执行函数。

    4)在LinuxGcc中。当一个栈返回一个诡异的栈地址,就再次调用main(),于是就进入了一个无限循环的结果。直到进程判满。


原因就是这样。当fork存在写实拷贝后,就不推荐用vfork了。