[PPL-devel] Re: First part of the problem: GMP

[Roberto Bagnara]

Vitor Santos Costa wrote:
>> I changed the Yap GMP allocation routines to fall back to
> malloc/realloc/free if outside context. I think that is the best
> solution for two reasons:
> 
>   - It is the most general: external processes might not want their
>     objects to disappear during backtracking.
>   - It avoids nasty interactions with the garbage collector: even I
>     disallow gc of these objects, is application is not prepared for
>     the gc barging in and shifting objects around?
> 
> I haven't actually tested it outside Yap, do you mind trying it and
> telling me it works?

Hi Vitor,

I can confirm I am no longer observing the problem we had with GLP.
(I am observing other problems, but more debugging work is needed
to properly identify them.)
Thanks a lot

    Roberto

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it