Haskell是否并发执行所有IO操作？时间差打印异常排查

问题背景 #

我尝试用以下Haskell代码检查函数调用间的时间差：

module Main where

import Control.Concurrent
import Data.Time.Clock

printTimeDiff :: UTCTime -> IO ()
printTimeDiff t0 = do
  t <- getCurrentTime
  let tt = realToFrac $ diffUTCTime t t0
  print (tt :: Double)
  -- threadDelay 1
  printTimeDiff t

main :: IO ()
main = do
  t <- getCurrentTime
  printTimeDiff t

运行后70%的输出都是0：

0.0
0.0
0.0
0.0
0.0
0.0
1.0e-3
1.0032e-3
9.994e-4
0.0
0.0
0.0
0.0
0.0
0.0
9.984e-4
0.0
0.0
0.0
0.0
0.0
0.0
0.0
9.993e-4
0.0
0.0
0.0
0.0
0.0
0.0
0.0
0.0
0.0
1.0007e-3
0.0
0.0
0.0
0.0

取消注释threadDelay 1后，就能输出真实的时间差。请问这是什么原因？是否由线程管理器同时执行多个IO操作导致？如果是，该如何避免？或是与print使用的缓冲机制有关？

原因分析 #

• 系统时钟精度限制：getCurrentTime依赖的系统时钟（比如POSIX系统的CLOCK_REALTIME）本身存在精度上限，通常在1ms左右。当函数调用速度远快于时钟更新频率时，连续两次调用getCurrentTime会获取到相同的时间戳，计算出的时间差自然为0。
• 线程调度与执行速度：你的代码是单线程递归执行，不存在多IO并行的情况，所以线程管理器的并发调度不是核心问题。本质是print和递归调用的速度太快，两次时间采样落在了系统时钟的同一个周期内。
• 缓冲机制的影响：print的缓冲会让输出批量处理，但这不会导致时间差计算为0——时间采样是在print之前完成的，缓冲只会影响输出的时机，不会改变采样结果。

取消注释threadDelay 1后，线程会强制休眠至少1微秒（实际因系统调度，休眠时间接近1ms），确保两次时间采样落在不同的时钟周期，因此能得到非零的时间差。

解决方法 #

如果需要更精确的时间差测量，或者避免出现0值，可以参考以下方案：

1. 使用高精度时钟：改用Data.Time.Clock.System中的getSystemTime，它提供纳秒级别的高精度时间戳，用diffSystemTime计算时间差后转换为所需格式。示例代码片段：

   import Data.Time.Clock.System
   
   printTimeDiff :: SystemTime -> IO ()
   printTimeDiff t0 = do
     t <- getSystemTime
     let tt = fromIntegral (systemNanoseconds t - systemNanoseconds t0) / 1e9
     print (tt :: Double)
     printTimeDiff t
   

2. 主动让出CPU时间片：若不需要高精度，仅需避免连续采样得到相同时间，可使用threadDelay 0——它会让当前线程主动让出CPU，给系统时钟足够的更新时间，同时不会引入明显延迟。
3. 增加计算负载：测试场景下，可在两次时间采样之间添加计算操作，拉长两次getCurrentTime的调用间隔，确保跨越系统时钟的更新周期。

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