Haskell中withCurrentDirectory与runConcurrently交互异常问题

嘿，这个问题我太熟了！之前用Haskell做并发目录操作的时候也踩过一模一样的坑——本质是全局进程工作目录（CWD）被多线程共享干扰了，让我给你拆解解决思路和代码示例。

问题根源 #

Haskell的Control.Concurrent.Async创建的线程是共享同一个进程上下文的，而System.Directory里的setCurrentDirectory这类操作修改的是整个进程的全局工作目录。当你同时启动20个线程，每个线程都切换目录再执行命令时，线程之间会互相“抢”CWD：比如线程A刚切到目录X，线程B立刻切到目录Y，这时候线程A执行pwd就会返回Y的路径，导致重复执行、部分目录被跳过、输出混乱的问题。

核心解决方案：抛弃全局CWD，用绝对路径+进程独立工作目录 #

我们的目标是让每个并发任务完全独立，不依赖全局状态。具体可以通过两个关键点实现：

1. 给每个进程单独指定工作目录 #

使用System.Process库的createProcess时，通过cwd参数给每个命令指定要运行的目录，完全不用setCurrentDirectory。这样每个子进程的工作目录是独立的，不会互相干扰。

2. 用mapConcurrently安全批量执行并发任务 #

mapConcurrently会为每个目录启动一个独立的async任务，只要每个任务不修改全局状态，就能保证稳定执行。

完整示例代码 #

先导入需要的库：

import Control.Concurrent.Async (mapConcurrently)
import System.Process (createProcess, shell, waitForProcess, stdout, CreateProcess(..))
import System.IO (hGetContents)
import System.Directory (makeAbsolute) -- 用来把相对路径转成绝对路径，可选但推荐

定义单个目录的处理函数（这里以pwd为例）：

runCommandInDir :: FilePath -> IO (FilePath, String)
runCommandInDir dir = do
  -- 可选：把相对路径转成绝对路径，避免歧义
  absDir <- makeAbsolute dir
  -- 启动进程时直接指定工作目录，不用修改全局CWD
  (_, Just hOut, _, procHandle) <- createProcess 
    (shell "pwd") { cwd = Just absDir }
  -- 读取命令输出并等待进程结束
  output <- hGetContents hOut
  _ <- waitForProcess procHandle
  return (absDir, output)

主函数批量处理目录列表：

main :: IO ()
main = do
  -- 替换成你的20个目录列表
  let targetDirs = ["./dir1", "./dir2", "./dir3", "./dir4"]
  -- 并发执行所有目录的任务
  results <- mapConcurrently runCommandInDir targetDirs
  -- 打印结果，方便验证
  mapM_ (\(dir, out) -> putStrLn $ "目录 [" ++ dir ++ "] 的执行结果：" ++ out) results

额外注意事项 #

• 如果你的脚本里用到了getDirectoryContents这类操作，直接用绝对路径作为参数（比如getDirectoryContents absDir），不要依赖全局CWD。
• 对于更复杂的文件操作，优先使用System.Directory中接受FilePath参数的函数（比如listDirectory、copyFile等），这些函数本身就不依赖全局CWD，天然适合并发场景。
• 调试时可以给每个任务的输出加上目录标识，方便快速定位哪个目录的执行有问题。

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