进程是否共享动态加载库的只读段？附实验验证分析

结论先行 #

macOS上的动态库只读段（__TEXT、__DATA_CONST、__LINKEDIT等）确实会在进程间共享物理内存，你的实验观察到的虚拟地址不同、mmap标记为private是正常现象，并不影响共享逻辑。

关键细节解释 #

1. 虚拟地址不同的原因 #

动态库默认启用ASLR（地址空间布局随机化），每个进程加载时会被分配不同的基地址，因此虚拟地址必然不同，但这只是地址空间的映射差异，底层物理页可以完全复用。

2. mmap标记private的真相 #

对于只读段，即使mmap使用MAP_PRIVATE标记，只要进程不对该段做写入操作，内核就不会触发写时复制（Copy-On-Write，COW）。多个进程的虚拟页会直接映射到同一份物理页，实现内存共享。只有当某个进程尝试修改该段（比如误写只读内存），内核才会为该进程复制一份私有物理页，此时共享才会被打破。

你看到的那处shared映射，通常是动态库的某些元数据或者系统级共享区域，但只读段的共享逻辑并不依赖这个标记。

验证共享的更直接方法 #

如果想确认物理内存确实共享，可以用以下方法：

• 用pagesize命令获取系统页大小，结合vmmap输出的段大小，计算该段占用的物理页数
• 用ps aux | grep main找到两个进程的PID，再用pmap -x <PID>查看每个进程的内存使用，对比只读段的RSS（驻留集大小）——如果共享生效，两个进程的该段RSS总和会远小于段大小的两倍

补充说明 #

动态库的可写段（比如__DATA）因为包含进程私有状态，会通过写时复制机制处理：初始时可能共享物理页，但一旦任何进程写入，就会生成私有副本，不再共享。

内容的提问来源于stack exchange，提问作者A.G