September 2008 - PPL-devel - BUGSENG Mailman

ppl/tests ppl_test.hh
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 22:39:05 Modified files: tests : ppl_test.hh Log message: Include <cstdlib> for getenv(). Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/tests/ppl_test.hh.diff?cvsroo…

1 0

ppl/interfaces/Java jni/ppl_interface_generato ...
by Patricia Hill 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-29 22:26:42 Modified files: interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 interfaces/Java/parma_polyhedra_library: ppl_interface_generator_java_classes_java_code.m4 interfaces/Java/tests: ppl_interface_generator_java_test_java_code.m4 Log message: Updated the partition method headers and tests so that the schema procedure name and code use the new pattern to match that in the procedure schema list. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/parma_polyhed… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/ppl_int…

1 0

ppl/interfaces/Java jni/ppl_java_common.cc jni ...
by Patricia Hill 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: hill(a)cs.unipr.it 2008-09-29 22:10:43 Modified files: interfaces/Java/jni: ppl_java_common.cc ppl_java_globals.cc interfaces/Java/tests: Makefile.am Added files: interfaces/Java/tests: MIP_Problem_test1.java Log message: Added tests for the MIP_Problem class and methods. Corrected some bugs in the same class. 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/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/MIP_Pro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/tests/Makefil…

1 0

ppl interfaces/C/ppl_c_implementation_common.d ...
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 22:04:08 Modified files: interfaces/C : ppl_c_implementation_common.defs.hh interfaces/Java/jni: ppl_interface_generator_java_classes_cc_code.m4 ppl_java_common.cc ppl_java_globals.cc interfaces/OCaml: ppl_interface_generator_ocaml_cc_code.m4 interfaces/Prolog: ppl_prolog_common.cc interfaces/Prolog/Ciao: ciao_cfli.hh ciao_efli.cc interfaces/Prolog/SICStus: sicstus_efli.cc src : Congruence.cc Log message: The construct s.str().c_str(), where `s' is an std::ostringstream, is extremely dangerous. In fact, the compiler can (and does!) destruct the temporary std::string object returned by str() as soon as c_str() returns, which results into a dangling pointer. This construct is now avoided. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/ppl_c_implementa… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Java/jni/ppl_inter… 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/jni/ppl_java_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/OCaml/ppl_interfac… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/ppl_prolog_… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_c… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/Ciao/ciao_e… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/Prolog/SICStus/sic… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Congruence.cc.diff?cvsroo…

1 0

ppl/interfaces/C Makefile.am
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 21:28:25 Modified files: interfaces/C : Makefile.am Log message: Activated the `tests' subdirectory. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/Makefile.am.diff…

1 0

ppl/interfaces/C/tests cxxoutput.c
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 21:28:00 Modified files: interfaces/C/tests: cxxoutput.c Log message: DIMENSION and line lengths increased. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/cxxoutput.…

1 0

[Fwd: Re: Missing symbols in C interface.]
by Roberto Bagnara 29 Sep '08

29 Sep '08

-------- Original Message -------- Subject: Re: Missing symbols in C interface. Date: Mon, 29 Sep 2008 20:15:34 +0200 From: Nicolas CANIART <nicolas(a)caniart.net> Reply-To: Nicolas CANIART <nicolas.caniart(a)labri.fr> To: Roberto Bagnara <bagnara(a)cs.unipr.it> References: <48E104B5.1080206(a)cs.unipr.it> <48E11818.8040903(a)cs.unipr.it> I was not expecting nor even asking you to do this work ! I am amazed, thanks a lot for your kind and quick help. I will forward your patch to PresTAF maintainer (and I'm currently rebuild it). Good evening, Nicolas. On Mon, Sep 29, 2008 at 08:02:00PM +0200, Roberto Bagnara wrote: > Nicolas CANIARTwrote: >>>> I'm currently working with PPL throught its C programming interface. >>> >> about these symbols in the changelog). But if you say that some of these >> functions are, indeed, deprecated I guess the solution to my problem is [...] >> to grab a snapshot of PPL-09 and i'll see with PresTAF maintainer what >> he decides to do about the newer version of PPL (the maintainer is on >> vacation right now...) > > Dear Nicolas (and AltaRica developers), > > the interfaces (and, in particular, the C interface) have been slightly > improved passing from PPL 0.9 to PPL 0.10 (due to be released in 2 or > 3 weeks from now). I attach a patch that can be used to adapt the > PresTAF sources. Of course, you can do a slightly better job by > conditionalizing the changes on PPL_VERSION_MAJOR and PPL_VERSION_MINOR, > but perhaps this is not worth your time: PPL 0.10 will completely > supersede PPL 0.9, and I see no reason, apart from licensing*, > to use PPL 0.9. > All the best, > > Roberto > > P.S. PPL 0.9 is GPLv2+, while PPL 0.10 is GPLv3+. > > -- > Prof. Roberto Bagnara > Computer Science Group > Department of Mathematics, University of Parma, Italy > http://www.cs.unipr.it/~bagnara/ > mailto:bagnara@cs.unipr.it -- 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 m4/ac_check_gmp.m4 src/Bit_Row.defs.hh
by Roberto Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: bagnara(a)cs.unipr.it 2008-09-29 21:22:25 Modified files: m4 : ac_check_gmp.m4 src : Bit_Row.defs.hh Log message: In order to use GMP from C++, always include <gmpxx.h>, not <gmp.h>. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/m4/ac_check_gmp.m4.diff?cvsro… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/src/Bit_Row.defs.hh.diff?cvsr…

1 0

SOS_MEMORY_SIZE too small?
by Roberto Bagnara 29 Sep '08

29 Sep '08

Hi there, while porting the Parma Polyhedra Library (http://www.cs.unipr.it/ppl/) to Itanium, we discovered what seems to be a libunwind problem. The symptoms are that, during the throw of an std::bad_alloc exception, libunwind calls abort() as follows: $ libtool --mode=execute gdb memory1 ./memory1: line 61: Xmemory1: command not found GNU gdb 6.8-debian Copyright (C) 2008 Free Software Foundation, Inc. License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> This is free software: you are free to change and redistribute it. There is NO WARRANTY, to the extent permitted by law. Type "show copying" and "show warranty" for details. This GDB was configured as "ia64-linux-gnu"... (gdb) r Starting program: /home/bagnara/ppl/build/tests/Polyhedron/.libs/lt-memory1 Trying dimension 8 Program received signal SIGABRT, Aborted. 0xa000000000010621 in __kernel_syscall_via_break () (gdb) info stack #0 0xa000000000010621 in __kernel_syscall_via_break () #1 0x20000000005cd2a0 in raise () from /lib/libc.so.6.1 #2 0x20000000005cfb70 in abort () from /lib/libc.so.6.1 #3 0x200000000052bc30 in _UIia64__sos_alloc (size=752) at mi/mempool.c:61 #4 0x200000000052be20 in expand (pool=0x2000000000559528) at mi/mempool.c:137 #5 0x200000000052c030 in _UIia64__mempool_alloc (pool=0x2000000000559528) at mi/mempool.c:180 #6 0x20000000005357b0 in desc_label_state (label=3, sr=0x60000ffffffbd2c8) at ia64/Gparser.c:533 #7 0x2000000000538100 in create_state_record_for (c=0x60000ffffffbe180, sr=0x60000ffffffbd2c8, ip=<value optimized out>) at ia64/unwind_decoder.h:396 #8 0x2000000000540e00 in build_script (c=0x60000ffffffbe180, script=0x2000000000575d58) at ia64/Gscript.c:458 #9 0x2000000000542a10 in _ULia64_find_save_locs (c=0x60000ffffffbe180) at ia64/Gscript.c:688 #10 0x2000000000542f90 in _ULia64_step (cursor=0x60000ffffffbe180) at ia64/Gstep.c:338 #11 0x200000000052ddd0 in _Unwind_RaiseException ( exception_object=0x2000000000425870) at unwind/RaiseException.c:49 #12 0x20000000003d16d0 in __cxa_throw () from /usr/lib/libstdc++.so.6 #13 0x20000000003d2440 in operator new () from /usr/lib/libstdc++.so.6 #14 0x4000000000006940 in cxx_malloc (size=8) at ../../../ppl/tests/Polyhedron/memory1.cc:133 #15 0x20000000002074a0 in __gmpz_init () from /usr/lib/libgmp.so.3 #16 0x200000000016f300 in Parma_Polyhedra_Library::Row_Impl_Handler::Impl::expand_within_capacity (this=0x6000000000033e60, new_size=10) at /usr/include/gmpxx.h:1478 #17 0x20000000000b4700 in Parma_Polyhedra_Library::Linear_System::add_pending_row (this=0x60000ffffffbf350, flags=<value optimized out>) at ../../ppl/src/Row.inlines.hh:235 #18 0x200000000017f6f0 in Parma_Polyhedra_Library::Polyhedron::conversion ( source=@0x60000ffffffbf310, start=0, dest=@0x60000ffffffbf350, sat=@0x60000ffffffbf230, num_lines_or_equalities=0) at ../../ppl/src/conversion.cc:722 #19 0x2000000000182040 in Parma_Polyhedra_Library::Polyhedron::minimize ( con_to_gen=true, source=@0x60000ffffffbf310, dest=@0x60000ffffffbf350, sat=@0x60000ffffffbf3b0) at ../../ppl/src/minimize.cc:137 ---Type <return> to continue, or q <return> to quit--- #20 0x20000000000ea250 in Parma_Polyhedra_Library::Polyhedron::update_generators (this=0x60000ffffffbf310) at ../../ppl/src/Polyhedron_nonpublic.cc:828 #21 0x2000000000107fc0 in Parma_Polyhedra_Library::Polyhedron::generators ( this=0x60000ffffffbf310) at ../../ppl/src/Polyhedron_public.cc:147 #22 0x40000000000078f0 in compute_open_hypercube_generators (dimension=8) at ../../../ppl/tests/Polyhedron/memory1.cc:73 #23 0x40000000000081d0 in guarded_compute_open_hypercube_generators ( dimension=8, max_memory_in_bytes=3145728) at ../../../ppl/tests/Polyhedron/memory1.cc:115 #24 0x4000000000008640 in main () at ../../../ppl/tests/Polyhedron/memory1.cc:163 Apparently, this is due to SOS_MEMORY_SIZE being too small. The following patch fixes it: --- libunwind-0.98.6/src/mi/mempool.c 2008-09-29 20:57:19.000000000 +0200 +++ libunwind-0.98.6/src/mi/mempool.c.fixed 2008-09-29 20:16:36.000000000 +0200 @@ -34,7 +34,7 @@ #include "mempool.h" #define MAX_ALIGN (sizeof (long double)) -#define SOS_MEMORY_SIZE 16384 +#define SOS_MEMORY_SIZE 32768 static char sos_memory[SOS_MEMORY_SIZE]; static char *sos_memp; You may also want to apply the following patch: --- libunwind-0.98.6/src/ia64/Gscript.c~ 2007-11-15 01:01:19.000000000 +0100 +++ libunwind-0.98.6/src/ia64/Gscript.c 2008-09-29 20:17:34.000000000 +0200 @@ -113,7 +113,7 @@ sigprocmask (SIG_SETMASK, &unwi_full_sigmask, saved_sigmaskp); if (likely (caching == UNW_CACHE_GLOBAL)) { - Debug (16, "%s: acquiring lock\n"); + Debug (16, "%s: acquiring lock\n", __FUNCTION__); mutex_lock (&cache->lock); } #endif All the best, Abramo and Roberto Bagnara -- 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/C/tests cxxoutput.c print_to_bu ...
by Abramo Bagnara 29 Sep '08

29 Sep '08

CVSROOT: /cvs/ppl Module name: ppl Changes by: abagnara(a)cs.unipr.it 2008-09-29 21:03:17 Modified files: interfaces/C/tests: cxxoutput.c print_to_buffer.cc Log message: Fixed c_str() use. Patches: http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/cxxoutput.… http://www.cs.unipr.it/cgi-bin/cvsweb.cgi/ppl/interfaces/C/tests/print_to_b…

1 0