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

[Julien Fischer]

On Tue, 11 Sep 2007, Peter Wang wrote:

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

Sure, but cc it to mercury-bugs as well.

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