YAP ERROR: Global Collided against Local

[Jose Santos]

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  [phone]
>  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

[jos.deroo]

Hi Jose,

That works indeed fine now and succeeds with

reasoning 1771747 msec
% YAP execution halted

Thanks a lot!

Kind regards,

Jos De Roo | Agfa HealthCare
Senior Researcher | HE/Advanced Clinical Applications Research
T  [phone]
http://www.agfa.com/w3c/jdroo/

Quadrat NV, Kortrijksesteenweg 157, 9830 Sint-Martens-Latem, Belgium
http://www.agfa.com/healthcare

Jose Santos <jcas81@...>

02/21/2009 02:10 AM

To	yap-users@...
cc	Jos De Roo/AMDUS/AGFA@AGFA
Subject	YAP ERROR: Global Collided against Local

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  [phone]
>  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