进程所有vma的vm_end地址都是页对齐的吗

dycforever

向各位请教一个进程地址空间的问题，我正在看do_mmap_pgoff函数的源码，发现看到如下代码：

1.        addr = get_unmapped_area(file, addr, len, pgoff, flags);
   
2.        if (addr & ~PAGE_MASK)
   
3.                 return addr;

复制代码

这边addr & ~PAGE_MASK相当于是把高位清零，也就是说，如果get_unmapped_area函数返回的地址，低12位不是全0的话，就表示出错了。而get_unmapped_area函数在搜索一个足够大的空洞时，无非就是把进程的所有vma遍历一遍（较新的内核版本中已经变成在红黑树中找了，不过没有本质区别），所以addr在返回的时候是有可能等于某个vma的vm_end的。这我就很奇怪，难道有规定，vma的end地址必须是页对齐的么？不然的话这段代码为什么能正确工作？

不知道我有没有描述清楚问题，希望大家指点，谢谢！

embeddedlwp

回复 1# dycforever


add和size不是都进行了PAGE_ALIGH()处理了吗，这样得到的vm_end就应该是PAGE_ALIGN的啦。

   

dycforever

回复 2# embeddedlwp


    嗯，do_mmap_pgoff中的len参数是经过页对齐，不过我不知道是不是所有新建vma结构的地方都遵守这个规则，以前也没有在资料上看到过说vma->vm_end一定得是页对齐的，所以有点奇怪，就来问问哈

amarant

难道还能不对齐？

amarant

想想就知道，不对齐的话，剩下的地址怎么管理？页是基本单位

junnyg

回复 5# amarant
有可能不对齐的吧，比如栈的动态扩展？
do_page_fault->__do_page_fault->expand_stack->expand_downwards

1. if (address < vma->vm_start) {
   
2.                 unsigned long size, grow;
   
3. 
   
4.                 size = vma->vm_end - address;
   
5.                 grow = (vma->vm_start - address) >> PAGE_SHIFT;
   
6. 
   
7.                 error = acct_stack_growth(vma, size, grow);
   
8.                 if (!error) {
   
9.                         vma->vm_start = address; //这儿是访问栈时的缺页异常地址
   
10.                         vma->vm_pgoff -= grow;
    
11.                 }
    
12.         }

复制代码

amarant

回复 6# junnyg


    你好，多谢指出。但我看了下相关代码：

1. int expand_downwards(struct vm_area_struct *vma,
   
2.                                    unsigned long address)
   
3. {
   
4.         int error;
   
5. 
   
6.         /*
   
7.          * We must make sure the anon_vma is allocated
   
8.          * so that the anon_vma locking is not a noop.
   
9.          */
   
10.         if (unlikely(anon_vma_prepare(vma)))
    
11.                 return -ENOMEM;
    
12. 
    
13.         address &= PAGE_MASK;
    
14.         error = security_mmap_addr(address);
    
15.         if (error)
    
16.                 return error;
    
17. 
    
18.         vma_lock_anon_vma(vma);
    
19. ........

复制代码

address 在前面已经对齐了

junnyg

回复 7# amarant
是的。。。是我粗心了~


   

uliux

看看学学！