linear的非共享页面写入操作为什么是创建anon类型的页面？

kerryxi

在handle_pte_fault()中，将会根据pte和vma的状态来判断创建对应的FILE_MAPPING和ANON 页面，
handle_pte_fault
                if (pte_none(entry)) {
                        if (vma->vm_ops) {
                                if (likely(vma->vm_ops->fault))
                                        return do_linear_fault(mm, vma, address,pte, pmd, flags, entry);
                        }
                        return do_anonymous_page(mm, vma, address,pte, pmd, flags);
本人理解，包括网上帖子描述do_linear_fault主要是用来创建FILE_MAPPING页面的，
do_linear_fault
->__do_fault
                /*Should we do an early C-O-W break?  */
        page = vmf.page;
        if (flags & FAULT_FLAG_WRITE) {
                if (!(vma->vm_flags & VM_SHARED)) {
                        page = cow_page;
                        anon = 1;
                        copy_user_highpage(page, vmf.page, address, vma);
                        __SetPageUptodate(page);

在这里，为啥COW的写入是非VM_SHARED类型，就是ANON类型页面，如果是VM_SHARED类型，就是FILE_MAPPING页面呢？

谢谢！

njuzhyf

你想错了。这里只是判断对非VM_SHARE页进行的写缺页异常，不光是要fault进存放磁盘数据的页（要插入pagecache的页），还要另外分配一个新的页用来COW，用于此进程写数据——因为这是一个私有映射（!VM_SHARED），它所做的修改不能反映到文件中去，也就是说不能修改pagecache。

humjb_1983

!VM_SHARED表示"私有映射"，即该区域为本进程私有的，不与其它进程共享，此时需要复制一个新的副本给"私有映射"专用，这里并非 通常理解的COW，COW是在do_wp_fault流程中处理

kerryxi

谢谢njuzhyf和humjb_1983。

在创建file map映射时，如果不设置MAP_SHARE，是不是就是不带vm_share的flag? 这个私有映射的场景是哪种情况？

对于filemapping，也可能存在写的情况，写一个file的page cache不反应到文件中去，难道还反应到anon页面上去？

如果要是private page写，为啥就不是到COW那里一起处理创建新anon页面操作呢？

这里我肯定是有个地方没转过弯来，不知道哪个地方概念搞糊涂了。

humjb_1983

kerryxi 发表于 2014-06-17 12:58
谢谢njuzhyf和humjb_1983。

在创建file map映射时，如果不设置MAP_SHARE，是不是就是不带vm_share的flag ...

“如果不设置MAP_SHARE，是不是就是不带vm_share的flag”---对的，私有映射场景很多吧，如果不想mmap的区域跟其它进程共享，就可以用私有映射~
个人理解这里的COW，和fork之后的COW是不同的，这里涉及文件的map，应该也不能跟anon混在一起处理，这是不一样的分支。

kerryxi

humjb_1983 发表于 2014-06-17 14:40
“如果不设置MAP_SHARE，是不是就是不带vm_share的flag”---对的，私有映射场景很多吧，如果不想mmap的区 ...

如果说不带VM_SAHRE的是私有映射，走的就是anon的映射分支。但那么带MAP_SHARE也是mmap常用的参数，这里面也可能是share的anon页面。  所以为什么!VM_SHARE就是anon私有映射页面，而VM_SHARE就变成是文件映射 page呢？两者为啥就不是同一种类型的anon映射页面呢？

humjb_1983

如果说不带VM_SAHRE的是私有映射，走的就是anon的映射分支。--- 这个为什么？anon映射跟VM_SHARE标志没多大关系吧~~

njuzhyf

回复 4# kerryxi


"在创建file map映射时，如果不设置MAP_SHARE，是不是就是不带vm_share的flag? 这个私有映射的场景是哪种情况？"

举个简单的例子～～ELF可执行文件有.text, .data, .bss..... 在程序执行的时候，.data应该就是私有映射的file mmap。不然你觉得你程序执行时
修改一些全局变量的值会反映到你的可执行文件中去？～～就是你列出代码的那个逻辑，你读的时候，内核是不会管的，直接读pagecache中的页，但
你想写的时候，内核会COW出来一个匿名页面出来了。


“对于filemapping，也可能存在写的情况，写一个file的page cache不反应到文件中去，难道还反应到anon页面上去？”


你说对了，比如你程序修改全局变量，这个修改后的值在程序运行期间确实是存放在COW出来的那个匿名页面中。


“如果要是private page写，为啥就不是到COW那里一起处理创建新anon页面操作呢？

这里我肯定是有个地方没转过弯来，不知道哪个地方概念搞糊涂了。   “


呵呵呵。。。映射有两种：私有和共享；页面来源有两种：文件和匿名；有私有文件映射，共享文件映射，私有匿名映射，共享匿名映射。。。
仔细看看do_mmap_pgoff和handle_pte_fault。

kerryxi

回复 8# njuzhyf


    那对于一个file映射，如果此时进程要写入这个页面，那么创建新的page页面是什么类型？ 因为file mapping的页面也可能要写入到磁盘的。

njuzhyf

回复 9# kerryxi

私有映射，就COW出一个匿名页面让进程写；共享映射就会直接写pagecache中的页，并标记那页为脏