两者都是创建一个子进程
但是 :
1. 但是 vfork 并不将父进程的地址空间完全复制到子进程中,因为子进程会立即调用 exec(或exit),于
是也就不会存访该地址空间。不过在子进程调用 e x e c或e x i t之前,它在父进程的空间中运行。
这种工作方式在某些 U N I X的页式虚存实现中提高了效率
2. vfork和fork之间的另一个区别是: vfork保证子进程先运行,在它调用 exec或exit之后父进
程才可能被调度运行。
(如果在调用这两个函数之前子进程依赖于父进程的进一步动作,则会
导致死锁。
)
上面红色字的验证程序如下:摘自《unix环境高级编程》
#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 fork
pid = 11058 , glob = 7 , var = 89
pid = 11057 , glob = 6 , var = 88
这个程序的结果是很明显的"正确" ,, 因为fork 产生的子进程 复制了父进程的资源 , 但是他们是在不同的地址空间运行!
再看vfork的例子:摘自《unix环境高级编程》
#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 vfork
pid = 11213 , glob = 7 , var = 89
vfork出的子进程居然改变了父进程中的变量值!
原因嘛就是前面说的:在子进程调用 e x e c或e x i t之前,它在父进程的空间中运行。
这种情况就像是一个线程的行为了!
后记:子进程为什么使用_exit退出
_exit并不执行标准I/O缓存
的刷新操作。如果用exit而不是_exit,则该程序的输出是:
$ a.out
before vfork
从中可见,父进程 printf的输出消失了。其原因是子进程调用了 exit,它刷新开关闭了所有标准
I / O流,这包括标准输出。虽然这是由子进程执行的,但却是在父进程的地址空间中进行的,
所以所有受到影响的标准 I/O FILE对象都是在父进程中的。当父进程调用 printf时,标准输出已
被关闭了,于是printf返回-1