Faire des benchmarks

Bonjour,

Je souhaite faire des tests sur le temps d'exécution d'une fonction codé en Haskell. Je voudrais quelque chose d'à peu près portable (genre pas la commande time sous GNU/Linux ou l'équivalent Windows que je ne connais pas...).

Je ne sais pas trop comment faire. J'ai téléchargé une archive pour ma plateforme (Windows XP SP2) du package (ou module je ne sais même pas la différence) nommé benchpress. Mais je ne sais pas quoi faire par la suite.


Merci d'avance de m'indiquer la marche à suivre ou une astuce avec Prelude ou quelque chose dans le genre.

Le "problème" pour benchmarker du Haskell, c'est que l'évaluation paresseuse peut tromper, c'est pour ça que bench() dans benchpress n'accepte que des actions IO en paramètre. Le code suivant prend une fonction pure et son paramètre et essaie de la benchmarker, mais je te conseille fortement de te méfier des résultat, fait varier le nombre de benchs et vérifie la consistence des résultats, par ailleurs, évite les optimisations quand tu compiles le module suivant (-O0) :

Code:

---

1 2 3 4 5 6 7 8 9 10

module BenchPure (benchIt) where import Control.Exception import Test.BenchPress import Control.Parallel.Strategies   {-# NOINLINE benchIt #-} benchIt :: (NFData b) => Int -> (a -> b) -> a -> IO () benchIt n f a = bench n $ do a' <- return a evaluate (f a' `using` rnf)

---

EDIT : Si ton problème c'est d'installer benchpress, installe la plateforme Haskell puis exécute la commande suivante en ligne de commande (Invites de commandes) :

Code:

---

cabal update && cabal install benchpress

---

--
Jedaï

Merci beaucoup.

Il me reste par contre encore une question: comment on s'en sert ;) Si tu pouvais me l'expliquer et/ou m'envoyer vers la doc que je ne trouve pas... Car je tente de remplacer f par une fonction nommée test qui effectue les calculs mais sans résultats...

Merci d'avance.

Il serait bon de montrer un peu de code de ton côté si tu veux que je t'aide avec les spécifiques.

Un exemple d'utilisation serait :
MapApp.hs (compilé avec -O2)

Code:

---

1 2 3

module MapApp (mapApp) where   mapApp f ys xs = map f xs ++ ys

---

BenchPure.hs (compilé avec -O0)

Code:

---

1 2 3 4 5 6 7 8 9 10

module BenchPure (benchIt) where import Control.Exception import Test.BenchPress import Control.Parallel.Strategies   {-# NOINLINE benchIt #-} benchIt :: (NFData b) => Int -> (a -> b) -> a -> IO () benchIt n f a = bench n $ do a' <- return a evaluate (f a' `using` rnf)

---

TestBenchIt.hs

Code:

---

1 2 3 4 5

module Main () where import BenchPure import MapApp   main = benchIt 200 (mapApp (+ 2) [1..2000000 :: Int]) [1..1000000]

---

--
Jedaï

Je te remercie encore de m'aider. Voilà le code (basique mais je me débrouille pas super bien avec Haskell ayant été coupé du monde pendant quelques semaines) :

MathsApp.hs

Code:

---

1 2 3 4 5 6 7 8 9 10

module MathsApp (test) where import BenchPure   isPrime n d | n == d = True | mod n 2 == 0 = False | otherwise = isPrime n (d+1)       test n = benchIt 200 (isPrime n 2)

---

BenchPure.hs

Code:

---

1 2 3 4 5 6 7 8 9 10

module BenchPure (benchIt) where import Control.Exception import Test.BenchPress import Control.Parallel.Strategies   {-# NOINLINE benchIt #-} benchIt :: (NFData b) => Int -> (a -> b) -> a -> IO () benchIt n f a = bench n $ do a' <- return a evaluate (f a' `using` rnf)

---

Cela me produit une erreur de type, je pense que c'est dû à ma mauvaise utilisation de Benchpress et de mes faibles compétences en Haskell. Si vous pouviez m'éclairer un peu, en me corrigeant et/ou expliquant mes erreurs, cela serait awesome ;) .

Ceci pourrait t'intéresser : http://hackage.haskell.org/package/criterion