|
From: | Maria Domingos |
Subject: | Compilation failed for a 500K pl file with 1.5GB global stack, memory leak? |
Date: | Fri, 29 Jul 2016 06:57:32 +0000 |
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
memory-bug.pl
Description: Binary data
[Prev in Thread] | Current Thread | [Next in Thread] |