PPL-devel

Download

ppl-devel@bugseng.com

November 2014

3 participants
12 discussions

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): Fixed a bug in the implementation of dense rows.
by Roberto Bagnara 04 Nov '14

04 Nov '14

Module: ppl/ppl Branch: master Commit: f4c396b642a8b67f8290ceeda53ddeb114fc34ac URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f4c396b642a8… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Tue Nov 4 10:17:38 2014 +0100 Fixed a bug in the implementation of dense rows. (Thanks to Enea Zaffanella.) --- NEWS | 19 +++++++++++++++++++ configure.ac | 2 +- src/Dense_Row.cc | 5 +++-- tests/Polyhedron/sparserow1.cc | 8 ++++++++ 4 files changed, 31 insertions(+), 3 deletions(-) diff --git a/NEWS b/NEWS index db282a4..3ef75d9 100644 --- a/NEWS +++ b/NEWS @@ -9,6 +9,25 @@ Parma Polyhedra Library NEWS -- history of user-visible changes =============================================================== -------------------------------------------------------------------------- +NEWS for version 1.2 (released date to be decided) +-------------------------------------------------------------------------- + +New and Changed Features +======================== + +o TO BE WRITTEN + + + +Bugfixes +======== + +o Fixed a bug in the implementation of dense rows. + +o Portability improved. + + +-------------------------------------------------------------------------- NEWS for version 1.1 (released on October 28, 2013) -------------------------------------------------------------------------- diff --git a/configure.ac b/configure.ac index 2090e62..890d386 100644 --- a/configure.ac +++ b/configure.ac @@ -24,7 +24,7 @@ # Process this file with Autoconf to produce a configure script. # Every other copy of the package version number gets its value from here. -AC_INIT([the Parma Polyhedra Library], [1.2pre4], [ppl-devel(a)cs.unipr.it], [ppl]) +AC_INIT([the Parma Polyhedra Library], [1.2pre5], [ppl-devel(a)cs.unipr.it], [ppl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/src/Dense_Row.cc b/src/Dense_Row.cc index 22b8673..c7adbaf 100644 --- a/src/Dense_Row.cc +++ b/src/Dense_Row.cc @@ -31,10 +31,11 @@ site: http://bugseng.com/products/ppl/ . */ namespace PPL = Parma_Polyhedra_Library; -PPL::Dense_Row::Dense_Row(const Sparse_Row& y, dimension_type sz, dimension_type capacity) { +PPL::Dense_Row::Dense_Row(const Sparse_Row& y, + dimension_type sz, dimension_type capacity) { resize(sz, capacity); for (Sparse_Row::const_iterator i = y.begin(), - i_end = y.lower_bound(sz); i != i_end; ++i) { + i_end = y.lower_bound(std::min(y.size(), sz)); i != i_end; ++i) { (*this)[i.index()] = *i; } PPL_ASSERT(OK()); diff --git a/tests/Polyhedron/sparserow1.cc b/tests/Polyhedron/sparserow1.cc index 8cea98c..0ed85b5 100644 --- a/tests/Polyhedron/sparserow1.cc +++ b/tests/Polyhedron/sparserow1.cc @@ -598,6 +598,13 @@ test09() { return true; } +bool +test10() { + Sparse_Row sparse(2); + Dense_Row dense(sparse, 8, 8); + return true; +} + } // namespace BEGIN_MAIN @@ -610,6 +617,7 @@ BEGIN_MAIN DO_TEST(test07); DO_TEST(test08); DO_TEST(test09); + DO_TEST(test10); END_MAIN #else // !PPL_USE_SPARSE_MATRIX

1 0