fork后父子进程调用malloc返回地址为何存在操作系统差异？

核心结论 #

这个差异完全属于操作系统内核与C标准库的合法实现细节，普通开发者不需要针对性关注，也不需要做额外的跨操作系统适配。

原理说明 #

1. 所有现代操作系统都采用进程独立虚拟地址空间设计，同一个虚拟地址在不同进程中，会映射到完全不同的物理内存区域。所以父子进程malloc返回相同的虚拟地址本身就完全合法，不会导致双方的数据互相干扰。
2. Linux下返回相同地址的逻辑和你理解的一致：fork时子进程通过写时复制（COW）机制完整继承父进程的地址空间布局、以及C标准库malloc分配器的内部状态，父子进程后续第一次调用malloc时，分配器查询到的空闲块位置相同，就会返回相同的虚拟地址。COW机制会保证父子对该地址写入时自动触发物理页复制，各自维护独立的数值副本，你测试中相同地址分别存1和5都能正常打印，就是该机制的正常表现。
3. macOS下返回不同地址，一般是两个原因导致的：要么是XNU内核在fork时为了强化安全，对部分地址空间做了额外的随机化偏移调整；要么是macOS自带的libc中malloc实现，会在fork后主动重置部分内部状态，最终分配到不同的虚拟地址，这也是符合POSIX标准的合法行为。

开发者注意事项 #

只有当你的代码存在「将某进程的裸指针作为有效值传递给其他进程解引用使用」的错误逻辑时，才会受这个差异的影响。而这种代码本身就不符合POSIX规范，无论运行在什么操作系统上都是错误实现。常规的跨进程通信不会直接传递裸指针，也就完全不需要考虑这个差异。

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