什么是double forking？双叉与emacs &的区别及子shell作用探讨

嘿，这个问题问到点子上了——double fork（双重fork）是Unix/Linux生态里用来创建完全脱离终端、不受shell退出影响的守护进程的经典技巧，咱们一步步把它讲明白：

先搞懂：什么是Double Forking？ #

简单说，它是通过两次创建子进程的操作，让最终的目标进程彻底和发起它的shell/终端斩断关联：

1. 第一步：用子shell（也就是你说的( )包裹命令）创建第一个子进程——这是第一次fork；
2. 第二步：在这个子shell里，再把目标进程放到后台（第二次fork，比如command &）；
3. 紧接着，第一个子shell（第一次fork的进程）直接退出，这样第二次fork出来的进程就成了「孤儿进程」，会被系统的init进程（或者systemd这类现代初始化系统）接管。

和emacs &的核心区别 #

直接用emacs &把进程丢后台，看起来也是“后台运行”，但和double fork的效果差得远：

• 终端关联度不同：
  emacs &的父进程就是当前的shell，它依然属于终端的进程组。当你关闭终端时，shell会给所有属于这个进程组的进程发SIGHUP信号，emacs会收到这个信号并终止；而double fork后的进程，父进程是init/systemd，和原终端完全没关系，终端退出对它毫无影响。
• 会话/进程组独立性不同：
  emacs &还留在原来的会话（session）里，依然可能被终端的信号影响；double fork会让最终进程脱离原会话，成为独立的会话领导者，彻底摆脱终端的控制。
• 进程状态可见性不同：
  用jobs命令还能看到emacs &的进程状态，它只是“后台运行”，但还是属于当前shell的管理范围；double fork后的进程，你在原shell里用jobs根本看不到，它已经是系统级的后台进程了。

子shell（( )内运行）的意义 #

用( )把命令包在子shell里运行，本质是完成第一次fork，这一步是整个技巧的关键：

1. 避免成为进程组领头进程：如果直接在原shell里fork一次（比如emacs &），进程会成为进程组的领头进程，依然有机会重新获取控制终端；而第一次fork出的子shell再fork一次，子shell退出后，第二次fork的进程就不会是进程组领头进程，彻底失去获取终端的能力。
2. 确保被init接管：子shell退出后，第二次fork的进程变成孤儿进程，系统会自动把它交给init/systemd收养，这样就算原shell和终端都没了，进程依然有“养父”管理，能稳定运行。
3. 隔离运行环境：子shell本身会继承原shell的环境变量，但运行过程中的环境变更不会反向影响原shell，这也能让目标进程的运行环境更干净、独立。

举个直观的shell写法对比：

• 普通后台运行：emacs &（终端关闭就终止）
• double fork写法：( (emacs &) )（终端关闭依然持续运行）

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