try_to_unmap_one问题

embeddedlwp

try_to_unmap_one
    |
    |---------------->address = vma_address(page, vma);
    |
    |---------------->pte = page_check_address(page,mm,address,&ptl);
    |

page_check_address部分代码：

if(pte_present(*pte) && page_to_pfn(page) == pte_pfn(*pte)){
    *ptlp = ptl;
    return pte;
}

不知到为什么要检查 pte与page对应的pfn是否相等，那么什么情况下不相等呢？

blake326

你看的太细了，友情顶下。

embeddedlwp

回复 2# blake326


之前有个帖子，http://bbs.chinaunix.net/thread-1929162-1-1.html，看2楼回复：

try_to_unmap_anon的主要思路是根据page -> anon_vma -> vma_area_struct链, 查找到可能影射了page的vma, 根据page -> index,查找到如果vma影射了page,那么到底是哪个pte影射了page.


以上都说的是可能性,而不是page必然影射在计算出来的pte中.

最后的精确判断,还要依靠根据page和pte计算出来的pfn. 相等则解除影射; 不等则证明已经经过COW.

但我还是不明白什么时候不相等！





   

塑料袋

COW后，虽然pte映射了一个新分配的页，但是vma仍保持还在address space的prio树，同时新加入一个anon_vma链。
此时通过page->address space->prio树->vma->pte->page检索，两端的page是不一样的。

塑料袋

embeddedlwp 发表于 2012-05-24 16:24
回复 2# blake326

靠，这不是我以前回的帖子么？

blake326

塑料袋 果然牛B啊。。。

就是说cow的后的page，就会存在这个不相等的情况。

embeddedlwp

回复 4# 塑料袋

COW后，虽然pte映射了一个新分配的页，但是vma仍保持还在address space的prio树，同时新加入一个anon_vma链。
此时通过page->address space->prio树->vma->pte->page检索，两端的page是不一样的。

=========================================================

prio tree只用于file mapping吧，anon mapping不用这个吧？

   

塑料袋

embeddedlwp 发表于 2012-05-26 09:22
prio tree只用于file mapping吧，anon mapping不用这个吧？
...

truncate一个文件时，需要把所有映射了这段被truncate区间的vma都删除掉。

私有映射也是如此，也需要查找并删除之。所以私有映射的vma与其他两个数据结构发生了联系，一是address space，一是anon vma。

而且进一步说，私有vma的各page中，很有可能是一部分经过了COW，是匿名页；一部分还没有COW，是有名页。