[PPL-devel] Memory problems in Ciao 1.10#5?

[Roberto Bagnara]

Dear all,

do you remember we had problems that could only be cured by
inserting `GLOBALSTKSIZE=1000000' into the environment when
running _some_ programs?  If you don't remember, please read
at http://www.cs.unipr.it/pipermail/ppl-devel/2003-April/003589.html

I have now tried to see whether the fixes of 1.10#5 make
this kludge unnecessary.  The answer is negative, even though
the error message is now different.

Here is what I see:

$ GLOBALSTKSIZE=1000000 ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script {ERROR: dynlink/2: could not load library
  libppl_ciao.so: cannot open shared object file: No such file or directory)}
{ERROR: No handle found for thrown error error(existence_error(procedure,/(ppl_ciao:ppl_initialize,0)),/(ppl_ciao:ppl_initialize,0))}
[roberto at zoltan Ciao]$ GLOBALSTKSIZE=1000000 ../../../libtool --mode=execute -dlopen ../../../src/libppl.la -dlopen ../../../Watchdog/libpwl.la -dlopen libppl_ciao.la ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script
Copyright (C) 2001-2004 Roberto Bagnara <bagnara at cs.unipr.it>
this program is free software, covered by the GNU General Public License,
and you are welcome to change it and/or distribute copies of it
under certain conditions.
Type "copying" to see the conditions.
There is ABSOLUTELY NO WARRANTY for this program.
Type "warranty" for details.
PPL clpq ?- yes
PPL clpq ?- Z = 5
  more? yes
PPL clpq ?- yes
PPL clpq ?- X = 0
Y - Z = -1
  more? yes
PPL clpq ?- yes
PPL clpq ?- Y = 102
  more? yes
PPL clpq ?- yes
PPL clpq ?- Y = 8
  more? yes
PPL clpq ?- yes
PPL clpq ?- Y =< 9
-E + Y >= 0
E >= 0
M = 1
E + D - Y = 0
E - N = 0
O = 0
S = 9
R = 0
  more? yes
PPL clpq ?- yes
PPL clpq ?- X = 10
  more? yes
PPL clpq ?- $

Which is fine.  But when I omit the `GLOBALSTKSIZE=1000000'
I obtain

$ ../../../libtool --mode=execute -dlopen ../../../src/libppl.la -dlopen ../../../Watchdog/libpwl.la -dlopen libppl_ciao.la ciao_clpq <../../../../ppl/ppl/interfaces/Prolog/Ciao/../check_script
Copyright (C) 2001-2004 Roberto Bagnara <bagnara at cs.unipr.it>
this program is free software, covered by the GNU General Public License,
and you are welcome to change it and/or distribute copies of it
under certain conditions.
Type "copying" to see the conditions.
There is ABSOLUTELY NO WARRANTY for this program.
Type "warranty" for details.
PPL clpq ?- yes
PPL clpq ?- Z = 5
  more? yes
PPL clpq ?- yes
PPL clpq ?- X = 0
Y - Z = -1
  more? yes
PPL clpq ?- yes
PPL clpq ?- Y = 102
  more? yes
PPL clpq ?- yes
PPL clpq ?- % Malloc: Inappropriate ioctl for device
{ERROR: Memory allocated out of addressable bounds!}
$

Please, let me know what I can do to help you find what
causes this behavior.
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 at cs.unipr.it