fork, vfork以及return, exit

exit函数在头文件stdlib.h中。

exit（0）：正常运行程序并退出程序；

exit（1）：非正常运行导致退出程序；

return（）：返回函数，若在main主函数中，则会退出函数并返回一值，可以写为return（0），或return 0。

详细说：

1. return返回函数值，是关键字；exit是一个函数。

2. return是语言级别的，它表示了调用堆栈的返回；而exit是系统调用级别的，它表示了一个进程的结束。

3. return是函数的退出(返回)；exit是进程的退出。

4. return是C语言提供的，exit是操作系统提供的（或者函数库中给出的）。

5. return用于结束一个函数的执行，将函数的执行信息传出个其他调用函数使用；exit函数是退出应用程序，删除进程使用的内存空间，并将应用程序的一个状态返回给OS，这个状态标识了应用程序的一些运行信息，这个信息和机器和操作系统有关，一般是 0 为正常退出，非0 为非正常退出。

6. 非主函数中调用return和exit效果很明显，但是在main函数中调用return和exit的现象就很模糊，多数情况下现象都是一致的。

下面是几个例子：

1.

#include <unistd.h>
#include <stdio.h>
#include <stdlib.h>

int main(void)
{
　　pid_t pid;
　　int count=0;

　　pid=vfork();
　　if(pid==0)
　　{
　　　　printf("child: count=%d\n",count);
　　　　printf("child: getpid=%d\n",getpid());
　　　　count=1;
　　　　printf("child: count=%d\n",count);
　　　　// return 0;//会出现段错误
　　　　exit(0); //ok
　　}
　　else
　　{
　　　　printf("\nfather: pid=%d\n",pid);
　　　　printf("father: count=%d\n",count);
　　}
　　return(0);
}

运行结果

[root@localhost part1_linux]# gcc fork2.c
[root@localhost part1_linux]# ./a.out
child: count=0
child: getpid=9911
child: count=1

father: pid=9911
father: count=1

运行结果说明：vfrok时父、子进程共享数据段，fork时是进行拷贝。如果，vfork子进程中，使用return返回时，出现段错误，结果如下：

[root@localhost part1_linux]# gcc fork2.c
[root@localhost part1_linux]# ./a.out
child: count=0
child: getpid=10864
child: count=1

father: pid=10864
father: count=0
段错误

2. 为什么执行结果子进程打印出来 我的父亲是id:1，与父进程id不同

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

int main()
{
int i=0;
pid_t pid;
printf("还没创建子进程\n");
i++;
pid = fork();
if(pid==-1)
{
　　printf("fork error!\n");
}
else if(pid==0)
{
　　i++;
　　printf("我是子进程,id%d\n",getpid());
　　	　　printf("我的父亲是id:%d\n",getppid());
　　　	　　printf("-----i=%d-----\n",i);
}
else
{
　　i++;
　　printf("我是父进程,id:%d\n",getpid());
　　printf("-----i=%d-----\n",i);
}
exit(0);
}

子进程在打印第一句时，父进程也在打印第一句，但是子进程在执行第二句时，父进程已经直接over了（这只是个简单的说法，实际过程可能并不如此，我要说的是，父进程先于子进程的打印语句之前就结束）。因此此时的子进程成了孤儿进程，会被init也就是1号进程领养，成为init的子进程。 为了避免这样的情况，父进程最后可以执行wait来等待子进程的返回。

3. 用vfork()创建子进程，执行后程序一直不断地重复运行，不断创建子进程，结尾用exit(0)代替return(0)后问题就能解决

return 0在一个函数中是正常的返回过程，它会使得程序返回到函数被调用处，回复之前的执行流程，return 语句不会被执行。而exit 一般是在任意位置和使用的，执行到exit 0时，整个进程就over了（这也是为什么在多线程程序中不要随意使用exit的原因），用来使程序退出运行，一般用来处理（不可挽回的）错误状态。

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

int main()
{
　　int i=0;
　　pid_t pid;
　　printf("还没创建子进程\n");
　　i++;
　　pid = vfork();
　　if(pid==-1)
　　{
　　　　printf("fork error!\n");
　　}
　　else if(pid==0)
　　{
　　　　i++;
　　　　printf("我是子进程,id%d\n",getpid());
　　　　printf("我的父亲是id:%d\n",getppid());
　　　　printf("-----i=%d-----\n",i);
　　}
　　else
　　{
　　　　i++;
　　　　printf("我是父进程,id:%d\n",getpid());
　　　　printf("-----i=%d-----\n",i);
　　}
　　return(0);
}

1. 但是 vfork 并不将父进程的地址空间完全复制到子进程中,因为子进程会立即调用 exec(或exit),于
是也就不会存访该地址空间。不过在子进程调用 e x e c或e x i t之前,它在父进程的空间中运行。
这种工作方式在某些 U N I X的页式虚存实现中提高了效率

2. vfork和fork之间的另一个区别是: vfork保证子进程先运行,在它调用 exec或exit之后父进
程才可能被调度运行。
(如果在调用这两个函数之前子进程依赖于父进程的进一步动作,则会导致死锁。)
[code=html]#include <sys/types.h>
#include "ourhdr.h"

int glob = 6;
char buf[] = "a write to stdout";

int main()
{
int var;
pid_t pid;
var = 88;
if( write(STDOUT_FILENO , buf , sizeof(buf) - 1) != sizeof(buf) - 1)
err_sys("write error!\n");
printf("before fork\n");
fflush(stdout);

if( (pid = fork()) < 0)
err_sys("fork error");
else if( pid == 0 ) {
glob ++ ;
var ++;
}else
sleep(2);

printf("pid = %d , glob = %d , var = %d\n", getpid() , glob , var);
return 0;
}

运行后输出结果：
a write to stdoutbefore forkpid = 11058 , glob = 7 , var = 89pid = 11057 , glob = 6 , var = 88
这个程序的结果是很明显的"正确"，因为fork 产生的子进程 复制了父进程的资源 ， 但是他们是在不同的地址空间运行！[/code]

再看vfork的例子：摘自《unix环境高级编程》
[code=html]#include <sys/types.h>
#include "ourhdr.h"

int glob = 6;
int main()
{
int var;
pid_t pid;
var = 88;
printf("before vfork\n");
if( (pid = vfork()) < 0)
err_sys("vfork error");
else if( pid == 0 ){
glob ++;
var ++;
_exit(0);
}

printf("pid = %d , glob = %d , var = %d \n" , getpid(), glob , var);
exit(0);
}

这个程序执行的结果请看了：：

before vforkpid = 11213 , glob = 7 , var = 89
vfork出的子进程居然改变了父进程中的变量值!
原因就是前面说的：在子进程调用 e x e c或e x i t之前,它在父进程的空间中运行。这种情况就像是一个线程的行为了
PS:子进程为什么使用_exit退出
_exit并不执行标准I/O缓存的刷新操作。如果用exit而不是_exit,则该程序的输出是:$ a.outbefore vfork从中可见,父进程 printf的输出消失了。其原因是子进程调用了 exit,它刷新开关闭了所有标准I / O流,这包括标准输出。虽然这是由子进程执行的,但却是在父进程的地址空间中进行的,所以所有受到影响的标准 I/O FILE对象都是在父进程中的。当父进程调用 printf时,标准输出已
被关闭了,于是printf返回-1
[/code]