由vfork()结合exit()想到的若干问题

时间:2022-07-19 06:52:28

问题来源

coolshell的一篇文章,先看代码:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
int main(void) {
int var;
var = 88;
if ((pid = vfork()) < 0) {
// if ((pid = fork()) < 0) {
printf("vfork error");
exit(-1);

} else if (pid == 0) { /* 子进程 */
var++;
return 0;
//exit(0);
//_Exit(0);
//_exit(0);
}
printf("pid=%d, glob=%d, var=%d\n", getpid(), glob, var);
return 0;
}

为啥在 vfork() 创建的子进程里,调用return()整个程序就挂掉?

弄清两个问题

  • fork() VS vfork()
  • what’s the difference betw ‘return()’ &&’exit()’

[注]我并不想造这种没有意义的*,我只想借助该问题复习完善自己的知识体系


fork() VS vfork()

  • fork()生成的子进程,子进程获得父进程的数据空间,堆,栈的副本,但共享代码段

  • vfork() 父子进程共享内存数据,fork()原来没有引入写时拷贝,所以会有vfork() 函数的引入


return() VS exit()

我想先介绍介绍这两个表面上的一些区别
(这个网上好多,还是总结下:)

return exit _exit
编译器的辅助,关键字 系统调用
结束函数,并且返回,底层表现实际为弹栈 一旦调用,整个进程结束,系统可获取结束的返回值,具体调用后发生的过程如下图(终止处理程序,标准i/o 清理程序) 一旦调用直接返回内核

先看看一个C 程序是如何启动和终止的
由vfork()结合exit()想到的若干问题

一个程序在汇编层次上是如何运行的:

_start:
call _libc_init_first
call _init
call atexit
call main
cal _exit
  • 首先明白:一个程序被运行,内核调用exec() 将用户程序加载到内存,一个C程序被编译好后,编译器会加入一些启动历程代码,汇编代码的入口点是:_start ,在_start 里面调用main(), 所以C程序代码的入口是可以修改的(在编译得到的汇编代码中修改就行)

函数调用return or exit 后发生了啥?

  • 程序要结束,函数如果调用return() , 实际就是一个将弹栈的过程,
    最后main() 函数调用return() 后,等价与调用了exit()

根据POXIS exit() 首先调用个终止处理程序(可以用atexit()注册终止处理程序),关闭各种打开的文件流,最后调用_exit() or _Exit() 返回内核

【上面总结的是正常退出的情况】


回到这题,vfork() 创建的子进程,共享父进程的堆栈,堆栈被销毁,所以父进程就直接挂掉