Maximum number of foreign predicates?

[Roberto Bagnara]

Hi there,

I am experiencing a problem with YAP 5.1.3 that could be explained
if there is a maximum number of foreign predicates that can be
declared with YAP_UserCPredicate().  At the 1132th invocation
of  YAP_UserCPredicate() I get:

% Restoring file /usr/local/lib/Yap/startup
YAP version Yap-5.1.3
%
%
% YAP OOOPS: tried to access illegal address 0x20!!!!.
%
%
2398KB of Code Space (0x8800000--0x8a57820)
9KB of Global Stack (0x8a5c000--0x8a5e740)
2KB of Local Stack (0x8be76c8--0x8be8000)
0KB of Trail (0x8be8008--0x8be80d0)
Performed 0 garbage collections
Running code at clause 1 of prolog:load_foreign_files/3
Continuation is at clause 1 of prolog:load_foreign_files/3
   clause 1 of prolog:load_foreign_files/3
   clause 2 of prolog:$do_yes_no/2
   clause 6 of prolog:$process_directive/3
   clause 6 of prolog:$execute_command/4
      indexing code of prolog:$catch/3 (*)
   clause 1 of prolog:$system_catch/4
   clause 1 of prolog:$loop/2
   clause 1 of prolog:$do_lf/9
   clause 7 of prolog:$lf/14
   clause 1 of prolog:$load_files/3
   clause 6 of prolog:$execute_command/4
      indexing code of prolog:$catch/3 (*)
   clause 1 of prolog:$system_catch/4
   clause 1 of prolog:$loop/2
   clause 1 of prolog:$do_lf/9
   clause 7 of prolog:$lf/14
   clause 1 of prolog:$load_files/3
      indexing code of prolog:$catch/3 (*)
   clause 1 of prolog:$system_catch/4
   clause 1 of prolog:$do_startup_reconsult/1
   clause 1 of prolog:$init_system/0
   clause 1 of prolog:$live/0
   meta-call

    Exiting ....

If there is not such a maximum number, how could I investigate this
problem further?
All the best,

    Roberto

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

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-5]

Hi Roberto

Sorry for the tardiness.

There should be no restriction on the number of C-predicates. It is  
weird.

Can you please send me a test example.

Cheers

Vitor

On Sep 1, 2008, at 9:01 PM, Roberto Bagnara wrote:

>
> Hi there,
>
> I am experiencing a problem with YAP 5.1.3 that could be explained
> if there is a maximum number of foreign predicates that can be
> declared with YAP_UserCPredicate().  At the 1132th invocation
> of  YAP_UserCPredicate() I get:
>
> % Restoring file /usr/local/lib/Yap/startup
> YAP version Yap-5.1.3
> %
> %
> % YAP OOOPS: tried to access illegal address 0x20!!!!.
> %
> %
> 2398KB of Code Space (0x8800000--0x8a57820)
> 9KB of Global Stack (0x8a5c000--0x8a5e740)
> 2KB of Local Stack (0x8be76c8--0x8be8000)
> 0KB of Trail (0x8be8008--0x8be80d0)
> Performed 0 garbage collections
> Running code at clause 1 of prolog:load_foreign_files/3
> Continuation is at clause 1 of prolog:load_foreign_files/3
>   clause 1 of prolog:load_foreign_files/3
>   clause 2 of prolog:$do_yes_no/2
>   clause 6 of prolog:$process_directive/3
>   clause 6 of prolog:$execute_command/4
>      indexing code of prolog:$catch/3 (*)
>   clause 1 of prolog:$system_catch/4
>   clause 1 of prolog:$loop/2
>   clause 1 of prolog:$do_lf/9
>   clause 7 of prolog:$lf/14
>   clause 1 of prolog:$load_files/3
>   clause 6 of prolog:$execute_command/4
>      indexing code of prolog:$catch/3 (*)
>   clause 1 of prolog:$system_catch/4
>   clause 1 of prolog:$loop/2
>   clause 1 of prolog:$do_lf/9
>   clause 7 of prolog:$lf/14
>   clause 1 of prolog:$load_files/3
>      indexing code of prolog:$catch/3 (*)
>   clause 1 of prolog:$system_catch/4
>   clause 1 of prolog:$do_startup_reconsult/1
>   clause 1 of prolog:$init_system/0
>   clause 1 of prolog:$live/0
>   meta-call
>
>    Exiting ....
>
> If there is not such a maximum number, how could I investigate this
> problem further?
> All the best,
>
>    Roberto
>
> --
> Prof. Roberto Bagnara
> Computer Science Group
> Department of Mathematics, University of Parma, Italy
> http://www.cs.unipr.it/~bagnara/
> mailto:bagnara@...
>
> -------------------------------------------------------------------------
> This SF.Net email is sponsored by the Moblin Your Move Developer's  
> challenge
> Build the coolest Linux based applications with Moblin SDK & win  
> great prizes
> Grand prize is a trip for two to an Open Source event anywhere in  
> the world
> http://moblin-contest.org/redirect.php?banner_id=100&url=/
> _______________________________________________
> Yap-users mailing list
> Yap-users@...
> https://lists.sourceforge.net/lists/listinfo/yap-users

-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users

[Vitor Santos Costa-5]

Hi Roberto (and yap-users)

Sorry for taking so long to reply.

I include a patch that seems to fix this bug for me. The patch and  
recent changes can also be found at

http://gitorious.org/projects/yap-git

The patch tries to handle DB overflows that may happen when you try to  
initialise a very large number of predicates. Please tell me if it  
works.

This is a temporary location: yap has now moved to a git development  
model, and temporarily I am using gitorious to keep a copy.

Cheers

Vitor





-------------------------------------------------------------------------
This SF.Net email is sponsored by the Moblin Your Move Developer's challenge
Build the coolest Linux based applications with Moblin SDK & win great prizes
Grand prize is a trip for two to an Open Source event anywhere in the world
http://moblin-contest.org/redirect.php?banner_id=100&url=/
_______________________________________________
Yap-users mailing list
Yap-users@...
https://lists.sourceforge.net/lists/listinfo/yap-users