mmap MAP_PRIVATE映射：同进程内同一文件的多映射是否仍为私有？

规范层面的现有边界 #

• Linux man手册对mmap(2)的MAP_PRIVATE定义、POSIX的mmap规范，都未对“同进程内多份同文件MAP_PRIVATE映射之间的修改互相感知性”做出强制明文规定，属于未被明确覆盖的场景
• 现有规范仅明确两个核心约束：
  • MAP_PRIVATE映射的所有修改都不会回写到对应的底层文件
  • 这类映射的修改仅在调用进程自身的上下文内可见，不会被其他进程的同文件映射感知
• POSIX对MAP_PRIVATE的语义描述仅停留在“映射的修改仅对调用进程可见、不改动底层对象”，没有细化同进程内不同独立映射实例的交互规则
• 规范明确提及：mmap()调用完成后，对原文件的后续修改是否会在已建立的映射区域可见，属于未定义行为

Linux内核的实际实现表现 #

基于Linux内核的长期稳定实现逻辑，这个场景下的实际行为是明确且可复现的：

• 同一进程内，指向同一文件同一偏移范围的多份MAP_PRIVATE映射，初始化阶段会共享同一套基于写时复制（CoW）机制的物理页表项，初始映射内容完全一致
• 当任意一份映射发起写操作时，会触发标准CoW流程：内核独立分配新的物理页，拷贝原页内容，仅将当前触发写操作的映射对应的页表项，指向这份新的私有拷贝
• 其余同进程内的同文件MAP_PRIVATE映射，页表项仍然指向初始的共享CoW页，完全感知不到触发写操作的映射上发生的内容修改，和跨进程的可见性表现完全一致

常见认知误区 #

• 不少人会误以为同进程内的MAP_PRIVATE映射因为同属一个地址空间，会自动同步修改，实际上每一次独立mmap调用生成的MAP_PRIVATE区域，都是独立的私有地址空间段，修改天然隔离
• 从设计语义上看，MAP_PRIVATE的核心是建立独立的私有内容副本，哪怕多份映射的初始来源是同一个文件，也应当被视为互不影响的独立区域，这也是内核实际实现遵循的逻辑

内容的提问来源于stack exchange，提问作者Jonathon Reinhart