Расходование вычислений тайм-аута Haskell

Question

Я пытаюсь написать безопасную функцию оценки времени в Haskell. Код выглядит следующим образом

import System.Timeout 

compute, compute' :: Int -> Int 
compute i = sum [1..300000 + i] 
compute' i = last $ repeat i 

timedComp :: Int -> a -> IO (Maybe a) 
timedComp timeLeft toCompute = 
     timeout timeLeft go 
    where 
     go = toCompute `seq` return toCompute 

main = do 
    res <- timedComp 10000 (compute 0) 
    print res 

    res' <- timedComp 10000 (compute' 0) 
    print res' 

(я знаю, что я только вычисляться WHNF.)

Когда я бегу главный, я получаю только один ничего на выходе, а затем программа зависает. Я попытался скомпилировать и запустить программу многопоточную, но это не помогает. Пробовал как GHC 7.6.3, так и 7.8.3. Какие-либо предложения?

Answer 1

Существует ограничение в реализации потоков Haskell в GHC: коммутаторы контекста встречаются только при распределении. Как следствие, тесные циклы, которые вообще не выполняют выделение, могут препятствовать запуску планировщика, переключаясь на другие потоки.

Это один из таких примеров: compute' i = last $ repeat i выглядит, как будто это выделение список клеток, но, к сожалению, GHC может оптимизировать его как тривиальный бесконечный цикл, удаляя все выделения - GHC Ядро выглядит примерно как f x = f x. Это вызывает недостаток планировщика.

Reid Barton предлагает вариант -fno-omit-yields, чтобы обойти это. Это приведет к тому, что GHC не будет так оптимизировать.