Haskell跨进程交互程序阻塞问题分析与解决

一、默认缓冲模式的环境差异 #

Haskell的stdout缓冲模式会根据运行环境自动切换：

• 在终端直接运行时，默认是LineBuffering（行缓冲）：每输出一行就立刻刷新缓冲区，把内容输出到终端。这也是单独运行main.hs时能正常响应的原因。
• 当被其他程序通过管道/进程交互调用时，默认是BlockBuffering（块缓冲）：程序会把输出内容攒到固定大小的缓冲区（通常几KB），直到缓冲区填满或者程序退出时，才会一次性把内容输出。

二、两种交互方式的结果差异 #

1. 写一条输入读一条输出无响应
   当test_program.hs发送单条输入（比如hello）后，main.hs处理生成的输出会被存在块缓冲区里——此时内容量远没达到缓冲区的触发阈值，main.hs不会把输出发送给test_program.hs。而test_program.hs一直在等待输出，双方陷入等待，就出现了无响应的情况。

2. 先写所有输入再批量读取正常
   当一次性把所有输入（hello、bye、exit）发送给main.hs，程序处理完所有逻辑后，要么缓冲区被填满触发输出，要么程序退出时会自动强制刷新所有缓冲区，所以所有输出会一次性被发送给test_program.hs，能得到预期结果。

三、设置LineBuffering解决问题的原理 #

把main.hs的stdout手动设置为LineBuffering后，不管运行环境是什么，程序都会在输出一行内容后立刻刷新缓冲区，直接把内容发送给交互的程序。这样test_program.hs每发送一条输入，就能立刻收到对应的输出，交互逻辑就正常运行了。

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