fork发生复制的时候子进程会复制什么？｜阿里巴巴后端开发面经解析

60 秒回答模板

fork 发生时，子进程会得到父进程当时执行状态的一个近似副本，但这个“复制”不能理解成所有内存和资源都立即深拷贝。内核首先为子进程创建新的进程描述符和调度实体，分配新的 PID，并设置父子关系。子进程拥有独立的虚拟地址空间结构，代码段、数据段、堆、栈、mmap 区等在语义上看起来和父进程一样，但物理页通常不会立刻复制，而是父子进程的页表先指向相同物理页，并把可写页标记为写时复制；只有某一方写入时触发缺页异常，内核才复制对应页，所以 fork 很快。文件描述符表会被复制一份，子进程有相同的 fd 编号，但这些 fd 往往指向同一个 open file description，因此文件偏移量、文件状态标志会共享，关闭 fd 本身互不影响引用计数。信号处理方式、信号屏蔽字、当前工作目录、根目录、环境变量、资源限制、umask 等会继承；pending signal、定时器、部分锁、线程等则有特殊规则。多线程进程 fork 后，子进程只保留调用 fork 的那个线程，这也是 fork 后通常尽快 exec 的原因。fork 的返回值也不同：父进程拿到子进程 PID，子进程拿到 0，失败返回 -1。

考点 进程实体

主线 执行位置

易错点 误以为 fork 会立刻复制父进程的全部物理内存。

深入解析

进程实体

fork 会创建新的进程实体，子进程拥有自己的 PID、进程描述符、调度信息、内核栈和父子关系，不是和父进程共用同一个进程控制块。父子进程从调度角度看是两个可独立运行的实体，后续由调度器分别调度。

执行位置

子进程从 fork 返回点继续执行，程序计数器、寄存器上下文和用户态栈内容在语义上继承父进程当时的状态。因此父子进程会从同一行代码之后分叉执行，只是 fork 的返回值不同，所以子进程不是从 main 重新开始。

地址空间视图

虚拟地址空间会被复制为一份独立的地址空间视图，代码段、全局区、堆、栈、匿名 mmap、文件映射等映射关系通常被继承。它们看起来地址相同，但属于父子各自的进程空间，后续写入不会直接改到对方变量。

写时复制

物理内存页大多不会立即复制，Linux 通过写时复制让父子页表暂时指向相同物理页，写入时才复制被修改的页。这是 fork 高效的关键，也解释了父子进程修改变量互不影响，因为复制粒度通常是被写到的页面。

页表成本

页表本身需要为子进程建立对应结构，页表项可能共享物理页引用并调整权限、引用计数和 COW 标记，所以 fork 不是完全零成本。进程地址空间很大时，复制页表结构也可能带来开销，这也是服务端关注 fork 延迟的原因之一。

文件描述符

文件描述符表会复制，子进程拥有一组相同编号的 fd；但 fd 指向的底层打开文件描述通常共享，所以文件偏移量和部分文件状态会相互影响。关闭某个 fd 只减少引用计数，不会立刻影响另一方的 fd 编号。

进程属性

当前工作目录、根目录、umask、环境变量、资源限制、会话和进程组等进程属性会继承，但后续修改通常按各自对象或引用规则生效。回答时应避免简单说全部共享或全部独立，而要区分复制值、引用计数和共享底层对象。

信号语义

信号处理函数和信号屏蔽字会继承，但未决信号等状态不应简单说成全部复制，具体要区分进程级和线程级语义。信号相关问题往往考察候选人是否理解继承规则的边界，不能用一句完全一样概括；更好的说法是先讲常见继承项，再点出未决信号等特殊状态。

线程和锁

锁和线程是高频陷阱，多线程进程 fork 后子进程只存在调用 fork 的线程，其他线程持有的互斥锁状态可能遗留，容易导致死锁。因此多线程程序 fork 后通常只做异步信号安全操作并尽快 exec。

fork 与 exec

fork 常与 exec 搭配，fork 负责制造子进程，exec 负责用新程序替换当前地址空间。在 exec 前，子进程仍然带着父进程的大量继承状态，所以文件描述符继承和 close-on-exec 也很重要。

易错点

误以为 fork 会立刻复制父进程的全部物理内存。
误以为父子进程共享同一个虚拟地址空间，导致变量修改会互相可见。
误以为文件描述符完全独立，忽略了底层打开文件描述和文件偏移量共享。
把文件描述符表、文件对象、inode 或 vnode 混为一个概念。
认为所有信号状态都会原样复制，不区分处理方式、屏蔽字和未决信号。
忽略多线程 fork 后子进程只剩调用 fork 的线程。
认为 fork 后子进程从 main 开始执行，而不是从 fork 返回处继续执行。
把 fork 和 exec 混淆，以为 fork 本身会加载新程序。

面试官追问

为什么 fork 之后父子进程修改同一个全局变量不会互相影响？

父子进程拥有独立的虚拟地址空间语义。初始物理页可能通过写时复制共享，但任一方写入时会触发缺页异常并复制对应页，因此修改只影响自己的地址空间。

fork 后两个进程同时写同一个文件描述符，文件偏移量会怎样变化？

父子进程的 fd 编号各自存在，但通常指向同一个 open file description，因此共享文件偏移量。两边写入会共同推进偏移量，具体顺序取决于调度和写入原子性。

写时复制是怎么通过页表权限和缺页异常实现的？

fork 后父子页表指向同一物理页，并把可写页标记为只读或 COW。进程写入时触发缺页异常，内核复制该页、更新页表权限和引用计数，然后让写操作继续。

fork 和 vfork、clone 的区别是什么？

fork 创建近似完整的子进程并使用写时复制；vfork 更强调子进程在 exec 或 exit 前与父进程共享地址空间且父进程阻塞；clone 可细粒度选择共享哪些资源，是线程和容器相关机制的重要基础。

多线程程序里 fork 后为什么容易死锁？

fork 后子进程只保留调用 fork 的线程，其他线程不会存在，但它们持有的锁状态可能被继承。如果子进程再尝试获取这些锁，就可能永远等不到释放者。

fork 后马上 exec，为什么仍然需要关注文件描述符继承和 close-on-exec？

exec 会替换地址空间，但默认不会关闭所有文件描述符。没有设置 close-on-exec 的 fd 可能泄漏到新程序，带来安全、资源占用或端口无法释放等问题。