Java调用GHCi执行Haskell代码时出现死锁问题求助

我开发一款Windows应用，用Haskell实现数值方法求解，Java负责GUI界面开发与用户输入处理。原本通过共享JSON文件实现进程间通信一切正常，但改成Java通过cmd调用GHCi加载执行Haskell文件时，程序频繁陷入疑似死锁状态，无报错信息。

相关Java代码如下：

try {
    // Serialize dataMap to JSON and write to file
    String jsonString = objectMapper.writeValueAsString(dataMap);
    FileWriter fileWriter = new FileWriter("newtonRaphson.json");
    fileWriter.write(jsonString);
    fileWriter.close();

    // Read JSON file
    File jsonFile = new File("newtonRaphson.json");
    JsonNode rootNode = objectMapper.readTree(jsonFile);

    // Extract solution from JSON
    Iterator<Map.Entry<String, JsonNode>> fields = rootNode.fields();
    Map.Entry<String, JsonNode> secondEntry = fields.next();
    JsonNode solutionOut = secondEntry.getValue();
    String solutionText = solutionOut.asText();

    // Display equation on GUI
    Text messageTextFxn = new Text(equation);
    messageTextFxn.setFont(new Font("System", 15));
    fxnPane.getChildren().add(messageTextFxn);

    // Display solution on GUI
    Text messageTextSol = new Text(solutionText);
    messageTextSol.setFont(new Font("System", 15));
    solPane.getChildren().add(messageTextSol);

    // Launch Haskell REPL and interact with it
    String haskellPath = "path\\to\\hsFile";
    ProcessBuilder builder = new ProcessBuilder("stack", "repl");
    builder.redirectInput(ProcessBuilder.Redirect.INHERIT);
    builder.redirectOutput(ProcessBuilder.Redirect.INHERIT);
    builder.redirectError(ProcessBuilder.Redirect.INHERIT);
    Process process = builder.start();

    OutputStream outputStream = process.getOutputStream();
    PrintWriter writer = new PrintWriter(outputStream);
    
    // Load Haskell module
    writer.println(":l " + haskellPath + "\\newtonRaphson");
    writer.flush();
    System.out.println("Haskell module loaded successfully.");

    // Execute Haskell function
    writer.println("nr");
    writer.flush();
    System.out.println("Haskell function executed successfully.");

    // Close writer and wait for process to terminate
    writer.close();
    int exitCode = process.waitFor();

    if (exitCode == 0) {
        System.out.println("Process completed successfully.");
    } else {
        System.out.println("Process terminated with an error.");
    }
}

可行解决思路 #

1. 放弃REPL交互，直接编译执行Haskell程序 #

GHCi作为交互式环境，不适合被程序自动化调用，容易出现时序和阻塞问题。建议直接将Haskell代码编译成可执行文件：

ghc -o newtonRaphson newtonRaphson.hs

Java中通过ProcessBuilder直接调用生成的newtonRaphson.exe，程序执行完成后会自动退出，避免REPL的交互阻塞。

2. 修复流处理逻辑，避免缓冲区死锁 #

原代码中同时使用redirectINHERIT和手动操作OutputStream，会导致流冲突；且未处理进程的输出/错误流，当缓冲区满时会导致进程阻塞。修改方式：

• 移除builder.redirectInput/Output/Error(ProcessBuilder.Redirect.INHERIT)配置
• 单独启动线程处理进程的标准输出和错误输出，防止缓冲区溢出
• 等待REPL返回提示符后再发送下一条命令，避免命令发送时机错误

示例代码：

ProcessBuilder builder = new ProcessBuilder("stack", "repl");
Process process = builder.start();

// 处理标准输出的线程
new Thread(() -> {
    try (BufferedReader reader = new BufferedReader(new InputStreamReader(process.getInputStream()))) {
        String line;
        while ((line = reader.readLine()) != null) {
            System.out.println("Haskell: " + line);
            // 可在这里判断是否出现REPL提示符，比如"*Main>"，再发送下一条命令
        }
    } catch (IOException e) {
        e.printStackTrace();
    }
}).start();

// 处理错误输出的线程
new Thread(() -> {
    try (BufferedReader reader = new BufferedReader(new InputStreamReader(process.getErrorStream()))) {
        String line;
        while ((line = reader.readLine()) != null) {
            System.err.println("Haskell Error: " + line);
        }
    } catch (IOException e) {
        e.printStackTrace();
    }
}).start();

// 写入命令
OutputStream outputStream = process.getOutputStream();
PrintWriter writer = new PrintWriter(outputStream);
writer.println(":l " + haskellPath + "\\newtonRaphson");
writer.flush();
// 等待模块加载完成，最优方式是监听输出判断提示符，这里用sleep做示例
Thread.sleep(1000);
writer.println("nr");
writer.flush();
Thread.sleep(500);
// 发送退出命令让REPL终止
writer.println(":quit");
writer.flush();
writer.close();

int exitCode = process.waitFor();

3. 让REPL执行完后自动退出 #

GHCi执行函数后不会自动终止，会停留在交互界面，导致process.waitFor()一直阻塞。需要在执行完目标函数后发送:quit命令，强制REPL退出。

4. 改用更可靠的进程间通信方案 #

替代共享文件+REPL的组合，比如：

• 将Haskell程序做成Socket/HTTP服务，Java通过网络请求调用求解逻辑
• 把Haskell编译成动态链接库，通过JNI/FFI在Java中直接调用函数

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