1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
{-# LANGUAGE FlexibleInstances, ScopedTypeVariables #-}
{-# OPTIONS_GHC -fno-full-laziness #-}
-- cabal install judy
import Control.Monad (forM_)
import Criterion.Config
import Criterion.Main
import Criterion.Types
import qualified Data.IntMap as I
import qualified Data.Judy as J
import qualified Data.Map as M
import qualified Data.IntMap as I
import Data.List (foldl')
-- An example of how to specify a configuration value.
myConfig = defaultConfig { cfgPerformGC = ljust True }
main = defaultMainWith myConfig (return ()) [
bgroup "judy" [
bench "insert 1M" $ whnf testit 1000000
, bench "insert 10M" $ whnf testit 10000000
, bench "insert 100M" $ whnf testit 100000000
],
bgroup "map" [
bench "insert 100k" $ whnf testmap 100000
, bench "insert 1M" $ whnf testmap 1000000
],
bgroup "intmap" [
bench "insert 100k" $ whnf testintmap 100000
, bench "insert 1M" $ whnf testintmap 1000000
]
]
testit n = do
j <- J.new :: IO (J.JudyL Int)
forM_ [1..n] $ \n -> J.insert n (fromIntegral n :: Int) j
v <- J.lookup 100 j
v `seq` return ()
testmap :: Int -> M.Map Int Int
testmap n =
foldl' (\m k -> M.insert k 1 m) M.empty [0..n]
testintmap :: Int -> I.IntMap Int
testintmap n =
foldl' (\m k -> I.insert k 1 m) I.empty [0..n]
|
