[m-rev.] for review: report real times in benchmarking.report_stats

[Julien Fischer]

On Mon, 7 Aug 2006, Peter Wang wrote:

> Estimated hours taken: 1
> Branches: main
>
> Let benchmark.report_stats/0 report real times on POSIX platforms.
>
> configure.in:
> 	Check for time.h and gettimeofday().
>
> runtime/mercury_conf.h.in:
> 	Add MR_HAVE_TIME_H, MR_HAVE_GETTIMEOFDAY.
>
> 	Unrelated change: add MR_HAVE_PTHREAD_H.
>
> runtime/mercury_timing.c:
> runtime/mercury_timing.h:
> 	Add `MR_get_real_milliseconds'.
>
> runtime/mercury_wrapper.c:
> runtime/mercury_wrapper.h:
> 	Rename MR_time_* globals to MR_user_time_*.
>
> 	Add and initialise MR_real_time_* globals.
>
> library/benchmarking.m:
> 	Output real times in ML_report_stats().
>
> 	Correct spelling of milliseconds.
>
> java/runtime/Native.c:
> java/runtime/Native.java.in:
> trace/mercury_trace_declarative.c:
> 	Correct spelling of milliseconds.

That looks fine.

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------