3. VMA 数据结构：struct vm_area_struct 详解、红黑树组织、链表结构

虚拟内存区域（VMA）是 Linux 内核管理进程地址空间的核心抽象。每一个连续的、具有相同权限和映射属性的虚拟地址段，都由一个 struct vm_area_struct 实例描述。本章深入剖析该结构体的关键字段、内核如何通过红黑树与双向链表组织 VMA，以及这些数据结构如何支撑 mmap、缺页异常等核心路径的高效查找。

3.1 struct vm_area_struct 核心字段详解

每个 VMA 对象描述进程虚拟地址空间中的一个连续区间。其定义位于 include/linux/mm_types.h，以下列出最关键的字段及其作用：

3.2 VMA 的双向链表组织

每个进程的 mm_struct 维护一个按虚拟地址升序排列的 VMA 双向链表。链表头通过 mmap 字段访问：

struct mm_struct {
    struct vm_area_struct *mmap;          /* 链表头，指向第一个 VMA */
    struct rb_root mm_rb;                 /* 红黑树根节点 */
    /* ... */
};

链表通过 vm_next 和 vm_prev 指针串联所有 VMA，保证 vm_start 严格递增且区间不重叠。链表主要用于遍历所有 VMA 的场景，例如 /proc/<pid>/maps 的读取、内存统计等。

3.3 VMA 的红黑树组织

红黑树是一种自平衡二叉搜索树，保证查找、插入、删除操作的时间复杂度为 O(log n)。每个 VMA 通过 vm_rb 字段挂入 mm_struct->mm_rb 红黑树，以 vm_start 为键值进行排序。

内核提供以下红黑树操作接口：

• 查找： find_vma(mm, addr) —— 返回第一个 vm_end > addr 的 VMA，用于缺页处理和地址合法性检查。
• 插入： vma_rb_insert(vma, mm) —— 在 mmap 或 brk 扩展时插入新 VMA。
• 删除： vma_rb_erase(vma, mm) —— 在 munmap 或 VMA 合并时移除节点。

3.4 VMA 数据结构关系图

下图展示了 mm_struct、VMA 双向链表与红黑树之间的组织关系：

3.5 VMA 查找算法对比

3.6 VMA 操作的核心流程

当用户程序调用 mmap 创建新的映射时，内核执行以下步骤：

1. 地址分配： 调用 get_unmapped_area() 在进程地址空间中查找空闲区间。
2. VMA 创建： 分配 struct vm_area_struct 实例，填充 vm_start、vm_end、vm_flags、vm_file 等字段。
3. VMA 链接： 调用 vma_link() 将新 VMA 同时插入双向链表和红黑树。
4. 页表初始化： 对于文件映射，调用 mmap_region() 中的文件 mmap 操作；匿名映射则仅标记 VMA，实际物理页在缺页时分配。

3.7 红黑树与链表的协同工作

内核通过 vma_link() 和 __vma_unlink() 保证两种结构的一致性。以下伪代码展示了插入操作的核心逻辑：

static void vma_link(struct mm_struct *mm, struct vm_area_struct *vma)
{
    /* 1. 插入红黑树 */
    vma_rb_insert(vma, &mm->mm_rb);

    /* 2. 插入双向链表（保持地址升序） */
    if (mm->mmap == NULL) {
        mm->mmap = vma;
        vma->vm_next = NULL;
        vma->vm_prev = NULL;
    } else {
        struct vm_area_struct *prev = find_vma_prev(mm, vma->vm_start);
        vma->vm_next = prev->vm_next;
        vma->vm_prev = prev;
        if (prev->vm_next)
            prev->vm_next->vm_prev = vma;
        prev->vm_next = vma;
    }

    /* 3. 更新 mm_struct 统计信息 */
    mm->map_count++;
}