Linux/POSIX：为什么不 fork() fork *all* 线程

Question

众所周知，在 POSIX 下创建新进程的默认方式是使用 fork()（在 Linux 下，它内部映射为 clone(...)）

我想知道的是：众所周知，当调用fork()“子进程是用单个线程创建的--调用fork()的那个” （参见https://linux.die.net/man/2/fork）。如果例如某个其他线程当前持有锁，这当然会导致问题。对我来说，不分叉进程中存在的所有线程直观地感觉就像“泄漏的抽象”。

所以我想知道：为什么子进程中只会存在调用fork()的线程而不是进程的所有线程？这样做有充分的技术原因吗？

我知道Multithreaded fork 上有一个相关问题，但那里给出的答案并没有回答我的问题。

Answer 1

这两种可能性：

• 只有调用fork()的线程在子进程中继续运行

  缺点：如果另一个线程持有一个内部资源，例如一个锁，它不会被释放。

• fork()之后，所有线程都复制到子进程中

  缺点：与外部资源交互的线程继续并行运行。如果一个线程正在将数据附加到文件中：现在它会发生两次。

两者都不好，但是第一个选择只会使新的子进程死锁，而第二个选择会导致进程外部的损坏。这可以用“坏”来形容。

POSIX 确实标准化了 pthread_atfork 以尝试在第一种情况下允许自动清理，但 it cannot possibly work。

tl;dr 不要同时使用线程和分叉。如果需要，请使用posix_spawn。