windows - getCPUTime 只返回两个值(0 或 15625000000)——这是正确的吗？

Question

它似乎总是返回 0 或 15625000000 。

import System.CPUTime

main  =  do         
    print =<< getCPUTime
    getLine
    print =<< getCPUTime
    getLine
    return ()

执行

>>time.exe
15625000000

15625000000


>>time.exe
0

0


>>time.exe
0

15625000000


>>time.exe
0

0

我在 Windows 上，我认为它与平台相关。

Answer 1

来自 hoogle

getCPUTime::IO 整数

基础 System.CPUTime

计算 getCPUTime 返回当前程序使用的 CPU 时间的皮秒数。此结果的精度取决于实现。

可能是 Windows 没有准确的实现并返回 0 而不是皮秒数，注意我在 linux 或 osx 上没有看到这种行为。