进程创建之fork与vfork

系统调用描述
forkfork创造的子进程是父进程的完整副本,复制了父亲进程的资源,包括内存的内容task_struct内容
vforkvfork创建的子进程与父进程共享数据段,而且由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

  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值