On Fri, Mar 7, 2008 at 8:54 AM, Andreas Rossberg
<[EMAIL PROTECTED]> wrote:
>  As Guido points out in his answer, the problem is that the Gecode
>  binding can cause the C++ heap to grow much faster than the ML heap.
>  The Alice runtime does not know about the size of the foreign heap,
>  so ML-side GC (which would also release some of the C++ objects) is
>  not triggered early enough. In fact, this is a general problem with
>  FFIs, and I'm not aware of a good solution.

The only solution I've been able to come up with, is to replace
malloc/free with an implementation that co-operates with the runtime.

Sandro

_______________________________________________
alice-users mailing list
[email protected]
http://www.ps.uni-sb.de/mailman/listinfo/alice-users

Reply via email to