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

前言

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

一、感到不理解的歧义

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

二、正确技术表述

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

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

附：概念关系图

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