Version française
Home     About     Download     Resources     Contact us    
Browse thread
Times in camllight
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christophe Raffalli <cr@d...>
Subject: Times in camllight

I am trying to use the times function from the unix library. I remark quite
big variation (for utime, stime and the sum) when I measure many times the same
computation (starting myself a gc with "gc();gc();" before each computation).

Here is an example of this variation :

unification : times = 1.01666666667+0.133333333333=1.15
unification : times = 0.666666666667+0.15=0.816666666667
unification : times = 1.13333333333+0.166666666667=1.3
unification : times = 1.01666666667+0.233333333333=1.25
unification : times = 0.65+0.116666666667=0.766666666667

min = 0.766666666667
max = 1.3

!!!

Why ???

Christophe

--
----------------------------------------------------------
Christophe Raffalli
e-mail: cr@dcs.ed.ac.uk

L.F.C.S. (Laboratory for Fundation of Computer Science)
Department of Computer Science, University of Edinburgh
King's Building, Mayfield Road, Edinburgh EH9 3JZ
----------------------------------------------------------