用地址区间索引进程虚拟内存
Linux 用 Maple Tree 管理进程的 VMA，将虚拟地址区间关联到映射对象。
相关概念
工程问题#
缺页处理和内存映射操作既要定位某个地址所属的 VMA，也要遍历映射、修改区间；地址空间稀疏且映射会拆分与合并。
实际实现#
mm_struct 的 mm_mt 保存区间映射。vma_lookup 使用 mtree_load 查包含地址的 VMA，迭代器支持继续访问后续区间。
处理流程#
- 以虚拟地址作为查询键
- 在 Maple Tree 定位覆盖区间
- 取出 VMA 并检查权限或更新映射
源码片段#
固定版本 · 原文摘录include/linux/mm.hv6.12 · L3429–L3440
3429/**3430 * vma_lookup() - Find a VMA at a specific address3431 * @mm: The process address space.3432 * @addr: The user address.3433 *3434 * Return: The vm_area_struct at the given address, %NULL otherwise.3435 */3436static inline3437struct vm_area_struct *vma_lookup(struct mm_struct *mm, unsigned long addr)3438{3439 return mtree_load(&mm->mm_mt, addr);3440}vma_lookup
调用 mtree_load，以地址在 mm_mt 区间树中找到覆盖该地址的 VMA；没有匹配时返回 NULL。这里展示 VMA 索引入口，不是页表遍历，也不负责锁定 VMA 或检查映射权限。
完整短函数及其原始文档注释；调用者必须满足对应的同步与对象生命周期要求。
收益与取舍#
工程分析带来的收益
- 区间表示避免逐页建立对象索引
- 支持有序遍历与区间更新
付出的代价
- 工程分析：复杂节点和区间维护增加实现成本
- 并发安全仍依赖相应锁与对象生命周期规则
可比较的选择
增强平衡树也能索引区间，但节点布局、遍历和空洞查找方式不同。
版本与适用范围#
对应 Linux v6.12 的进程 VMA 索引；不要混同页表，页表负责虚拟页到物理页的映射。