[m-rev.] for review: semaphores in deep profiling grades

[Peter Wang]

On 2007-09-11, Julien Fischer <juliensf at csse.unimelb.edu.au> wrote:
> 
>  On Tue, 11 Sep 2007, Peter Wang wrote:
> 
> > Branches: main
> >
> > library/thread.semaphore.m:
> > 	Make semaphore.signal and semaphore.wait work in the (non-parallel)
> > 	deep profiling grades.  Due to the way these procedures are
> > 	implemented, they would miss the exit port code inserted by the deep
> > 	profiling transformation when leaving the procedure.
> 
>  Was this the problem you were looking at the other day?

No, that's different.  I've got a test case for that and I think I know
what's wrong, but don't know how to fix it.  Shall I send it to you?

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