System.Process.createProcess生成进程的生命周期决定因素探究

核心结论 #

默认情况下，createProcess不会自动终止生成的子进程，你需要手动管理子进程的生命周期。不同程序表现出的差异，源于它们对标准输入输出管道关闭的处理逻辑不同。

为什么grep/cat会自动退出？ #

当Haskell主进程退出时，它创建的标准输入/输出管道会被系统关闭：

• grep hello这类程序以处理标准输入为核心逻辑，一旦检测到stdin（管道）关闭（收到EOF），处理完剩余数据后就会自行退出。
• cat /dev/zero如果被绑定到管道，当stdout管道被关闭时，它会收到SIGPIPE信号（尝试向已关闭的管道写入数据），默认行为是退出进程。

为什么socat会残留？ #

你使用的socat tcp-listen:12345,fork -参数中，fork是关键：

• socat启动后会分为两个进程：父进程持续监听TCP端口，子进程负责处理具体的连接和标准输入输出交互。
• 当Haskell主进程退出、管道关闭时，只有处理IO的子进程会受影响退出，但监听端口的父进程并不依赖标准输入输出，它会继续运行等待新连接，因此出现残留。

如何正确管理子进程生命周期？ #

你需要通过ProcessHandle（代码中的h）主动管理：

1. 关闭管道句柄：先关闭你创建的stdin/stdout管道（hClose i、hClose o），让子进程感知到IO结束。
2. 主动终止进程：调用terminateProcess h向子进程发送终止信号。
3. 回收进程资源：调用waitForProcess h等待子进程退出，避免产生僵尸进程。

修改后的示例代码：

import System.Process
import System.IO (hClose)
import System.Exit (exitSuccess)

main :: IO ()
main = do
  args <- getArgs
  (Just i, Just o, Nothing, h) <- createProcess (proc "socat" args)
                                                {std_in = CreatePipe, std_out = CreatePipe}
  -- 执行你的IO操作（比如读写管道）
  -- ...
  
  -- 清理步骤
  hClose i
  hClose o
  terminateProcess h
  _ <- waitForProcess h
  exitSuccess

额外注意 #

• 如果不调用waitForProcess，子进程退出后会变成僵尸进程，直到父进程回收它，或父进程退出后由系统进程（如init/systemd）回收。
• 对于像socat这种会fork子进程的程序，仅终止主进程可能不够，你可能需要额外处理（比如通过进程组来终止所有相关进程），但通常terminateProcess会向整个进程组发送信号，能覆盖这种场景。

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