系统调用 | 描述 |
---|---|
fork | fork创造的子进程是父进程的完整副本,复制了父亲进程的资源,包括内存的内容task_struct内容 |
vfork | vfork创建的子进程与父进程共享数据段,而且由vfork()创建的子进程将先于父进程运行 |
fork
int main(int argc, char* argv[])
{
int var=10;
pid_t pid=fork();
if(pid<0)
{ perror("fork");
return -1;
}
else if(pid==0)
{
while(1){
var=var+2;
printf("child:var=%d &var= %p\n",var,&var);
sleep(1);
}
}
else{
while(1){
var++;
printf("parent:var=%d &var= %p\n",var,&var);
sleep(1);
}
}
return 0;
}
可以看到,子进程与父进程并没有先后顺序,谁先抢到 CPU时间片谁先执行,并且父子进程之间的同名变量并没有相互影响。
写时复制
从运行结果里面可以看出父子两个进程的pid不同,堆栈和数据资源都是完全的复制。有人认为这样大批量的复制会导致执行效率过低。其实在复制过程中,linux采用了写时复制的策略。
子进程复制了父进程的task_struct,系统堆栈空间和页面表,这意味着上面的程序,我们没有执行var=var+2前,其实子进程和父进程的var指向的是同一块内存。而当子进程改变了变量时候即对变量进行了写操作,会通过copy_on_write的手段为所涉及的页面建立一个新的副本。
所以当我们执行var=var+2后,这时候子进程才新建了一个页面复制原来页面的内容,基本资源的复制是必须的,而且是高效的。整体看上去就像是父进程的独立存储空间也复制了一遍。
写时复制(Copy On Write,COW)。这种思想相当简单:父进程和子进程共享页帧而不是复制页帧。然而,只要页帧被共享,它们就不能被修改,即页帧被保护。无论父进程还是子进程何时试图写一个共享的页帧,就产生一个异常,这时内核就把这个页复制到一个新的页帧中并标记为可写。原来的页帧仍然是写保护的:当其他进程试图写入时,内核检查写进程是否是这个页帧的唯一属主,如果是,就把这个页帧标记为对这个进程是可写的。
vfork
int main(int argc, char* argv[])
{
int var=10;
pid_t pid=vfork();
//父子进程共用一片内存空间; 要遵循先子后父的规则;子进程调用exit(0)结束以后再运行父进程;
if(pid<0)
{ perror("vfork");
return -1;
}
else if(pid==0)
{
while(1){
var=var+2;
printf("var=%d &var= %p\n",var,&var);
printf("child:pid=%d getpid()=%d getppid()=%d\n",pid,getpid(),getppid());
sleep(1);
if(var==20)
exit(0);// 结束子进程,僵尸进程实现
}
}
else{
wait(NULL);//回收子进程,避免僵尸进程
var++;
printf("var=%d &var= %p\n",var,&var);
printf("parent:pid=%d getpid()=%d getppid()=%d\n",pid,getpid(),getppid());
while(1);
}
printf("!!!\n");
return 0;
}
由结果可以看出,子进程结束之前,父进程并不会被执行,并且子进程中改变了var的值,父进程中也跟着发生了改变,可以得出结论:父子进程共用一片内存空间; 要遵循先子后父的规则;子进程调用exit(0)结束以后再运行父进程;
二者的区别
vfork()用法与fork()相似.但是也有区别,具体区别归结为以下3点
1、fork() 子进程拷贝父进程的数据段,代码段。vfork() 子进程与父进程共享数据段.|
2、fork() 父子进程的执行次序不确定。vfork():保证子进程先运行,
3、vfork()保证子进程先运行,在它调用exec或_exit之后父进程才可能被调度运行。如果在
调用这两个函数之前子进程依赖于父进程的进一步动作,则会导致死锁。
vfork()在调用exec或_exit之前与父进程数据是共享的,在它调用exec或_exit之后父进程才可能被调度运行。而fork()当需要改变共享数据段中变量的值,才会拷贝父进程。
vfork用于创建一个新进程,而该新进程的目的是exec一个新进程,vfork和fork一样都创建一个子进程,但是它并不将父进程的地址空间完全复制到子进程中。因为子进程会立即调用exec,于是也就不会存放该地址空间。不过在子进程中调用exec或exit之前,他在父进程的空间中运行。
由此可见,这个系统调用是用来启动一个新的应用程序。其次,子进程在vfork()返回后直接运行在父进程的栈空间,并使用父进程的内存和数据。这意味着子进程可能破坏父进程的数据结构或栈,造成失败。为了避免这些问题,需要确保一旦调用vfork(),子进程就不从当前的栈框架中返回,并且如果子进程改变了父进程的数据结构就不能调用exit函数。
子进程还必须避免改变全局数据结构或全局变量中的任何信息,因为这些改变都有可能使父进程不能继续。通常,如果应用程序不是在fork()之后立即调用exec(),就有必要在fork()被替换成vfork()之前做仔细的检查。
vfork存在的意义
fork当它创建一个子进程时,将会创建一个新的地址空间,并且拷贝父进程的资源,而往往在子进程中会执行exec调用,这样,前面的拷贝工作就没有任何意义了,就是在这种情况下,提出了vfork,它产生的子进程刚开始暂时与父进程共享地址空间,因为这时候子进程在父进程的地址空间中运行,所以规定子进程不能进行写操作,避免改变全局数据结构或全局变量中的任何信息,因为这些改变都有可能使父进程不能继续。
因此vfork设计用以子进程创建后立即执行execve系统调用加载新程序的情形。在子进程退出或开始新程序之前,内核保证了父进程处于阻塞状态
用vfork函数创建子进程后,子进程往往要调用一种exec函数以执行另一个程序,当进程调用一种exec函数时,该进程完全由新程序代换,而新程序则从其main函数开始执行,因为调用exec并不创建新进程,所以前后的进程id 并未改变,exec只是用另一个新程序替换了当前进程的正文,数据,堆和栈段。
本文参考了其他博主的介绍,具体详细信息请参考:
原文链接:https://blog.csdn.net/gatieme/article/details/51417488