[m-rev.] for review: support thread local trailing in .par grades

[Peter Wang]

On 2007-05-07, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
> For preliminary review by Zoltan or PeterW.
> 
> (This change requires more extensive bootchecking and I also need to
> make sure that it doesn't break G12.)
> 
> Estimated hours taken: 8
> Branches: main
> 
> Add support for thread local trailing in grades that support parallel
> execution.  Previously the trail state for each context was copied into the
> global variables defined in mercury_trail.[ch] when the context was loaded,
> i.e. we had thread-local trailing in grades that did not support parallel
> execution.
> 
> This change extends the runtime to support thread-local trailing in the
> presence of parallel execution.  We do this by adding the relevant fields to
> the MR_engine structure and redefining the abstract registers related to
> trailing to make accesses to the trail state go via the relevant engine.
> 
> This also works for parallel trailing grades with the high-level C backend
> because in those grades the trail state is store in a thread-local dummy

stored

It looks fine to me.

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