Linux sys_exec中可执行文件映射的建立及读取(3)

2020-06-01 00:00:00 专区 订阅 异常 进程 复制

父子页面保护共享的处理 ------ COW技术

在do_fork->copy_mm中,如果vm_area_struct的属性中包含了可写属性,但非共享,则将父对应的pte[j](假设pte[j]对应了vm_area_strruct圈定的范围中的某个页面)设置为写保护,随后复制父pte[j]给子pte[j];此处采用了COW技术。

copy_mm之后的的情况如下图,可见并没有真正的复制一个page给子进程:

father
+--------+
| |
|--------|
|pte(w=0)|--+
|--------| |
| | |
+--------+ +-->+------+
| |
son +-->| |
+--------+ | | page |
| | | | |
|--------| | | |
|pte(w=0)|--+ | |
|--------| +------+
| |
+--------+

现在假设父进程向pte中写入,则会引发CPU异常,在异常处理机制中,处理如下:

* 创建一个新的newpage;
* 复制page内容到newpage;
* 让父pte指向newpage,并且设置父pte的w=1(可写);
* 子pte保持不变;终如下图:

father

+--------+ +-->+------+
| | | | |
|--------| | | new |
|pte(w=1)|--+ | page |
|--------| | |
| | +------+
+--------+

son
+--------+ +-->+------+
| | | | |
|--------| | | page |
|pte(w=0)|--+ | |
|--------| | |
| | +------+
+--------+

如果现在子进程又向pte中写,同样导致异常,但是由于此时该pte:count==1,则直接将该pte:w=1,然后写即可;
son
+--------+ +-->+------+
| | | | |
|--------| | | page |
|pte(w=1)|--+ | |
|--------| | |
| | +------+
+--------+


文章来源CU社区:Linux sys_exec中可执行文件映射的建立及读取


相关文章