October 2004 - PPL-devel - BUGSENG Mailman

ppl/src checked.defs.hh
by Roberto Bagnara 03 Oct '04

03 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-03 09:50:17 Modified files: src : checked.defs.hh Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

Memory problems in Ciao 1.10#5?
by Roberto Bagnara 03 Oct '04

03 Oct '04

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@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(a)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(a)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@cs.unipr.it

1 0

ppl/interfaces/Prolog/Ciao ppl_ciao.cc
by Roberto Bagnara 03 Oct '04

03 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Changes by: roberto(a)cs.unipr.it 2004-10-03 00:07:36 Modified files: interfaces/Prolog/Ciao: ppl_ciao.cc Log message: Started implementing bidirectional communication of bignums. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ppl_ci…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 19:23:45 Modified files: src : checked_int.inlines.hh Log message: Fixed 64 bit architecture. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 19:18:55 Modified files: src : checked_int.inlines.hh Log message: Better architecture support for Larger. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked.defs.hh
by Roberto Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-02 19:10:19 Modified files: src : checked.defs.hh Log message: Comments improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0

ppl/doc devref-browse.doxyconf-latex.in devref ...
by Roberto Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: roberto(a)cs.unipr.it 2004-10-02 18:51:24 Modified files: doc : devref-browse.doxyconf-latex.in devref-print.doxyconf-latex.in devref.doxyconf-html.in Log message: Add the new implementation files to the lists Doxygen uses to produce the developer's reference manual. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-browse.doxyconf-la… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref-print.doxyconf-lat… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/doc/devref.doxyconf-html.in.d…

1 0

ppl/src checked_int.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 18:03:02 Modified files: src : checked_int.inlines.hh Log message: Better name for Larger struct. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_int.inlines.hh.di…

1 0

ppl/src checked_mpz.inlines.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 17:59:04 Modified files: src : checked_mpz.inlines.hh Log message: Use GMP specific type for MP size. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked_mpz.inlines.hh.di…

1 0

ppl/src checked.defs.hh
by Abramo Bagnara 02 Oct '04

02 Oct '04

CVSROOT: /cvs/ppl Module name: ppl Branch: altnum Changes by: abramo(a)cs.unipr.it 2004-10-02 17:56:19 Modified files: src : checked.defs.hh Log message: Use distinct policies for ext functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/checked.defs.hh.diff?cvsr…

1 0