Linux内核写时复制优化：fork与内存映射性能调校 - 第3节
3.1 fork 系统调用的语义与核心行为
fork() 是 Linux 中创建子进程的唯一系统调用（除 clone() 外）。其核心语义是：以调用进程（父进程）为模板，复制出一个几乎完全相同的子进程。子进程获得父进程的完整副本，包括代码段、数据段、堆、栈、文件描述符表、信号处理函数等。
关键语义要点：
- 返回两次：在父进程中返回子进程 PID（>0），在子进程中返回 0。
- 独立地址空间：子进程拥有独立的虚拟地址空间，但物理页通过写时复制共享。
- 继承属性：子进程继承父进程的文件描述符、信号设置、环境变量等。
- 不共享内存：除代码段外，父子进程的堆、栈数据在写入前共享同一物理页。
3.2 写时复制（Copy-on-Write）页故障处理流程
写时复制是 fork 性能优化的核心机制。子进程创建时，父子进程的虚拟地址空间映射到同一物理页，并将页表项标记为只读。当任一进程尝试写入时，MMU 触发页故障（page fault），内核在故障处理程序中完成物理页的复制与权限更新。
3.2.1 页故障处理流程步骤
| 步骤 | 操作 | 关键数据结构 |
|---|---|---|
| 1 | MMU 检测写操作到只读页，触发缺页异常 | 页表项 PTE（只读标志位） |
| 2 | CPU 切换到内核态，调用 do_page_fault() | 异常向量表 |
| 3 | 内核判断故障类型：写时复制（WP 标志） | vma->vm_flags & VM_WRITE |
| 4 | 分配新物理页框（alloc_page） | 伙伴系统（buddy allocator） |
| 5 | 将原物理页内容复制到新页（copy_user_highpage） | 页框映射表 |
| 6 | 更新子进程页表，指向新物理页并设置可写 | PTE 更新（set_pte_at） |
| 7 | 原物理页引用计数减 1，若为 0 则释放 | struct page->_refcount |
性能关键点：写时复制将 fork 的 O(n) 内存复制开销（n 为进程地址空间大小）降低为 O(1) 的页表复制开销。实际物理页复制仅在写入时按需发生，极大减少了 fork 的延迟。
3.3 子进程创建时的内存复制策略
Linux 内核在 fork() 系统调用中，通过 copy_process() 函数完成子进程的创建。内存复制策略分为两个阶段：页表复制和写时复制初始化。
3.3.1 内存复制策略对比
| 策略 | 触发时机 | 操作内容 | 性能影响 |
|---|---|---|---|
| 页表复制 | fork 调用时 | 复制父进程页表到子进程，设置只读标志 | O(页表项数量)，通常为微秒级 |
| 写时复制初始化 | fork 调用时 | 遍历 VMA，设置 VM_COW 标志，增加物理页引用计数 | O(VMA 数量)，通常为纳秒级 |
| 实际页复制 | 写入时（页故障） | 分配新页、复制内容、更新页表 | O(页大小)，约 1-10 微秒/页 |
3.3.2 关键内核函数调用链
fork()
└─ _do_fork()
└─ copy_process()
├─ dup_task_struct() // 复制 task_struct
├─ copy_mm() // 复制内存描述符
│ ├─ dup_mm() // 复制 mm_struct
│ └─ dup_mmap() // 复制 VMA 列表
│ └─ copy_page_range() // 复制页表
│ └─ copy_pte_range() // 逐页表项复制
├─ copy_fs() // 复制文件系统信息
├─ copy_files() // 复制文件描述符表
└─ copy_sighand() // 复制信号处理函数3.3.3 写时复制性能指标
| 场景 | fork 延迟（微秒） | 内存开销 | 适用场景 |
|---|---|---|---|
| 传统复制（无 COW） | 1000-5000 | 高（完整复制） | 不适用现代系统 |
| 写时复制（小进程） | 10-50 | 低（仅页表） | Web 服务器、Shell |
| 写时复制（大进程） | 50-200 | 中（VMA 遍历） | 数据库、虚拟机 |
| vfork（无 COW） | 1-5 | 无（共享地址空间） | exec 前短暂使用 |
注意事项：
- 写时复制虽然减少了 fork 延迟，但写入频繁的场景会导致大量页故障，反而降低性能。
- 大页（HugeTLB）的写时复制处理与普通页不同，需要额外注意 TLB 刷新开销。
- 使用
madvise(MADV_WIPEONFORK)可以标记某些内存区域在 fork 后不继承，减少不必要的 COW 操作。
3.4 总结：fork 内存复制策略的核心设计
Linux 内核通过写时复制机制，将 fork 系统调用的内存复制从全量复制优化为按需复制。子进程创建时仅复制页表结构，物理页通过只读映射共享。当写入发生时，内核在页故障处理中完成物理页的分配、复制和权限更新。这一设计使得 fork 的延迟与进程地址空间大小解耦，为高性能服务器和容器技术奠定了基础。