how do you time the execution of a form?

how do you time the execution of a form?

[Marco Maggi]

Ciao,

is there a procedure that prints the execution time of a form?
Something like:

(time-this (the-form) 1000)
;; run (the-form) 1000 times and prints the result

--
Marco Maggi

"Now feel the funk blast!"
Rage Against the Machine - "Calm like a bomb"




_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user

Re: how do you time the execution of a form?

[Ludovic Courtès]

Hi,

"Marco Maggi" <marco.maggi-ipsu@poste.it> writes:

> is there a procedure that prints the execution time of a form?
> Something like:
>
> (time-this (the-form) 1000)
> ;; run (the-form) 1000 times and prints the result

In Guile-Library, there's `(debugging time)', which exports `time', a
macro that does exactly what you want.

Thanks,
Ludovic.



_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user

Re: how do you time the execution of a form?

[Andy Wingo]

Hi,

On Fri 30 Nov 2007 09:57, ludo@gnu.org (Ludovic Courtès) writes:

> "Marco Maggi" <marco.maggi-ipsu@poste.it> writes:
>
>> is there a procedure that prints the execution time of a form?
>> Something like:
>>
>> (time-this (the-form) 1000)
>> ;; run (the-form) 1000 times and prints the result
>
> In Guile-Library, there's `(debugging time)', which exports `time', a
> macro that does exactly what you want.

Docs for that form: http://home.gna.org/guile-lib/doc/ref/debugging.time/

Also, as it turns out (of course I only knew this after I added time to
guile-lib), there is (ice-9 time):

;;; Commentary:

;; This module exports a single macro: `time'.
;; Usage: (time exp)
;;
;; Example:
;; guile> (time (sleep 3))
;; clock utime stime cutime cstime gctime
;; 3.01  0.00  0.00   0.00   0.00   0.00
;; 0

Regards,

Andy
-- 
http://wingolog.org/


_______________________________________________
Guile-user mailing list
Guile-user@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-user