问题背景 #

我写了一段Haskell代码，用于连接DBus会话总线、请求名称org.freedesktop.Notifications，并通过finally保证进程退出时执行清理动作（释放名称、断开连接）：

{-# LANGUAGE OverloadedStrings #-}
import Control.Exception (finally)
import Control.Monad (forever)
import Xmobar (tenthSeconds)
import DBus.Client

startServer' :: IO (Either RequestNameReply (IO ()))
startServer' = do
  client <- connectSession
  let busName = "org.freedesktop.Notifications"
  reply <- requestName client busName [nameDoNotQueue]
  let stop = do
        releaseName client busName
        disconnect client
  return $ if reply == NamePrimaryOwner
    then Right stop
    else Left reply

main :: IO ()
main = startServer' >>= \case
  Left err -> print err
  Right stop -> print "hello" >> forever (tenthSeconds 1 >> print "boring")
                `finally` print "bye" >> stop

代码逻辑：

• 连接到DBUS_SESSION_BUS_ADDRESS指定的会话总线（我的系统上是unix:path=/run/user/1000/bus）
• 请求总线分配指定名称，若不是主所有者则返回错误；若是则返回清理动作stop，用于释放名称并断开连接
• 主逻辑循环打印boring，通过finally确保退出时打印bye并执行stop

我的观察 #

1. 正常运行时，程序会打印hello然后持续输出boring
2. 用kill $(pidof that-program)（默认发送SIGTERM）杀死进程时，没有打印bye，说明finally里的代码没执行
3. 但奇怪的是，此时我仍能重新运行程序，并且成功获取到目标DBus名称（不会提示名称被占用）
4. 若用kill -KILL $(pidof that-program)发送SIGKILL信号：
   • 看似程序还在打印boring（即使PID已经不存在）
   • 重新运行程序会提示NameExists，说明名称被占用
5. 关闭运行程序的终端后，名称会被释放，程序可以重新运行

疑问与解答 #

1. 为什么SIGTERM杀死进程时finally没触发，但名称仍能被回收？

（1）SIGTERM不触发Haskell异常处理

Haskell的finally、bracket这类清理机制是基于异步异常实现的，但GHC运行时（RTS）默认只处理少数信号（比如SIGINT，也就是Ctrl+C），会将其转为异步异常触发清理逻辑。而SIGTERM不在默认处理列表里，所以当你用默认kill命令时，GHC RTS直接终止进程，完全跳过了Haskell层面的异常处理和清理代码——这就是你看不到bye的原因。

（2）DBus总线的自动回收机制

DBus会话总线本身会主动监控客户端的连接状态：当进程被SIGTERM杀死后，内核会自动关闭进程与总线之间的Unix域套接字连接，总线检测到连接断开后，会自动回收该客户端持有的所有名称，不需要客户端主动调用releaseName。这就是你不用执行stop动作也能重新运行程序的核心原因——总线已经帮你做了清理。

2. 为什么SIGKILL的表现完全不同？

SIGKILL是内核级的强制终止信号，进程无法捕获、忽略或处理它：

• 发送SIGKILL后，GHC RTS直接被内核终止，甚至没机会关闭DBus连接套接字
• 此时DBus总线暂时检测不到连接断开（套接字可能处于半开状态），所以会暂时保留该名称，导致重新运行程序时提示NameExists
• 你看到的“PID不存在但还在打印boring”其实是终端的输出缓存残留——进程已经被内核彻底杀死，不会再产生新的输出。

3. 关闭终端就能释放名称的原因？

当你关闭终端时：

• 终端会向所有子进程（包括你的Haskell程序）发送SIGHUP信号，默认情况下进程收到该信号会正常退出
• 即使进程没处理SIGHUP，终端关闭后，与进程的PTY连接会断开，内核会清理进程的所有资源，DBus连接也会被关闭，总线检测到后就会回收名称。

解决方案：让SIGTERM触发清理逻辑 #

如果你想让SIGTERM也触发finally的清理动作，可以用unix包的installHandler将SIGTERM转为Haskell异步异常：

{-# LANGUAGE OverloadedStrings #-}
import Control.Exception (finally, AsyncException(UserInterrupt), throwTo)
import Control.Monad (forever)
import Xmobar (tenthSeconds)
import DBus.Client
import System.Posix.Signals (Handler(Catch), installHandler, sigTERM)
import Control.Concurrent (myThreadId)

startServer' :: IO (Either RequestNameReply (IO ()))
startServer' = do
  client <- connectSession
  let busName = "org.freedesktop.Notifications"
  reply <- requestName client busName [nameDoNotQueue]
  let stop = do
        releaseName client busName
        disconnect client
  return $ if reply == NamePrimaryOwner
    then Right stop
    else Left reply

main :: IO ()
main = do
  -- 注册SIGTERM处理，将其转为UserInterrupt异常
  tid <- myThreadId
  _ <- installHandler sigTERM (Catch $ throwTo tid UserInterrupt) Nothing
  startServer' >>= \case
    Left err -> print err
    Right stop -> print "hello" >> forever (tenthSeconds 1 >> print "boring")
                  `finally` (print "bye" >> stop)

这样，当你用kill发送SIGTERM时，程序会收到UserInterrupt异常，触发finally逻辑，打印bye并执行stop清理动作。

额外说明 #

DBus会话总线的“连接断开即回收名称”是默认行为，系统总线可能有不同配置，但会话总线基本都采用这种策略。除非连接没有被正确关闭（比如SIGKILL导致的套接字半开状态），否则不会出现名称永久占用的情况——总线最终也会通过心跳机制检测到异常并回收名称，只是有短暂延迟。