[m-rev.] for post-commit review: deep profiling action log

[Julien Fischer]

On Tue, 7 Nov 2006, Zoltan Somogyi wrote:

> runtime/mercury_deep_call_port_body.h:
> runtime/mercury_deep_leave_port_body.h:
> runtime/mercury_deep_redo_port_body.h:
> 	Add conditionally compiled code that can be used to generate a machine
> 	processable log of the updates to the deep profiling tree.

Does similar code also need to be added to library/exception.m to handle
excp ports?

> runtime/mercury_deep_profiling.[ch]:
> 	Add support for the new code in the port bodies, and add a mechanism
> 	for writing out proc statics and call sites statics at the start of the
> 	same machine processable log.
>
> runtime/mercury_wrapper.c:
> 	Switch on the new debugging mechanism if the --deep-log-file
> 	or --deep-log-prog option is given in MERCURY_OPTIONS.
>
> runtime/mercury_conf_param.h:
> 	Document the mecro controlling the new logging mechanism.

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
--------------------------------------------------------------------------