
20 Jun
2002
20 Jun
'02
10:55 a.m.
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@cs.unipr.it