Haskell parMap i paralelizm

Question

Mam wdrożenie gry życia Conwaya. Chcę go przyspieszyć, jeśli to możliwe, używając paralelizmu.

life :: [(Int, Int)] -> [(Int, Int)] 
life cells = map snd . filter rules . freq $ concatMap neighbours cells 
    where rules (n, c) = n == 3 || (n == 2 && c `elem` cells) 
      freq = map (length &&& head) . group . sort 

parLife :: [(Int, Int)] -> [(Int, Int)] 
parLife cells = parMap rseq snd . filter rules . freq . concat $ parMap rseq neighbours cells 
    where rules (n, c) = n == 3 || (n == 2 && c `elem` cells) 
      freq = map (length &&& head) . group . sort 

neigbours :: (Int, Int) -> [(Int, Int)] 
neighbours (x, y) = [(x + dx, y + dy) | dx <- [-1..1], dy <- [-1..1], dx /= 0 || dy /= 0] 

w profilowaniu, sąsiedzi stanowi 6,3% czasu spędzonego, więc podczas gdy małe spodziewałem się zauważalne przyspieszenie przez odwzorowanie go równolegle.

I badane w funkcji prostego

main = print $ last $ take 200 $ iterate life fPent 
    where fPent = [(1, 2), (2, 2), (2, 1), (2, 3), (3, 3)] 

i zebrane wersję równoległym

ghc --make -O2 -threaded life.hs 

i uruchomiono go jako

./life +RTS -N3 

okazuje się, że wersja równoległego jest mniejsza . Czy używam tutaj niepoprawnej mapy? czy jest to nawet przypadek, w którym można zastosować paralelizm?

Answer 1

Nie sądzę, że mierzysz w prawo. Twój parLife jest rzeczywiście nieco szybszy niż life. W rzeczywistości na mojej maszynie (Phenom X4, 4 rdzenie) pierwsza zajmuje tylko 92,5% czasu, który robi, co biorąc pod uwagę, że mówisz, że spodziewasz się tylko 6% poprawy, jest całkiem dobra.

Jaka jest konfiguracja testu porównawczego? Czy próbowałeś używać criterion? Oto co zrobiłem:

import Criterion 
import Criterion.Main 

-- your code, minus main 

runGame f n = last $ take n $ iterate f fPent 
    where fPent = [(1, 2), (2, 2), (2, 1), (2, 3), (3, 3)] 

main = defaultMain 
    [ bench "No parallelism 200" $ whnf (runGame life) 200 
    , bench "Parallelism 200" $ whnf (runGame parLife) 200 ] 

Zestawione z ghc --make -O2 -o bench i pobiegł z ./bench -o bencht.hmtl +RTS -N3.

Here's the detailed result of the report.