4. VMA 操作 API：查找、插入、合并与分裂

VMA（Virtual Memory Area）是 Linux 内核管理进程虚拟地址空间的核心数据结构。内核提供了一组精密的操作 API，用于对 VMA 进行查找、插入、合并与分裂。这些操作是 mmap、munmap、mprotect 等系统调用的底层基石。本章深入剖析这四大操作的实现原理与调用时机。

4.1 VMA 查找：find_vma 与 find_vma_intersection

查找操作是 VMA 管理中最频繁的调用路径。内核使用红黑树（rb_tree）组织进程的 VMA 链表，以实现 O(log n) 的查找效率。

4.2 VMA 插入：vma_link 与 insert_vm_struct

当进程通过 mmap 创建新的映射区域时，内核需要将新 VMA 插入到进程的 VMA 链表和红黑树中。插入操作的核心函数是 vma_link，它封装了三个步骤：

1. 检查重叠： 调用 find_vma_intersection 确认新区间不与现有 VMA 重叠。
2. 定位插入点： 使用 find_vma_prev 找到插入位置的前驱 VMA。
3. 执行插入： 调用 __vma_link 将 VMA 同时加入红黑树和双向链表。

// 简化版 VMA 插入流程（mm/mmap.c）
int insert_vm_struct(struct mm_struct *mm, struct vm_area_struct *vma)
{
    struct vm_area_struct *prev;
    struct rb_node **rb_link, *rb_parent;

    // 1. 查找插入位置
    if (find_vma_links(mm, vma->vm_start, vma->vm_end,
                       &prev, &rb_link, &rb_parent))
        return -ENOMEM;

    // 2. 检查与 stack/gap 的冲突
    if ((vma->vm_flags & VM_GROWSDOWN) &&
        vma->vm_start < stack_guard_gap)
        return -ENOMEM;

    // 3. 执行链接
    vma_link(mm, vma, prev, rb_link, rb_parent);
    return 0;
}

4.3 VMA 合并：vma_merge 的智能决策

VMA 合并是内核减少 VMA 数量的关键优化。当新映射与相邻 VMA 具有相同的 标志位（flags）、文件偏移 和 匿名映射属性 时，内核会尝试将它们合并为一个连续的 VMA。

4.4 VMA 分裂：split_vma 的精确切割

当 munmap 或 mprotect 只作用于某个 VMA 的部分区域时，内核必须将原 VMA 分裂 为两个或三个独立的 VMA。分裂操作由 split_vma 函数实现。

// 分裂 VMA 核心逻辑（mm/mmap.c）
int split_vma(struct mm_struct *mm, struct vm_area_struct *vma,
              unsigned long addr, int new_below)
{
    struct vm_area_struct *new_vma;

    // 1. 分配新的 VMA 结构
    new_vma = vm_area_dup(vma);
    if (!new_vma)
        return -ENOMEM;

    if (new_below) {
        // 分裂点在下方：新 VMA 在低地址
        new_vma->vm_end = addr;
        vma->vm_start = addr;
    } else {
        // 分裂点在上方：新 VMA 在高地址
        new_vma->vm_start = addr;
        vma->vm_end = addr;
    }

    // 2. 调整页偏移（文件映射需要）
    if (vma->vm_file)
        new_vma->vm_pgoff += (new_vma->vm_start - vma->vm_start) >> PAGE_SHIFT;

    // 3. 将新 VMA 插入链表
    vma_link(mm, new_vma, vma, NULL, NULL);
    return 0;
}

4.5 四大操作的综合调用关系

在实际系统调用中，查找、插入、合并、分裂四个操作往往协同工作。以 mmap 系统调用为例，其内部流程如下：