> How do you time an execution in New Jersey ML?
>
> Mark
>

> Mark Tarver ha scritto:

>> How do you time an execution in New Jersey ML?
>>
>> Mark
>>

>
> You can use the Timer, as explained in the following pdf (page 117-118):
> "Notes on Programming Standard ML of New Jersey"
>
> http://www.cs.cornell.edu/riccardo/prog-smlnj/notes-011001.pdf
>
> Bye,
> Raffaele
>
> --
>
> to email me, d e l e t e CANCELLA from email address

> Thanks for that. Using CPU time I got;
>
> {gc=TIME {sec=0,usec=79000},sys=TIME {sec=0,usec=0}, usr=TIME
> {sec=0,usec=94000}})
>
> Do you know what the units are in this timer?

> Thanks for that. Using CPU time I got;
>
> {gc=TIME {sec=0,usec=79000},sys=TIME {sec=0,usec=0}, usr=TIME
> {sec=0,usec=94000}})
>
> Do you know what the units are in this timer?
>
> Mark
>

> Raff wrote:

>>> Thanks for that. Using CPU time I got;
>>>
>>> {gc=TIME {sec=0,usec=79000},sys=TIME {sec=0,usec=0}, usr=TIME
>>> {sec=0,usec=94000}})
>>>
>>> Do you know what the units are in this timer?
>>>
>>> Mark
>>>

>> sec = seconds, usec = microseconds
>> gc = garbage collection time
>> sys = system time, that is the time spent in system calls (such as I/O)
>> usr = user time, that is the cpu time of your execution
>>
>> So, the gc time was 0.079 seconds, sys time was 0 and usr time was 0.094
>> seconds

>
> Thanks for both your answers. Here is another run. ...

> Thanks for both your answers. Here is another run.
>
> val it =
> ("done",
> {gc=TIME {sec=0,usec=924000},sys=TIME {sec=0,usec=0},
> usr=TIME {sec=1,usec=203000}})
> : string * {gc:Time.time, sys:Time.time, usr:Time.time}
>
> In usr we have sec=1 - is this supposed to be read as
>
> usr = 1 sec + 203000 microseconds = 1.203 secs ?
>
> Mark
>