Compilation failed for a 500K pl file with 1.5GB global stack, memory leak?

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Compilation failed for a 500K pl file with 1.5GB global stack, memory leak?

Maria Domingos

Dear GNU Prolog developers,

     I have a 500K pl file calling the clp-fd library to solve a CSP. The file failed to compile with 1.5GB global stack. The pl file has less than 100 predicates, each predicate with a table constraint with at most 3000 rows (in fact only a few has more than 1000 rows, most have less than 100 rows). 

     Is this a bug?  Thank you for your help.

 

Best,

Maria

 

$ GLOBALSZ=1500000 LOCALSZ=200000 gplc --no-singl-warn --c-compiler gcc -C -O3 -C -std=c11 --no-top-level memory-bug.pl

Fatal Error: global stack overflow (size: 1500000 Kb, reached: 1499997 Kb, environment variable used: GLOBALSZ)
compilation failed
 


_______________________________________________
Bug-prolog mailing list
[hidden email]
https://lists.gnu.org/mailman/listinfo/bug-prolog

memory-bug.pl (643K) Download Attachment