[m-rev.] For review: Implemention of the region runtime system

[Zoltan Somogyi]

On 08-Oct-2007, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> The document should be added to compiler/notes?  (It's the one that
> is currently in the papers directory called advanced support, right?)

That document is not in a fit state to be added to compiler/notes.

We are in the process of writing a paper about it all. When done,
we will add a reference to it to the relevant files.

>> runtime/mercury_region.h
>> runtime/mercury_region.c
>> 	Implementation of the region runtime system.
>>
>> 	I also implement the profiler and debugging messages here. They can be
>> 	turned on and off by MR_RBMM_PROFILING and MR_RBMM_DEBUG flags. I
>> 	am not sure that this is a correct way or not so currently the 2 flags
>> 	have to be changed manually and require re-compilation of the compiler.
>
> What do you mean by changed manually?  The usually way to enable or
> disable such flags is to put something like the following in
> Mmake.params
>
> 	EXTRA_CFLAGS = -DMR_RBMM_PROFILING -DMR_RBMM_DEBUG

Yes, that work, but only for the compiler in a given workspace. You wouldn't
want to install with those definitions.

I could add these as extra grade components if necessary, like this:

	grade component		implied macros

	rbmm 			USE_REGIONS
	rbmmd			USE_REGIONS MR_RBMM_DEBUG
	rbmmp			USE_REGIONS MR_RBMM_PROFILING
	rbmmdp			USE_REGIONS MR_RBMM_DEBUG MR_RBMM_PROFILING

We already do something similar for minimal model tabling. However, this is
*not* our highest priority.

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