如何解决GHC/Stack调试器停止时资源未释放致系统冻结问题？

问题背景 #

在Ubuntu 22.04.5 LTS环境下，使用VS Code的Haskell GHCi Debug Adapter（Phoityne扩展）配合GHC 8.8.4/Stack 3.1.1调试Haskell程序时，遇到以下问题：

• 程序进入长时间循环或计算时，点击调试器的「停止」按钮会导致系统完全冻结
• 鼠标、键盘输入无响应，无法打开htop排查资源占用
• 仅能通过强制重启恢复系统
  怀疑停止调试时线程、内存、文件句柄等资源未被正确释放。

相关代码示例：

readMSet :: FilePath -> IO (MSet String)
readMSet fileName = do
    content <- readFile fileName
    let mset = processMSet content
    return mset

processMSet :: String -> MSet String
processMSet content =
    let ls = lines content
    in foldl add (MS []) ls -- 创建多重集合

main = do
   m1 <- readMSet "path_to_file"

解决方案 #

1. 设置计算超时，自动终止并释放资源 #

可以通过代码或系统层面的超时机制，避免计算无限运行导致调试卡死：

代码层面：使用timeout函数

借助System.Timeout模块的timeout函数，为耗时计算设置超时时间，超时后自动终止：

import System.Timeout (timeout)

main = do
  -- 设置5秒超时（单位：微秒）
  maybeM1 <- timeout (5 * 10^6) $ readMSet "path_to_file"
  case maybeM1 of
    Just m1 -> putStrLn "计算完成"
    Nothing -> putStrLn "计算超时，已自动终止"

系统层面：用timeout命令启动调试进程

通过系统timeout命令限制stack ghci的运行时长，超时后强制终止整个进程：

timeout 30s stack ghci

2. 配置调试器/ghci，实现安全终止 #

升级工具版本

GHC 8.8.4为2020年发布的旧版本，存在线程管理、资源释放的潜在bug。建议升级到较新的稳定版GHC（如9.2.x或9.4.x）及最新版Stack，新版本对调试场景的进程终止兼容性更好。

配置Phoityne扩展强制终止进程

在VS Code的launch.json中添加调试配置，禁用多线程以减少资源泄漏风险：

{
  "version": "0.2.0",
  "configurations": [
    {
      "type": "ghc",
      "request": "launch",
      "name": "Haskell Debug",
      "program": "${workspaceFolder}/app/Main.hs",
      "ghciArgs": ["-fno-threaded"],
      "startup": "${workspaceFolder}/app/Main.hs"
    }
  ]
}

若Phoityne扩展存在forceKill相关设置，建议开启该选项，让停止调试时直接强制杀死ghci进程，避免优雅终止卡在耗时计算中。

系统层面强制终止进程

若调试时卡顿但未完全冻结，可打开终端执行以下命令强制杀死相关进程：

pkill -9 ghci
# 或
pkill -9 stack

若已完全冻结，可使用Ubuntu的SysRq组合键安全重启：按下Alt + SysRq + R → E → I → S → U → B，依次解锁键盘、终止进程、杀死进程、同步磁盘、挂载只读、重启系统，避免数据丢失。

优化惰性求值（辅助缓解）

强制求值可避免调试时惰性计算导致的后续长时间运行，减少触发冻结的场景。借助Control.DeepSeq模块强制完成计算：

import Control.DeepSeq (NFData, deepseq)

readMSet :: (NFData (MSet String)) => FilePath -> IO (MSet String)
readMSet fileName = do
    content <- readFile fileName
    let mset = processMSet content
    mset `deepseq` return mset -- 强制完成mset的求值

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