问题来源
看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 程序是如何启动和终止的
一个程序在汇编层次上是如何运行的:
_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() 创建的子进程,共享父进程的堆栈,堆栈被销毁,所以父进程就直接挂掉