对内核fork进程中写时复制的理解记录

前言

文章写于学习Redis时对aof后台重写中写时复制的疑问

一、感到不理解的歧义

在部分技术文档中（以小林的文章为例），对写时复制后的内存权限存在如歧义：
!

二、正确技术表述

根据Linux内核实现（5.15+版本），写时复制的内存权限变化应表述为：
"在fork()创建子进程后，父子进程通过共享只读页表项指向同一物理页。当任一进程尝试写入时，CPU的MMU单元会触发缺页异常。内核处理程序将执行以下操作：

1. 分配新物理页并复制原始内容
2. 仅修改当前进程的页表项，将其指向新物理页并标记为可写
3. 保持其他共享进程的页表项不变，仍指向原物理页且保持只读属性"

附：概念关系图

进程A写操作
    │
    ▼
触发缺页异常 ──┐
    │          │
    ▼          │
内核分配新物理页 <──┘
    │
    ▼
更新进程A页表项：
   - 指向新物理页
   - 标记为可写
    │
    └── 进程B页表项保持不变：
         - 仍指向原物理页
         - 保持只读属性