October 2007 - PPL-devel - BUGSENG Mailman

ppl/interfaces/Prolog/tests pl_check.pl
by Enea Zaffanella 08 Oct '07

08 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: zaffanella(a)cs.unipr.it 2007-10-08 11:00:11 Modified files: interfaces/Prolog/tests: pl_check.pl Log message: Removed a spurious occurrence of ppl_finalize/0 in time_out/1, which was causing a bug. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/tests/pl_ch…

1 0

GMP memory allocation problem in SWI-Prolog 5.6.38 and following versions
by Roberto Bagnara 08 Oct '07

08 Oct '07

Starting from version 5.6.38 of SWI-Prolog, applications using SWI-Prolog and GMP started failing. The problem is due to the fact that SWI-Prolog overrides the memory allocation functions used by GMP by calling mp_set_memory_functions(). I have observed two instances of the problem, one of which was reported by users of the Parma Polyhedra Library: 1) a variable allocated in the C++ code before SWI-Prolog changes the allocation functions is destroyed after SWI-Prolog has done that (this results in a segmentation fault); 2) while executing the C++ code, the realloc function set by SWI-Prolog is called (this results into an invalid pointer detected by glibc). Both instances are caused by the fact that memory allocated by GMP's default functions is reallocated/freed by SWI-Prolog's functions. Something that is guaranteed to cause problems. However, even if all memory allocation was done by the SWI-Prolog's functions, I am sure we would have other troubles. I am not sure what is the way out, but the problem is rather serious. 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

2 3

ppl STANDARDS
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 18:04:12 Modified files: . : STANDARDS Log message: Added an explanation of how to use the test-coverage facilities provided by GCC. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/STANDARDS.diff?cvsroot=ppl&r1…

1 0

ppl/interfaces/Prolog/SWI pl_clpq.cc ppl_pl.cc
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 17:46:51 Modified files: interfaces/Prolog/SWI: pl_clpq.cc ppl_pl.cc Log message: With versions of SWI-Prolog after 5.6.43, ask SWI-Prolog not to fiddle with GMP allocation functions. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/pl_clpq… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_pl.…

1 0

ppl/interfaces/Prolog/SWI ppl_interface_genera ...
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 17:45:42 Modified files: interfaces/Prolog/SWI: ppl_interface_generator_swiprolog_cc.m4 Log message: No longer use global variables of kind mpz_class, since that does not allow to precisely control construction and destruction time. This triggers a bug in pl_check.pl: apparently it tries to use the PPL interface after having called ppl_finalize/0 without an intervening invocation of ppl_initialize/0. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SWI/ppl_int…

1 0

ppl/tests/MIP_Problem exceptions1.cc
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 17:04:44 Modified files: tests/MIP_Problem: exceptions1.cc Log message: Comment improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/MIP_Problem/exceptions1…

1 0

ppl/interfaces/Java jni/ppl_java_common.hh ppl ...
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 10:16:55 Modified files: interfaces/Java/jni: ppl_java_common.hh interfaces/Java/ppl_java: MIP_Problem.java PPL_Object.java Log message: Comments and formatting improved. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/MIP_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/ppl_java/PPL_…

1 0

ppl TODO
by Roberto Bagnara 07 Oct '07

07 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2007-10-07 09:53:42 Modified files: . : TODO Log message: Item dealt with and removed. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl TODO
by Patricia Hill 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-06 22:39:35 Modified files: . : TODO Log message: Removed item - Revise the documentation for all the congruences() and minimized_congruences() methods. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/TODO.diff?cvsroot=ppl&r1=1.23…

1 0

ppl/src Direct_Product.defs.hh Grid.defs.hh Po ...
by Patricia Hill 06 Oct '07

06 Oct '07

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2007-10-06 22:37:39 Modified files: src : Direct_Product.defs.hh Grid.defs.hh Polyhedron.defs.hh Log message: Revised comments for some congruences() and minimized_congruences() methods and also similarly for some constraints() and minimized_constraints() methods. A couple of other typos fixed in comments in Grid.defs.hh Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Direct_Product.defs.hh.di… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Grid.defs.hh.diff?cvsroot… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Polyhedron.defs.hh.diff?c…

1 0