benchmark/Parallel.hs · streamly

git.iko.soy/streamly

on f660901 help sign in

streamly/benchmark/Parallel.hs

93 lines 3.7 kB history raw

1{-# LANGUAGE CPP #-}

2-- |

3-- Module : Main

5--

6-- License : BSD3

7-- Maintainer : streamly@composewell.com

9import Control.DeepSeq (NFData)

10-- import Data.Functor.Identity (Identity, runIdentity)

11import System.Random (randomRIO)

13import Common (parseCLIOpts)

15import Streamly

16import Gauge

18import qualified Streamly.Benchmark.Prelude as Ops

19import qualified NestedOps as Nested

21{-# INLINE benchIONested #-}

22benchIONested :: (NFData b) => String -> (Int -> IO b) -> Benchmark

23benchIONested name f = bench name $ nfIO $ randomRIO (1,1) >>= f

25-- We need a monadic bind here to make sure that the function f does not get

26-- completely optimized out by the compiler in some cases.

27--

28-- | Takes a fold method, and uses it with a default source.

29{-# INLINE benchIO #-}

30benchIO :: (IsStream t, NFData b) => Int -> String -> (t IO Int -> IO b) -> Benchmark

31benchIO value name f = bench name $ nfIO $ randomRIO (1,1) >>= f . Ops.source value

33-- | Takes a source, and uses it with a default drain/fold method.

34{-# INLINE benchSrcIO #-}

35benchSrcIO

36 :: (t IO Int -> SerialT IO Int)

37 -> String

38 -> (Int -> t IO Int)

39 -> Benchmark

40benchSrcIO t name f

41 = bench name $ nfIO $ randomRIO (1,1) >>= Ops.toNull t . f

43defaultStreamSize :: Int

44defaultStreamSize = 100000

46linear :: Int -> Int -> [Benchmark]

47linear value value2 =

48 [ -- unfoldr is pure and works serially irrespective of the stream type

49 benchSrcIO parallely "unfoldr" (Ops.sourceUnfoldr value)

50 , benchSrcIO parallely "unfoldrM" (Ops.sourceUnfoldrM value)

51 , benchSrcIO parallely "fromFoldable" (Ops.sourceFromFoldable value)

52 , benchSrcIO parallely "fromFoldableM" (Ops.sourceFromFoldableM value)

53 , benchSrcIO parallely "foldMapWith" (Ops.sourceFoldMapWith value)

54 , benchSrcIO parallely "foldMapWithM" (Ops.sourceFoldMapWithM value)

55 , benchSrcIO parallely "foldMapM" (Ops.sourceFoldMapM value)

56 -- map/fmap are pure and therefore no concurrency would be added on top

57 -- of what the source stream (i.e. unfoldrM) provides.

58 , benchIO value "map" $ Ops.map' parallely 1

59 , benchIO value "fmap" $ Ops.fmap' parallely 1

60 , benchIO value "mapM" $ Ops.mapM parallely 1

61 , benchIONested "concatMapWith (2,x/2)"

62 (Ops.concatStreamsWith parallel 2 (value `div` 2))

63 , benchIONested "concatMapWith (sqrt x,sqrt x)"

64 (Ops.concatStreamsWith parallel value2 value2)

65 , benchIONested "concatMapWith (sqrt x * 2,sqrt x / 2)"

66 (Ops.concatStreamsWith parallel (value2 * 2) (value2 `div` 2))

67 ]

69nested :: Int -> [Benchmark]

70nested value =

71 [ benchIONested "toNullAp" $ Nested.toNullAp value parallely

72 , benchIONested "toNull" $ Nested.toNull value parallely

73 , benchIONested "toNull3" $ Nested.toNull3 value parallely

74 -- , benchIO "toList" $ Ops.toList value parallely

75 -- XXX fix thread blocked indefinitely in MVar

76 -- , benchIO "toListSome" $ Ops.toListSome value parallely

77 , benchIONested "filterAllOut" $ Nested.filterAllOut value parallely

78 , benchIONested "filterAllIn" $ Nested.filterAllIn value parallely

79 , benchIONested "filterSome" $ Nested.filterSome value parallely

80 , benchIONested "breakAfterSome" $ Nested.breakAfterSome value parallely

81 ]

83main :: IO ()

84main = do

85 (value, cfg, benches) <- parseCLIOpts defaultStreamSize

86 let value2 = round $ sqrt $ (fromIntegral value :: Double)

87 value2 `seq` value `seq`

88 runMode (mode cfg) cfg benches $

89 [ bgroup "parallelly"

90 [ bgroup "linear" $ linear value value2

91 , bgroup "nested" $ nested value

92 ]

93 ]