关于vfork的一个问题

Posted 2020-07-04

    为什么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了。

本文出自 “剩蛋君” 博客，请务必保留此出处http://memory73.blog.51cto.com/10530560/1760475