Hi,
Sometimes I also get Global Collided against Local bug in the current
Yap GIT. A trick that usually works for me is increasing the initial
stack and heap sizes. E.g.
yap -s 100000 -h 100000 -l euler.yap
Regards,
Jose Santos
http://www.doc.ic.ac.uk/~jcs06/> Date: Fri, 20 Feb 2009 23:30:02 +0100
> From:
jos.deroo@...
> Subject: [Yap-users] YAP ERROR: Global Collided against Local
> To:
yap-users@...
> Message-ID:
> <
OFB290E6A9.093DFB46-ONC1257563.007685C7-C1257563.007B998E@...>
> Content-Type: text/plain; charset="us-ascii"
>
> Using the latest yap-git from
>
http://git.gitorious.org/yap-git/mainline.git>
> yap$ git show HEAD
> commit bbb94821497c2f055f8f9eb72f6fb34a84594b20
> Author: Vitor Santos Costa <
vsc@...>
> Date: Tue Feb 10 22:52:53 2009 +0000
>
> and for a test case which requires 2,658,652,433 inferences (measured with
> SWI-Prolog)
> and when it is close to the finish I'm getting a
>
> %
> % YAP OOOPS: tried to access illegal address 0xf9a9000!!!!.
> %
> %
> % YAP ERROR: Global Collided against Local (0xf9a9004--0xf988a38)
>
> Exiting ....
>
> which is
> 1/ working fine with Yap-5.1.3
> 2/ the problem can be repeated but I can't simplify it to a smaller test
> case
>
> No special command line options were given, just
> yap -l euler.yap -g main -- ...
>
> Any suggestions I could try?
>
>
> Kind regards,
>
> Jos De Roo | Agfa HealthCare
> Senior Researcher | HE/Advanced Clinical Applications Research
> T +32 3444 7618
>
http://www.agfa.com/w3c/jdroo/>
> Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
>
http://www.agfa.com/healthcare> -------------- next part --------------
> An HTML attachment was scrubbed...
>
> ------------------------------
>
> ------------------------------------------------------------------------------
> Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
> -OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
> -Strategies to boost innovation and cut costs with open source participation
> -Receive a $600 discount off the registration fee with the source code: SFAD
>
http://p.sf.net/sfu/XcvMzF8H>
> ------------------------------
>
> _______________________________________________
> Yap-users mailing list
>
Yap-users@...
>
https://lists.sourceforge.net/lists/listinfo/yap-users>
>
> End of Yap-users Digest, Vol 25, Issue 1
> ****************************************
>
--
Jose Carlos
------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users