* (time <>) now reports user and sys times as well.

This commit is contained in:
Abdulaziz Ghuloum 2007-09-01 01:25:39 -04:00
parent 95f34409e6
commit 77b3fd5225
2 changed files with 10 additions and 0 deletions

Binary file not shown.

View File

@ -48,6 +48,16 @@
(stats-real-usecs t1) (stats-real-usecs t0))
(msecs (stats-gc-real-secs t1) (stats-gc-real-secs t0)
(stats-gc-real-usecs t1) (stats-gc-real-usecs t0)))
(print-time "user"
(msecs (stats-user-secs t1) (stats-user-secs t0)
(stats-user-usecs t1) (stats-user-usecs t0))
(msecs (stats-gc-user-secs t1) (stats-gc-user-secs t0)
(stats-gc-user-usecs t1) (stats-gc-user-usecs t0)))
(print-time "sys"
(msecs (stats-sys-secs t1) (stats-sys-secs t0)
(stats-sys-usecs t1) (stats-sys-usecs t0))
(msecs (stats-gc-sys-secs t1) (stats-gc-sys-secs t0)
(stats-gc-sys-usecs t1) (stats-gc-sys-usecs t0)))
(printf " ~a bytes allocated\n" bytes))
(define (print-stats-old message bytes t1 t0)