c - 关于内存管理中函数arch_get_unmapped_area的一个问题(linux)

Question

在书http://www.ecsl.cs.sunysb.edu/elibrary/linux/mm/mm.pdf第202~203页

if (addr) {
   addr = PAGE_ALIGN(addr);
   vma = find_vma(current->mm, addr);
   if (TASK_SIZE - len >= addr &&
   (!vma || addr + len <= vma->vm_start))
   return addr;
}

如果 addr 不为零，我们将其对齐到页面边界。我们调用函数find vma() 以查看给定地址是否包含在现有 VMA 中。如果它不包含在任何 VMA 中，映射的结尾在进程地址空间，我们返回地址。

我的问题是:
为什么我们检查 addr + len <= vma->vm_start？
addr + len <= vma->vm_start 怎么可能？如果在 vma 中找到地址，则地址 > vm_start，对吗？如果 len 是正数(应该是，对)，那么 addr + len <= vma->vm_start 怎么可能？

Answer 1

看看find_vma源码里的注释就知道了:

/* 查找第一个满足addr < vm_end 的VMA，没有则为NULL。 */

因此，find_vma() 可能会返回一个实际上并未映射地址的 vma，因此会进行检查。