Discussion :

[Zooix]

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.

[Jedai]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

cabal update && cabal install benchpress

--
Jedaï

[Zooix]

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.

[Jedai]

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 Haskell :

Sélectionner tout - Visualiser dans une fenêtre à part

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

BenchPure.hs (compilé avec -O0)

Code Haskell :

Sélectionner tout - Visualiser dans une fenêtre à part

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 Haskell :

Sélectionner tout - Visualiser dans une fenêtre à part

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

--
Jedaï

[Zooix]

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 :

Sélectionner tout - Visualiser dans une fenêtre à part

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 .

[Alp]

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