October 2014 - PPL-devel - BUGSENG Mailman

Support for Cartesian Factoring of Polyhedra? thread safe?
by aeflores 10 Nov '14

10 Nov '14

Hello, My name is Antonio Flores-Montoya and I am a PhD student at the Technical University of Darmstadt. I have been using PPL for a while and I have a couple questions concerning its PPL functionality: - In the paper of 2008 describing the parma polyhedra library you mention that you planed to implement the techniques described in "Cartesian factoring of polyhedra in linear relation analysis" I have been looking for it in the documentation but I haven't found anything about it. What is the state of this feature? Implemented, planned? -I tried to use the library from a multi-threaded prolog application. When I do that, I get different kinds of crashes that do not happen with a single-threaded version of the same program. Is PPL thread safe? In case it is, are there any considerations that I should take into account for using PPL from a multi-threaded application? Thanks, Antonio

2 1

[GIT] ppl/ppl(master): Updated.
by Roberto Bagnara 19 Oct '14

19 Oct '14

1 0

PPL and SWI-Prolog >= 7.1.x?
by Fred Mesnard 11 Oct '14

11 Oct '14

Hi there, does PPL work with SWI-Prolog >= 7.1.x? Thanks in advance, Fred

2 4

Scopri come puoi dimagrire 3 kg al mese senza andare in palestra
by Paolo 07 Oct '14

07 Oct '14

Hai troppi chili, e ogni giorno vi mette a disagio? Ora si può perdere peso in modo naturale al 100% con il minimo sforzo Per più informazioni su come perdere peso naturalmente CLICCA QUI! ==> http://click.pieremail.info/nidora.html unsubscribe : http://click.pieremail.info/index.php?a=3&b=1243124&c=4364634

1 0

[GIT] ppl/ppl(master): No need to depend on PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK for auto initialization .
by Roberto Bagnara 01 Oct '14

01 Oct '14

Module: ppl/ppl Branch: master Commit: e7717fe6c534874f4eb8752718c8e56c24736c1a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7717fe6c534… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Wed Oct 1 13:55:27 2014 +0200 No need to depend on PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK for auto initialization. (Thanks to Keith Clifford.) --- demos/ppl_lcdd/ppl_lcdd.cc | 6 ------ demos/ppl_lpsol/ppl_lpsol.c | 6 ------ demos/ppl_pips/ppl_pips.cc | 6 ------ src/Init.cc | 7 +------ src/set_GMP_memory_alloc_funcs.cc | 7 +------ tests/Polyhedron/memory1.cc | 17 ----------------- 6 files changed, 2 insertions(+), 47 deletions(-) diff --git a/demos/ppl_lcdd/ppl_lcdd.cc b/demos/ppl_lcdd/ppl_lcdd.cc index 07ca09e..d4465b6 100755 --- a/demos/ppl_lcdd/ppl_lcdd.cc +++ b/demos/ppl_lcdd/ppl_lcdd.cc @@ -45,12 +45,6 @@ namespace PPL = Parma_Polyhedra_Library; typedef PPL::C_Polyhedron POLYHEDRON_TYPE; -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -extern "C" void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #elif defined(USE_POLKA) #include <ppl-config.h> diff --git a/demos/ppl_lpsol/ppl_lpsol.c b/demos/ppl_lpsol/ppl_lpsol.c index c0f10ef..52d1cce 100644 --- a/demos/ppl_lpsol/ppl_lpsol.c +++ b/demos/ppl_lpsol/ppl_lpsol.c @@ -1313,12 +1313,6 @@ error_handler(enum ppl_enum_error_code code, fatal("PPL error code %d: %s", code, description); } -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #if defined(NDEBUG) #if !(defined(PPL_GLPK_HAS_GLP_TERM_OUT) && defined(GLP_OFF)) diff --git a/demos/ppl_pips/ppl_pips.cc b/demos/ppl_pips/ppl_pips.cc index 2ab9dc3..1259d80 100644 --- a/demos/ppl_pips/ppl_pips.cc +++ b/demos/ppl_pips/ppl_pips.cc @@ -41,12 +41,6 @@ namespace PPL = Parma_Polyhedra_Library; typedef PPL::C_Polyhedron POLYHEDRON_TYPE; -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK -extern "C" void -ppl_set_GMP_memory_allocation_functions(void) { -} -#endif - #elif defined(USE_PIPLIB) #error "PipLib not supported yet" diff --git a/src/Init.cc b/src/Init.cc index 0daaab0..1b6bc2b 100644 --- a/src/Init.cc +++ b/src/Init.cc @@ -48,12 +48,7 @@ unsigned int PPL::Init::count = 0; PPL::fpu_rounding_direction_type PPL::Init::old_rounding_direction; extern "C" void -ppl_set_GMP_memory_allocation_functions(void) -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - __attribute__((weak)); -#else - ; -#endif +ppl_set_GMP_memory_allocation_functions(void); #if PPL_CAN_CONTROL_FPU \ && defined(PPL_ARM_CAN_CONTROL_FPU) && PPL_ARM_CAN_CONTROL_FPU diff --git a/src/set_GMP_memory_alloc_funcs.cc b/src/set_GMP_memory_alloc_funcs.cc index 5e696a1..ddb826f 100644 --- a/src/set_GMP_memory_alloc_funcs.cc +++ b/src/set_GMP_memory_alloc_funcs.cc @@ -24,13 +24,8 @@ site: http://bugseng.com/products/ppl/ . */ #include "ppl-config.h" extern "C" void -ppl_set_GMP_memory_allocation_functions(void) -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - __attribute__((weak)); +ppl_set_GMP_memory_allocation_functions(void); void ppl_set_GMP_memory_allocation_functions(void) { } -#else - ; -#endif diff --git a/tests/Polyhedron/memory1.cc b/tests/Polyhedron/memory1.cc index c3e59ff..f49e5f0 100644 --- a/tests/Polyhedron/memory1.cc +++ b/tests/Polyhedron/memory1.cc @@ -21,9 +21,6 @@ Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02111-1307, USA. For the most up-to-date information see the Parma Polyhedra Library site: http://bugseng.com/products/ppl/ . */ -// Note: we cannot know, at this stage whether -// PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK evaluates to true. -#define PPL_NO_AUTOMATIC_INITIALIZATION #include "ppl_test.hh" #include <new> #include <cstring> @@ -162,23 +159,13 @@ cxx_free(void* p, size_t) { #define INIT_MEMORY 3*1024*1024 -#if PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK extern "C" void ppl_set_GMP_memory_allocation_functions(void) { mp_set_memory_functions(cxx_malloc, cxx_realloc, cxx_free); } -#endif // PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK int main() TRY { -#if !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - mp_set_memory_functions(cxx_malloc, cxx_realloc, cxx_free); -#endif // !PPL_CXX_SUPPORTS_ATTRIBUTE_WEAK - - // Note: we have included <ppl.hh> under the definition of - // PPL_NO_AUTOMATIC_INITIALIZATION. - Parma_Polyhedra_Library::initialize(); - set_handlers(); // Find a dimension that cannot be computed with INIT_MEMORY bytes. @@ -209,10 +196,6 @@ main() TRY { nout << "Estimated memory for dimension " << dimension << ": " << (lower_bound+upper_bound)/2 << " bytes" << endl; - // Note: we have included <ppl.hh> under the definition of - // PPL_NO_AUTOMATIC_INITIALIZATION. - Parma_Polyhedra_Library::finalize(); - return 0; } CATCH

1 0

Re: [PPL-devel] FW: seg fault on override of a weak symbol in g++
by Roberto Bagnara 01 Oct '14

01 Oct '14

On 08/05/14 01:07, Keith Clifford wrote: > This is just an update about the Seg Fault that I had building PPL last > week. The issue is in the mingw compiler under certain circumstances which > are described below if you're interested and in the attached files. The > compiler and your test in the configure script indicate that the compiler > supports weak symbols but it really doesn't under specific circumstances > which the PPL build found. Anyway its in Cygwin's hands now. Hello Keith. thanks for the update. Please keep me posted. I am thinking that, even if Cygwin people fixes the issue, this will not happen until some time. Perhaps we should change the configure script so as to perform a more precise detection. What do you think? Thanks again, Roberto > -----Original Message----- > From: Keith Clifford [mailto:kclifford@tranaptic.ca] > Sent: August 4, 2014 2:10 PM > To: 'cygwin(a)cygwin.com' > Subject: seg fault on override of a weak symbol in g++ > > Hi, > I was trying to build the ppl 1.1 library and got a seg fault when running > one of the tests. I've narrowed it down to the attached test case. > > System: CYGWIN_NT-6.1 Keith-PC 1.7.31(0.272/5/3) 2014-07-25 11:26 x86_64 > Cygwin > > Both the following GCC's exhibit the problem Cygwin: > Using built-in specs. > COLLECT_GCC=i686-pc-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-pc-mingw32/4.7.3/lto-wrapper.exe > Target: i686-pc-mingw32 > Configured with: > /usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3/configure > --srcdir=/usr/src/packages/mingw-gcc/64/mingw-gcc-4.7.3-1/src/gcc-4.7.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/lib --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --datarootdir=/usr/share --docdir=/usr/share/doc/mingw-gcc > -C --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=i686-pc-mingw32 > --without-libiconv-prefix --without-libintl-prefix > --with-sysroot=/usr/i686-pc-mingw32/sys-root > --with-build-sysroot=/usr/i686-pc-mingw32/sys-root > --enable-languages=c,c++,fortran,objc,obj-c++ --disable-sjlj-exceptions > --with-dwarf2 --enable-shared --enable-libgomp --disable-win32-registry > --enable-libstdcxx-debug --disable-build-poststage1-with-cxx > --enable-version-specific-runtime-libs --disable-multilib > --enable-decimal-float=bid --disable-werror --enable-lto Thread model: win32 > gcc version 4.7.3 (GCC) > > Using built-in specs. > COLLECT_GCC=i686-w64-mingw32-g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/i686-w64-mingw32/4.8.3/lto-wrapper.exe > Target: i686-w64-mingw32 > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3-1/src/gcc > -4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/mingw64-i686/mingw64-i686-gcc-4.8.3- > 1/src/gcc-4.8.3 --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin > --sbindir=/usr/sbin --libexecdir=/usr/libexec --datadir=/usr/share > --localstatedir=/var --sysconfdir=/etc --libdir=/usr/lib > --datarootdir=/usr/share --docdir=/usr/share/doc/mingw64-i686-gcc > --htmldir=/usr/share/doc/mingw64-i686-gcc/html -C --build=x86_64-pc-cygwin > --host=x86_64-pc-cygwin --target=i686-w64-mingw32 --without-libiconv-prefix > --without-libintl-prefix --with-sysroot=/usr/i686-w64-mingw32/sys-root > --with-build-sysroot=/usr/i686-w64-mingw32/sys-root --disable-multilib > --disable-win32-registry > --enable-languages=c,ada,c++,fortran,lto,objc,obj-c++ > --enable-fully-dynamic-strings --enable-graphite --enable-libgomp > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-version-specific-runtime-libs --with-dwarf2 --with-gnu-ld > --with-gnu-as --with-tune=generic > --with-cloog-include=/usr/include/cloog-isl --with-system-zlib > --libexecdir=/usr/lib Thread model: win32 gcc version 4.8.3 (GCC) > > > When built with the default Cygwin compiler the problem doesn't occur. > Using built-in specs. > COLLECT_GCC=g++ > COLLECT_LTO_WRAPPER=/usr/lib/gcc/x86_64-pc-cygwin/4.8.3/lto-wrapper.exe > Target: x86_64-pc-cygwin > Configured with: > /cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3/configure > --srcdir=/cygdrive/i/szsz/tmpp/cygwin64/gcc/gcc-4.8.3-2/src/gcc-4.8.3 > --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin > --libexecdir=/usr/libexec --datadir=/usr/share --localstatedir=/var > --sysconfdir=/etc --libdir=/usr/lib --datarootdir=/usr/share > --docdir=/usr/share/doc/gcc --htmldir=/usr/share/doc/gcc/html -C > --build=x86_64-pc-cygwin --host=x86_64-pc-cygwin --target=x86_64-pc-cygwin > --without-libiconv-prefix --without-libintl-prefix --enable-shared > --enable-shared-libgcc --enable-static > --enable-version-specific-runtime-libs --enable-bootstrap > --disable-__cxa_atexit --with-dwarf2 --with-tune=generic > --enable-languages=ada,c,c++,fortran,lto,objc,obj-c++ --enable-graphite > --enable-threads=posix --enable-libatomic --enable-libgomp --disable-libitm > --enable-libquadmath --enable-libquadmath-support --enable-libssp > --enable-libada --enable-libgcj-sublibs --disable-java-awt --disable-symvers > --with-ecj-jar=/usr/share/java/ecj.jar --with-gnu-ld --with-gnu-as > --with-cloog-include=/usr/include/cloog-isl --without-libiconv-prefix > --without-libintl-prefix --with-system-zlib --libexecdir=/usr/lib Thread > model: posix gcc version 4.8.3 (GCC) > > In the attached files in weak.cpp if the line > static ios_base::Init __ioinit; > is commented out the seg fault doesn't occur. Doing a disassembly of weak.o > (objdump -d weak.o) shows that the call includes a nonzero offset that gets > applied when the weak symbol is overridden by the function in strong.o. The > offset is zero if the above mentioned line is commented out. > > Regards, > Keith > > -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagnara@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagnara@bugseng.com

2 4