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 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218
|
-----------------------------------------------------------------------------
-- |
-- Module : PlotTest
-- Copyright : Simon Meier
-- License : BSD3-style (see LICENSE)
--
-- Maintainer : https://github.com/blaze-builder
-- Stability : stable
-- Portability : GHC
--
-- Test plotting for the benchmarks.
-- package.
--
-----------------------------------------------------------------------------
module PlotTest where
import Prelude hiding (lines)
import Data.List (unfoldr)
import Data.Word (Word8)
import Data.Maybe
import Data.Accessor
import Data.Colour
import Data.Colour.Names
import Graphics.Rendering.Chart
import Graphics.Rendering.Chart.Grid
import Graphics.Rendering.Chart.Gtk
import Criterion
import Criterion.Environment
import Criterion.Monad
import Criterion.Types
import Criterion.Config
import Control.Monad
import Control.Monad.Trans
import Control.Monad.Trans.Reader
import Statistics.Types
import qualified System.Random as R
-- Plots to be generated
------------------------
{-
Compression:
1 plot (title "compressing <n> MB of random data using 'zlib')
3 lines (direct, compacted using a Builder, compaction time) [chunk size/ms]
ChunkedWrite:
1 plot (title "serializing a list of <n> elements")
1 line per type of element [chunk size/ms]
Throughput:
5 x 3 plots (word type x endianness) (title "<n> MB of <type> (<endianness>)")
1 line per type of Word [chunk size/ MB/s]
-}
-- | A pseudo-random stream of 'Word8' always started from the same initial
-- seed.
randomWord8s :: [Word8]
randomWord8s = map fromIntegral $ unfoldr (Just . R.next) (R.mkStdGen 666)
-- Main function
----------------
main :: IO ()
main = undefined
-- Benchmarking Infrastructure
------------------------------
type MyCriterion a = ReaderT Environment Criterion a
-- | Run a list of benchmarks; flattening benchmark groups to a path of strings.
runFlattenedBenchmarks :: [Benchmark] -> MyCriterion [([String],Sample)]
runFlattenedBenchmarks =
(concat `liftM`) . mapM (go id)
where
go path (Benchmark name b) = do
env <- ask
sample <- lift $ runBenchmark env b
return [(path [name], sample)]
go path (BenchGroup name bs) =
concat `liftM` mapM (go (path . (name:))) bs
-- | Run a benchmark for a series of data points; e.g. to measure scalability
-- properties.
runSeriesBenchmark :: (a -> Benchmark) -> [a] -> MyCriterion [(a,Sample)]
runSeriesBenchmark mkBench xs =
(zip xs . map snd) `liftM` runFlattenedBenchmarks (map mkBench xs)
-- | Use the given config to measure the environment and then run the embedded
-- criterion operation with this information about the environment.
runMyCriterion :: Config -> MyCriterion a -> IO a
runMyCriterion config criterion = do
env <- withConfig config measureEnvironment
withConfig config (runReaderT criterion env)
-- Plotting Infrastructure
--------------------------
colorPalette :: [Colour Double]
colorPalette = [blue, green, red, yellow, magenta, cyan]
lineStylePalette :: [CairoLineStyle]
lineStylePalette =
map (solidLine 1 . opaque) colorPalette ++
map (dashedLine 1 [5, 5] . opaque) colorPalette
-- | > ((title, xName, yName), [(lineName,[(x,y)])])
type PlotData = ((String, String, String), [(String, [(Int, Double)])])
layoutPlot :: PlotData -> Layout1 Int Double
layoutPlot ((title, xName, yName), lines) =
layout1_plots ^= map (Right . toPlot) plots $
layout1_title ^= title $
layout1_bottom_axis ^= mkLinearAxis xName $
layout1_right_axis ^= mkLogAxis yName $
defaultLayout1
where
(linesName, linesData) = unzip lines
plots = zipWith3 plotLine linesName (cycle lineStylePalette) linesData
-- | Plot a single named line using the given line style.
plotLine :: String -> CairoLineStyle -> [(Int,Double)] -> PlotLines Int Double
plotLine name style points =
plot_lines_title ^= name $
plot_lines_style ^= style $
plot_lines_values ^= [points] $
defaultPlotLines
mkLinearAxis :: String -> LayoutAxis Int
mkLinearAxis name = laxis_title ^= name $ defaultLayoutAxis
mkLogAxis :: String -> LayoutAxis Double
mkLogAxis name =
laxis_title ^= name $
laxis_generate ^= autoScaledLogAxis defaultLogAxis $
defaultLayoutAxis
{-
-- Plot Experiments
-------------------
testData :: [(Int,Double)]
testData = zip xs (map (fromIntegral . (^2)) xs)
where xs = [1,2,4,8,16,32]
blazeLineStyle = solidLine 1 . opaque
binaryLineStyle = dashedLine 1 [5, 5] . opaque
plots :: [PlotLines Int Double]
plots = [ plotLine [c] style testData
| (c, style) <- zip ['a'..] (cycle lineStylePalette) ]
mkLayout xname yname title p =
layout1_plots ^= [Right p] $
layout1_title ^= title $
layout1_bottom_axis ^= mkLinearAxis xname $
layout1_right_axis ^= mkLogAxis yname $
defaultLayout1
layouts = zipWith (mkLayout "chunksize" "MB/s") (map return ['A'..]) (map toPlot plots)
testGrid = aboveN $ map (besideN . map (flip tspan (1,1) . toRenderable)) [l1,l2]
where
(l1,l2) = splitAt 3 layouts
testIt = renderableToWindow (gridToRenderable testGrid) 640 480
-}
{-
mkChart :: [((String,CairoLineStyle,a), [(Int, IO (Maybe Double))])] -> IO ()
mkChart task = do
lines <- catMaybes `liftM` mapM measureSerializer task
let plottedLines = flip map lines $ \ ((name,lineStyle,_), points) ->
plot_lines_title ^= name $
plot_lines_style ^= lineStyle $
plot_lines_values ^= [points] $
defaultPlotLines
let layout =
defaultLayout1
{ layout1_plots_ = map (Right . toPlot) plottedLines }
renderableToWindow (toRenderable layout) 640 480
measureSerializer :: (a, [(Int, IO (Maybe Double))]) -> IO (Maybe (a, [(Int,Double)]))
measureSerializer (info, tests) = do
optPoints <- forM tests $ \ (x, test) -> do
optY <- test
case optY of
Nothing -> return Nothing
Just y -> return $ Just (x, y)
case catMaybes optPoints of
[] -> return Nothing
points -> return $ Just (info, points)
-}
|