July 2009 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): Fixed INPUT variable in Doxygen configuration for devref.
by Enea Zaffanella 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 6a645e6094ee6df1d5bf27da6ed88001090400e7 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a645e6094ee… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 20:51:38 2009 +0200 Fixed INPUT variable in Doxygen configuration for devref. --- Watchdog/doc/devref.doxyconf-html.in | 7 +++++-- Watchdog/doc/devref.doxyconf-latex.in | 7 +++++-- 2 files changed, 10 insertions(+), 4 deletions(-) diff --git a/Watchdog/doc/devref.doxyconf-html.in b/Watchdog/doc/devref.doxyconf-html.in index 14bc4ce..c5b40ec 100644 --- a/Watchdog/doc/devref.doxyconf-html.in +++ b/Watchdog/doc/devref.doxyconf-html.in @@ -99,11 +99,14 @@ INPUT = @srcdir@/../src/Doubly_Linked_Object.types.hh \ @srcdir@/../src/Pending_Element.types.hh \ @srcdir@/../src/Pending_Element.defs.hh \ @srcdir@/../src/Pending_Element.inlines.hh \ - @srcdir@/../src/Pending_Element.cc \ @srcdir@/../src/Pending_List.types.hh \ @srcdir@/../src/Pending_List.defs.hh \ @srcdir@/../src/Pending_List.inlines.hh \ - @srcdir@/../src/Pending_List.cc \ + @srcdir@/../src/Threshold_Watcher.types.hh \ + @srcdir@/../src/Threshold_Watcher.defs.hh \ + @srcdir@/../src/Threshold_Watcher.inlines.hh \ + @srcdir@/../src/Threshold_Watcher.templates.hh \ + @srcdir@/../src/Threshold_Watcher.cc \ @srcdir@/../src/Time.types.hh \ @srcdir@/../src/Time.defs.hh \ @srcdir@/../src/Time.inlines.hh \ diff --git a/Watchdog/doc/devref.doxyconf-latex.in b/Watchdog/doc/devref.doxyconf-latex.in index fc3ad30..e5d8bfe 100644 --- a/Watchdog/doc/devref.doxyconf-latex.in +++ b/Watchdog/doc/devref.doxyconf-latex.in @@ -99,15 +99,18 @@ INPUT = @srcdir@/../src/Doubly_Linked_Object.types.hh \ @srcdir@/../src/Pending_Element.types.hh \ @srcdir@/../src/Pending_Element.defs.hh \ @srcdir@/../src/Pending_Element.inlines.hh \ - @srcdir@/../src/Pending_Element.cc \ @srcdir@/../src/Pending_List.types.hh \ @srcdir@/../src/Pending_List.defs.hh \ @srcdir@/../src/Pending_List.inlines.hh \ - @srcdir@/../src/Pending_List.cc \ @srcdir@/../src/Time.types.hh \ @srcdir@/../src/Time.defs.hh \ @srcdir@/../src/Time.inlines.hh \ @srcdir@/../src/Time.cc \ + @srcdir@/../src/Threshold_Watcher.types.hh \ + @srcdir@/../src/Threshold_Watcher.defs.hh \ + @srcdir@/../src/Threshold_Watcher.inlines.hh \ + @srcdir@/../src/Threshold_Watcher.templates.hh \ + @srcdir@/../src/Threshold_Watcher.cc \ @srcdir@/../src/Watchdog.types.hh \ @srcdir@/../src/Watchdog.defs.hh \ @srcdir@/../src/Watchdog.inlines.hh \

1 0

[GIT] ppl/ppl(master): Updated for PWL 0.8.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 2cda644cec9ac53ad8705fa1c4911927cc5e5492 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2cda644cec9a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:05:01 2009 +0200 Updated for PWL 0.8. --- Watchdog/README | 7 ++++--- Watchdog/configure.ac | 2 +- Watchdog/src/Makefile.am | 4 ++-- 3 files changed, 7 insertions(+), 6 deletions(-) diff --git a/Watchdog/README b/Watchdog/README index 4aaf43a..adff74c 100644 --- a/Watchdog/README +++ b/Watchdog/README @@ -1,6 +1,7 @@ -This is the release 0.6 of the Parma Watchdog Library: -a C++ library for software timeouts. +This is the release 0.8 of the Parma Watchdog Library, a C++ library for +software timeouts and other devices able to throttle the complexity of +expensive algorithms. To be continued... @@ -15,7 +16,7 @@ contributed to the PWL. Here is the contents of the PWL 0.7 source distribution (5 directories, 97 files): -pwl-0.7 +pwl-0.8 |-- BUGS |-- COPYING |-- CREDITS diff --git a/Watchdog/configure.ac b/Watchdog/configure.ac index 8a4b069..5f90556 100644 --- a/Watchdog/configure.ac +++ b/Watchdog/configure.ac @@ -23,7 +23,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 Watchdog Library],[0.7],[bagnara(a)cs.unipr.it],[pwl]) +AC_INIT([the Parma Watchdog Library],[0.8],[bagnara(a)cs.unipr.it],[pwl]) # Minimum Autoconf version required. AC_PREREQ(2.61) diff --git a/Watchdog/src/Makefile.am b/Watchdog/src/Makefile.am index 1a151fb..103237c 100644 --- a/Watchdog/src/Makefile.am +++ b/Watchdog/src/Makefile.am @@ -93,9 +93,9 @@ pwl_header.hh # 0.6 0.10 4:0:0 # 0.7 0.10.1 4:0:0 # 0.7 0.10.2 4:0:0 -# 0.7 0.11 4:0:0 +# 0.8 0.11 5:0:0 -LIBPWL_LT_CURRENT = 4 +LIBPWL_LT_CURRENT = 5 LIBPWL_LT_REVISION = 0 LIBPWL_LT_AGE = 0

1 0

[GIT] ppl/ppl(master): These tests fail with 8-bit coefficients.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: ead85490a5fa18f870681468fa065de07f1b036a URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ead85490a5fa… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 19:00:19 2009 +0200 These tests fail with 8-bit coefficients. --- tests/Polyhedron/weightwatch1.cc | 6 +++--- 1 files changed, 3 insertions(+), 3 deletions(-) diff --git a/tests/Polyhedron/weightwatch1.cc b/tests/Polyhedron/weightwatch1.cc index ff8960b..27e06ce 100644 --- a/tests/Polyhedron/weightwatch1.cc +++ b/tests/Polyhedron/weightwatch1.cc @@ -236,7 +236,7 @@ bool test03() { } // namespace BEGIN_MAIN - DO_TEST(test01); - DO_TEST(test02); - DO_TEST(test03); + DO_TEST_F8(test01); + DO_TEST_F8(test02); + DO_TEST_F8(test03); END_MAIN

1 0

[GIT] ppl/ppl(master): Added a test for deterministic timeouts in the C language interface.
by Enea Zaffanella 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 42c630cd1c01b837e94a1285dcde2f3f23a1b4b4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42c630cd1c01… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:58:15 2009 +0200 Added a test for deterministic timeouts in the C language interface. --- interfaces/C/tests/Makefile.am | 19 +++++-- interfaces/C/tests/weightwatch1.c | 102 +++++++++++++++++++++++++++++++++++++ 2 files changed, 116 insertions(+), 5 deletions(-) diff --git a/interfaces/C/tests/Makefile.am b/interfaces/C/tests/Makefile.am index 6e53a36..bdb7233 100644 --- a/interfaces/C/tests/Makefile.am +++ b/interfaces/C/tests/Makefile.am @@ -82,25 +82,34 @@ dummy.cc watchdog1_SRCS = watchdog1.c +weightwatch1_SRCS = weightwatch1.c + noinst_HEADERS = \ ppl_c_test.h if BUILD_WATCHDOG_LIBRARY WATCHDOG_TESTS = \ -watchdog1 - -watchdog1_SOURCES = $(watchdog1_SRCS) +watchdog1 \ +weightwatch1 -watchdog1_CPPFLAGS = \ +WATCHDOG_LIBRARY_CPPFLAGS = \ $(AM_CPPFLAGS) \ -I$(top_builddir)/Watchdog \ -I$(top_builddir)/Watchdog/src -watchdog1_LDADD = \ +WATCHDOG_LIBRARY_LDADD = \ $(LDADD) \ $(top_builddir)/Watchdog/src/libpwl.la +watchdog1_SOURCES = $(watchdog1_SRCS) +watchdog1_CPPFLAGS = $(WATCHDOG_LIBRARY_CPPFLAGS) +watchdog1_LDADD = $(WATCHDOG_LIBRARY_LDADD) + +weightwatch1_SOURCES = $(weightwatch1_SRCS) +weightwatch1_CPPFLAGS = $(WATCHDOG_LIBRARY_CPPFLAGS) +weightwatch1_LDADD = $(WATCHDOG_LIBRARY_LDADD) + endif BUILD_WATCHDOG_LIBRARY TESTS = $(NORMAL_TESTS) $(WATCHDOG_TESTS) diff --git a/interfaces/C/tests/weightwatch1.c b/interfaces/C/tests/weightwatch1.c new file mode 100644 index 0000000..be17725 --- /dev/null +++ b/interfaces/C/tests/weightwatch1.c @@ -0,0 +1,102 @@ +/* Test the deterministic timeout facility of the PPL C interface library. + Copyright (C) 2001-2009 Roberto Bagnara <bagnara(a)cs.unipr.it> + +This file is part of the Parma Polyhedra Library (PPL). + +The PPL is free software; you can redistribute it and/or modify it +under the terms of the GNU General Public License as published by the +Free Software Foundation; either version 3 of the License, or (at your +option) any later version. + +The PPL is distributed in the hope that it will be useful, but WITHOUT +ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or +FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License +for more details. + +You should have received a copy of the GNU General Public License +along with this program; if not, write to the Free Software Foundation, +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://www.cs.unipr.it/ppl/ . */ + +#include "ppl_c.h" +#include <stdlib.h> + +void +open_hypercube(int dimension, ppl_Polyhedron_t ph) { + int i; + mpz_t z_one; + mpz_t z_minus_one; + ppl_Coefficient_t coeff_one; + ppl_Coefficient_t coeff_minus_one; + ppl_Linear_Expression_t le; + ppl_Constraint_t c; + ppl_Constraint_System_t cs; + + mpz_init_set_si(z_one, 1); + mpz_init_set_si(z_minus_one, -1); + ppl_new_Coefficient(&coeff_one); + ppl_assign_Coefficient_from_mpz_t(coeff_one, z_one); + ppl_new_Coefficient(&coeff_minus_one); + ppl_assign_Coefficient_from_mpz_t(coeff_minus_one, z_minus_one); + ppl_new_Linear_Expression_with_dimension(&le, dimension); + ppl_new_Constraint_System(&cs); + for (i = 0; i < dimension; ++i) { + ppl_Linear_Expression_add_to_coefficient(le, i, coeff_one); + /* Variable(i) > 0 */ + ppl_new_Constraint(&c, le, PPL_CONSTRAINT_TYPE_GREATER_THAN); + ppl_Constraint_System_insert_Constraint(cs, c); + ppl_delete_Constraint(c); + /* Variable(i) < 1 */ + ppl_Linear_Expression_add_to_inhomogeneous(le, coeff_minus_one); + ppl_new_Constraint(&c, le, PPL_CONSTRAINT_TYPE_LESS_THAN); + ppl_Constraint_System_insert_Constraint(cs, c); + ppl_delete_Constraint(c); + /* Zero `le' */ + ppl_Linear_Expression_add_to_coefficient(le, i, coeff_minus_one); + ppl_Linear_Expression_add_to_inhomogeneous(le, coeff_one); + } + ppl_Polyhedron_add_constraints(ph, cs); + ppl_delete_Constraint_System(cs); + ppl_delete_Linear_Expression(le); + ppl_delete_Coefficient(coeff_minus_one); + ppl_delete_Coefficient(coeff_one); + mpz_clear(z_minus_one); + mpz_clear(z_one); +} + +void +weighted_compute_open_hypercube_generators(unsigned weight, + int max_dimension) { + int i; + int result; + ppl_const_Generator_System_t gs; + ppl_Polyhedron_t ph; + + for (i = 0; i <= max_dimension; ++i) { + ppl_new_NNC_Polyhedron_from_space_dimension(&ph, i, 0); + open_hypercube(i, ph); + ppl_set_deterministic_timeout(weight); + result = ppl_Polyhedron_get_generators(ph, &gs); + ppl_reset_deterministic_timeout(); + ppl_delete_Polyhedron(ph); + if (result == PPL_TIMEOUT_EXCEPTION) + /* Deterministic timeout expired */ + return; + else if (result != 0) + /* Unexpected error */ + exit(1); + } + /* Should not reach this point */ + exit(1); +} + +int +main() { + ppl_initialize(); + weighted_compute_open_hypercube_generators(1000, 20); + ppl_finalize(); + return 0; +} +

1 0

[GIT] ppl/ppl(master): The deterministic timeout facilities are in the C language interface.
by Enea Zaffanella 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: e6ed324723fa3ef52c2e80f1ebdc8c7361b7aca3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6ed324723fa… Author: Enea Zaffanella <zaffanella(a)cs.unipr.it> Date: Sun Jul 12 18:36:43 2009 +0200 The deterministic timeout facilities are in the C language interface. --- interfaces/C/ppl_c_header.h | 39 ++++++++++++++++++++ interfaces/C/ppl_c_implementation_common.cc | 52 +++++++++++++++++++++++++++ src/globals.types.hh | 2 + 3 files changed, 93 insertions(+), 0 deletions(-) diff --git a/interfaces/C/ppl_c_header.h b/interfaces/C/ppl_c_header.h index a9fc702..2834a15 100644 --- a/interfaces/C/ppl_c_header.h +++ b/interfaces/C/ppl_c_header.h @@ -382,6 +382,45 @@ ppl_set_timeout PPL_PROTO((unsigned time)); int ppl_reset_timeout PPL_PROTO((void)); +/*! \brief + Sets a threshold for computations whose completion could require + an exponential amount of time. + + \param weight + The maximum computational weight allowed. + It must be strictly greater than zero. + + Computations taking exponential time will be interrupted some time + after reaching the \p weight complexity threshold. If the computation + is interrupted that way, the interrupted function will return error code + <code>PPL_TIMEOUT_EXCEPTION</code>. + Otherwise, if the computation completes without being interrupted, + then the deterministic timeout should be reset by calling + <code>ppl_reset_deterministic_timeout()</code>. + + \note + This "timeout" checking functionality is said to be \e deterministic + because it is not based on actual elapsed time. Its behavior will + only depend on (some of the) computations performed in the PPL library + and it will be otherwise independent from the computation environment + (CPU, operating system, compiler, etc.). + + \warning + The weight mechanism is under alpha testing. In particular, + there is still no clear relation between the weight threshold and + the actual computational complexity. As a consequence, client + applications should be ready to reconsider the tuning of these + weight thresholds when upgrading to newer version of the PPL. +*/ +int +ppl_set_deterministic_timeout PPL_PROTO((unsigned weight)); + +/*! \brief + Resets the deterministic timeout so that the computation is not interrupted. +*/ +int +ppl_reset_deterministic_timeout PPL_PROTO((void)); + /*@}*/ /* Timeout Handling */ /*! \defgroup Datatypes Library Datatypes diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index d061695..0e6c509 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -97,6 +97,12 @@ notify_error(enum ppl_enum_error_code code, const char* description) { Parma_Watchdog_Library::Watchdog* p_timeout_object = 0; +typedef +Parma_Watchdog_Library::Threshold_Watcher +<Parma_Polyhedra_Library::Weightwatch_Traits> Weightwatch; + +Weightwatch* p_deterministic_timeout_object = 0; + #endif // PPL_WATCHDOG_LIBRARY_ENABLED void @@ -110,6 +116,17 @@ reset_timeout() { #endif // PPL_WATCHDOG_LIBRARY_ENABLED } +void +reset_deterministic_timeout() { +#ifdef PPL_WATCHDOG_LIBRARY_ENABLED + if (p_deterministic_timeout_object) { + delete p_deterministic_timeout_object; + p_deterministic_timeout_object = 0; + abandon_expensive_computations = 0; + } +#endif // PPL_WATCHDOG_LIBRARY_ENABLED +} + } // namespace C } // namespace Interfaces @@ -119,6 +136,11 @@ reset_timeout() { using namespace Parma_Polyhedra_Library; using namespace Parma_Polyhedra_Library::Interfaces::C; +#ifdef PPL_WATCHDOG_LIBRARY_ENABLED +template <> Weightwatch::Initialize +Weightwatch::init = Weightwatch::Initialize(); +#endif // PPL_WATCHDOG_LIBRARY_ENABLED + unsigned int PPL_POLY_CON_RELATION_IS_DISJOINT; unsigned int PPL_POLY_CON_RELATION_STRICTLY_INTERSECTS; unsigned int PPL_POLY_CON_RELATION_IS_INCLUDED; @@ -232,6 +254,36 @@ ppl_reset_timeout(void) try { CATCH_ALL int +ppl_set_deterministic_timeout(unsigned weight) try { +#ifndef PPL_WATCHDOG_LIBRARY_ENABLED + const char* what = "PPL C interface error:\n" + "ppl_set_deterministic_timeout: the PPL Watchdog library is not enabled."; + throw std::runtime_error(what); +#else + // In case a deterministic timeout was already set. + reset_deterministic_timeout(); + static timeout_exception e; + p_deterministic_timeout_object + = new Weightwatch(weight, abandon_expensive_computations, e); + return 0; +#endif // PPL_WATCHDOG_LIBRARY_ENABLED +} +CATCH_ALL + +int +ppl_reset_deterministic_timeout(void) try { +#ifndef PPL_WATCHDOG_LIBRARY_ENABLED + const char* what = "PPL C interface error:\n" + "ppl_reset_deterministic_timeout: the PPL Watchdog library is not enabled."; + throw std::runtime_error(what); +#else + reset_deterministic_timeout(); + return 0; +#endif // PPL_WATCHDOG_LIBRARY_ENABLED +} +CATCH_ALL + +int ppl_set_rounding_for_PPL(void) try { set_rounding_for_PPL(); return 0; diff --git a/src/globals.types.hh b/src/globals.types.hh index 569f965..a6d7058 100644 --- a/src/globals.types.hh +++ b/src/globals.types.hh @@ -152,6 +152,8 @@ enum Bounded_Integer_Type_Overflow { OVERFLOW_IMPOSSIBLE }; +struct Weightwatch_Traits; + } // namespace Parma_Polyhedra_Library #endif // !defined(PPL_globals_types_hh)

1 0

[GIT] ppl/ppl(master): Got rid of the REACTIVE_ABANDONING macro.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 0f2de79bb0dbe31a943d1f1b0cd0321489c1e3a0 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0f2de79bb0db… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:16:20 2009 +0200 Got rid of the REACTIVE_ABANDONING macro. It was controlling tests whose cost is negligible, and defining it to 0 we would not honor what we promise in the documentation of abandon_expensive_computations. --- src/conversion.cc | 28 +++++++++------------------- 1 files changed, 9 insertions(+), 19 deletions(-) diff --git a/src/conversion.cc b/src/conversion.cc index 3249fbd..e1fcea9 100644 --- a/src/conversion.cc +++ b/src/conversion.cc @@ -34,11 +34,6 @@ site: http://www.cs.unipr.it/ppl/ . */ namespace PPL = Parma_Polyhedra_Library; -// True if abandon_expensive_computations should be checked often, -// where the meaning of "often" is as stated in the documentation -// of that variable. -#define REACTIVE_ABANDONING 1 - /*! \return The number of lines of the polyhedron or the number of equality @@ -414,18 +409,17 @@ PPL::Polyhedron::conversion(Linear_System& source, if (scalar_prod[index_non_zero] != 0) // The generator does not saturate the constraint. break; -#if REACTIVE_ABANDONING // Check if the client has requested abandoning all expensive // computations. If so, the exception specified by the client // is thrown now. maybe_abandon(); -#endif } for (dimension_type i = index_non_zero + 1; i < dest_num_rows; ++i) { Scalar_Products::assign(scalar_prod[i], source_k, dest[i]); -#if REACTIVE_ABANDONING + // Check if the client has requested abandoning all expensive + // computations. If so, the exception specified by the client + // is thrown now. maybe_abandon(); -#endif } // We first treat the case when `index_non_zero' is less than @@ -543,9 +537,10 @@ PPL::Polyhedron::conversion(Linear_System& source, scalar_prod[i] = 0; // `dest' has already been set as non-sorted. } -#if REACTIVE_ABANDONING + // Check if the client has requested abandoning all expensive + // computations. If so, the exception specified by the client + // is thrown now. maybe_abandon(); -#endif } // Since the `scalar_prod_nle' is positive (by construction), it // does not saturate the constraint `source_k'. Therefore, if @@ -761,9 +756,10 @@ PPL::Polyhedron::conversion(Linear_System& source, } } } -#if REACTIVE_ABANDONING + // Check if the client has requested abandoning all expensive + // computations. If so, the exception specified by the client + // is thrown now. maybe_abandon(); -#endif } // Now we substitute the rays in Q- (i.e., the rays violating // the constraint) with the newly added rays. @@ -808,12 +804,6 @@ PPL::Polyhedron::conversion(Linear_System& source, ++k; } } -#if !REACTIVE_ABANDONING - // Check if the client has requested abandoning all expensive - // computations. If so, the exception specified by the client - // is thrown now. - maybe_abandon(); -#endif } // We may have identified some redundant constraints in `source',

1 0

[GIT] ppl/ppl(master): Force rebuild.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 9ae4fb56b8ddabc7374e32d6500452ebddf75297 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae4fb56b8dd… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 17:12:20 2009 +0200 Force rebuild. --- fedora/ppl.spec | 5 ++++- 1 files changed, 4 insertions(+), 1 deletions(-) diff --git a/fedora/ppl.spec b/fedora/ppl.spec index 9f158a9..cce9759 100644 --- a/fedora/ppl.spec +++ b/fedora/ppl.spec @@ -2,7 +2,7 @@ Name: ppl Version: 0.10.2 -Release: 3%{?dist} +Release: 4%{?dist} Summary: The Parma Polyhedra Library: a library of numerical abstractions Group: Development/Libraries @@ -416,6 +416,9 @@ mv \ rm -rf %{buildroot} %changelog +* Sun Jul 12 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-4 +- Force rebuild. + * Fri Jun 19 2009 Roberto Bagnara <bagnara(a)cs.unipr.it> 0.10.2-3 - The `gprolog' and `yap' packages are not available on the sparc64 and sparcv9 architectures: so do `ppl-gprolog', `ppl-gprolog-static' and

1 0

[GIT] ppl/ppl(master): Converted watchdog time argument to unsigned.
by Abramo Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: a349f75ba19a1bb4c40f6e47da0d8261546be193 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a349f75ba19a… Author: Abramo Bagnara <abramo.bagnara(a)gmail.com> Date: Sun Jul 12 13:55:14 2009 +0200 Converted watchdog time argument to unsigned. --- TODO | 2 -- Watchdog/src/Watchdog.cc | 2 +- Watchdog/src/Watchdog.defs.hh | 10 +++++----- Watchdog/src/Watchdog.inlines.hh | 9 +++++---- 4 files changed, 11 insertions(+), 12 deletions(-) diff --git a/TODO b/TODO index 8f298f8..47cbef8 100644 --- a/TODO +++ b/TODO @@ -9,8 +9,6 @@ Enhancements for PPL 0.11 - Make all the *affine*image() methods uniform as far as the specification is concerned. - Check the use or the NOT_EQUAL Relation_Symbol everywhere. -- Reconsider the datatype for the units parameter in the Watchdog - constructors: should we prefer an unsigned? - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation. diff --git a/Watchdog/src/Watchdog.cc b/Watchdog/src/Watchdog.cc index beca915..ff23467 100644 --- a/Watchdog/src/Watchdog.cc +++ b/Watchdog/src/Watchdog.cc @@ -160,7 +160,7 @@ PWL::PWL_handle_timeout(int signum) { } PWL::Watchdog::WD_Pending_List::Iterator -PWL::Watchdog::new_watchdog_event(int units, +PWL::Watchdog::new_watchdog_event(unsigned int units, const Handler& handler, bool& expired_flag) { assert(units > 0); diff --git a/Watchdog/src/Watchdog.defs.hh b/Watchdog/src/Watchdog.defs.hh index edec34d..4dfffee 100644 --- a/Watchdog/src/Watchdog.defs.hh +++ b/Watchdog/src/Watchdog.defs.hh @@ -50,9 +50,9 @@ struct Watchdog_Traits { class Watchdog { public: template <typename Flag_Base, typename Flag> - Watchdog(int units, const Flag_Base* volatile& holder, Flag& flag); + Watchdog(unsigned int units, const Flag_Base* volatile& holder, Flag& flag); - Watchdog(int units, void (*function)()); + Watchdog(unsigned int units, void (*function)()); ~Watchdog(); @@ -105,9 +105,9 @@ private: static void handle_timeout(int); // Handle the addition of a new watchdog event. - static WD_Pending_List::Iterator new_watchdog_event(int units, - const Handler& handler, - bool& expired_flag); + static WD_Pending_List::Iterator new_watchdog_event(unsigned int units, + const Handler& handler, + bool& expired_flag); // Handle the removal of a watchdog event. void remove_watchdog_event(WD_Pending_List::Iterator position); diff --git a/Watchdog/src/Watchdog.inlines.hh b/Watchdog/src/Watchdog.inlines.hh index 0938216..04e1045 100644 --- a/Watchdog/src/Watchdog.inlines.hh +++ b/Watchdog/src/Watchdog.inlines.hh @@ -35,10 +35,11 @@ Watchdog::reschedule() { } template <typename Flag_Base, typename Flag> -Watchdog::Watchdog(int units, const Flag_Base* volatile& holder, Flag& flag) +Watchdog::Watchdog(unsigned int units, + const Flag_Base* volatile& holder, Flag& flag) : expired(false), handler(*new Handler_Flag<Flag_Base, Flag>(holder, flag)) { - if (units <= 0) + if (units == 0) throw std::invalid_argument("Watchdog constructor called with a" " non-positive number of time units"); in_critical_section = true; @@ -47,9 +48,9 @@ Watchdog::Watchdog(int units, const Flag_Base* volatile& holder, Flag& flag) } inline -Watchdog::Watchdog(int units, void (*function)()) +Watchdog::Watchdog(unsigned int units, void (*function)()) : expired(false), handler(*new Handler_Function(function)) { - if (units <= 0) + if (units == 0) throw std::invalid_argument("Watchdog constructor called with a" " non-positive number of time units"); in_critical_section = true;

1 0

[GIT] ppl/ppl(master): Item improved.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: f1a9519f0771e60551dcd143da754780dd5324a3 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f1a9519f0771… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:48:29 2009 +0200 Item improved. --- NEWS | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/NEWS b/NEWS index 15fd2ae..dec828b 100644 --- a/NEWS +++ b/NEWS @@ -10,7 +10,7 @@ NEWS for version 0.11 (released date to be decided) New and Changed Features ======================== -o Implementation of general (NNC) polyhedra speeded up. +o Implementation of general (C and NNC) polyhedra speeded up. o When the PPL has been configured with CPPFLAGS="-DPPL_ARM_CAN_CONTROL_FPU=1", the library initialization

1 0

[GIT] ppl/ppl(master): Synchronized with the current reality.
by Roberto Bagnara 12 Jul '09

12 Jul '09

Module: ppl/ppl Branch: master Commit: 8d2fd5e5653ab578ca672e2d1a57dfb659eb31ea URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8d2fd5e5653a… Author: Roberto Bagnara <bagnara(a)cs.unipr.it> Date: Sun Jul 12 11:47:36 2009 +0200 Synchronized with the current reality. --- TODO | 14 +++++--------- 1 files changed, 5 insertions(+), 9 deletions(-) diff --git a/TODO b/TODO index bae17fa..8f298f8 100644 --- a/TODO +++ b/TODO @@ -2,12 +2,10 @@ Enhancements for PPL 0.11 ========================= +- Consider adding the --with-gmp configure option, removing + --with-libgmp-prefix and --with-libgmpxx-prefix. - Add the domain of circular linear progressions. - Finish the domain of intervals. -- Supplement the "preemption" methods of the library allowing for - deterministic mechanisms (e.g., decrementing a counter and throwing - when it reaches zero). This will probably require changing the - current interface based on `abandon_expensive_computations'. - Make all the *affine*image() methods uniform as far as the specification is concerned. - Check the use or the NOT_EQUAL Relation_Symbol everywhere. @@ -16,10 +14,6 @@ Enhancements for PPL 0.11 - Intervals are best instantiated with checked numbers with particular policies: review all the interfaced boxes, augment the testsuite, and update the documentation. -- Reduce the number of FIXMEs to no more than 20. -- Switch to the latest versions of Autoconf and Automake (in beta test - at the time of writing): they provide features we have been looking - for for years. Commits to consider should we release PPL 0.10.3 @@ -42,9 +36,11 @@ b94dc7951129d065d858b6dbd932eac59a643f96 This allows to use a non-installed build of GMP in DIR.) -Enhancements for PPL 0.11 or later versions +Enhancements for PPL 0.12 or later versions =========================================== +- Modify the Makefile.am's to extend silent mode to our own rules. +- Reduce the number of FIXMEs to no more than 20. - Consider switching to MLGMPIDL for the OCaml interface (see https://bugzilla.redhat.com/show_bug.cgi?id=491712). - Improve the OCaml interface by supporting dynamic loading.

1 0