Linux的写时拷贝技术(copy on write)

Linux的写时拷贝技术(copy on write)

在linux程序中,fork()会产生一个和父进程完全相同的子进程,但大部分子进程之后会exec()系统调用,出于效率考虑,linux引入了“写时复制”技术,也就是只有进程空间的各段的内容要发生写操作时,才会将父进程的内容复制一份给子进程。

1.子进程的物理空间没有代码,怎么去取指令执行exec系统调用呢?

在fork之后exec之前两个进程用的是相同的物理空间(内存区),子进程的代码段、数据段、堆栈都是指向父进程的物理空间,也就是说,两者的虚拟空间不同,但其对应的物理空间是同一个。当父进程或者子进程中有更改相关段的行为发生时,再为子进程相应的段分配物理空间,如果不是因为exec,内核会给子进程的数据段,堆栈段分配相应的物理空间(两者之间拥有各自的进程空间,互不影响),而代码段继续共享父进程的物理空间(两者的代码完全相同)。而如果执行了exec系统调用,由于两者的代码不同,子进程的代码段,数据段和堆栈段都会分配物理空间。

2.cow详述

假设父进程P1,拥有自己的虚拟地址空间,地址空间上存有:代码段,数据段,堆,栈这四个部分,相应的,内核要为这四个部分分配各自的物理块(内存)。
以下时创建子进程的三种方式:

  1. 现在P1用fork()函数为进程创建一个子进程P2,内核做以下操作:
    1) 复制P1的代码段,数据段,堆,栈这四个部分,注意是其内容相同;
    2) 为这四个部分分配物理块,P2的代码段指向P1的正文段块,P2的数据段,堆和栈都会拥有自己的物理块如下图示:

在这里插入图片描述

2. 写时复制技术(cow):
== 内核只为新生成的子进程创建虚拟空间结构,但是不为这些段分配物理内存,他们共享父进程的物理空间,当父子进程中有更改相应段的行为发生时,再为子进程相应的段分配物理空间。==
如下图:

在这里插入图片描述
3. vfork():这个做法更加火爆,内核连子进程的虚拟地址空间结构也不创建,直接共享了父进程的虚拟空间,当然了,这种做法就顺水推舟的共享了父进程的物理空间。如下图示:
在这里插入图片描述

通过以上分析,对进程有了一定的认识。进程是一个主体,拥有灵魂和身体,系统必须为实现它创建相应的实体,灵魂实体与物理实体。

传统的fork()系统调用直接把所有资源复制给新创建的进程。这种实现过于简单并且效率低下,因为他拷贝的数据也许并不共享,更糟的情况是,如果新进程打算立即执行一个新的映像,那么所有的拷贝将前功尽弃。Linux的fork()使用写时拷贝(cow)页实现,当父进程或子进程对某个数据进行写操作时,会触发异常,之后内核会将该页复制成两页,这样父进程和子进程拥有了不同的物理块了。写时拷贝是一种可以推迟甚至免除拷贝数据的技术。内核此时并不会复制整个进程地址空间,而是让父进程和子进程共享同一个拷贝。只有在需要写入的时候,数据才会被复制,从而使各个进程拥有各自的拷贝。也就是说,**资源的复制只有在需要写入的时候才进行,**在此之前,只是以只读的方式共享。这种技术使地址空间上的页的拷贝被推迟到实际发生写入的时候。在页根本不会被写入的情况下—举例来说,fork()之后立即调用exec()–它们就无需复制了。fork()的实际开销就是复制父进程的页表以及给子进程创建唯一的进程描述符

一般情况下,进程创建后都会马上运行执行exec()系统调用,cow技术可以避免拷贝大量根本就不会使用的数据(地址空间常常包含数十兆的数据)。由于unix强调进程的快速执行,所以这个优化很重要。

本文参考自(https://www.cnblogs.com/biyeymyhjob/archive/2012/07/20/2601655.html)
十分感谢!!!

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值