September 2010 - PPL-devel - BUGSENG Mailman

[GIT] ppl/ppl(master): ppl_c_implementation_common: fix performance bug in ppl_Linear_Expression_add_to_coefficient.
by Marco Poletti 16 Sep '10

16 Sep '10

Module: ppl/ppl Branch: master Commit: ba9f6c92b49afbbfc37d864f59fff70df90f6536 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba9f6c92b49a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Sep 16 21:07:58 2010 +0200 ppl_c_implementation_common: fix performance bug in ppl_Linear_Expression_add_to_coefficient. --- interfaces/C/ppl_c_implementation_common.cc | 2 +- 1 files changed, 1 insertions(+), 1 deletions(-) diff --git a/interfaces/C/ppl_c_implementation_common.cc b/interfaces/C/ppl_c_implementation_common.cc index 3380207..b95451a 100644 --- a/interfaces/C/ppl_c_implementation_common.cc +++ b/interfaces/C/ppl_c_implementation_common.cc @@ -536,7 +536,7 @@ ppl_Linear_Expression_add_to_coefficient(ppl_Linear_Expression_t le, ppl_const_Coefficient_t n) try { Linear_Expression& lle = *to_nonconst(le); const Coefficient& nn = *to_const(n); - lle += nn * Variable(var); + add_mul_assign(lle, nn, Variable(var)); return 0; } CATCH_ALL

1 0

[GIT] ppl/ppl(MPI): New commits
by Roberto Bagnara 16 Sep '10

16 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=410bc1bd0738… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Sep 16 17:49:42 2010 +0200 Distributed_Sparse_Matrix: fix bug in exiting_index_reducer_functor, affecting performance. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=845523ef9403… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Thu Sep 16 11:37:56 2010 +0200 Distributed_Sparse_Matrix: print the number of pivot operations in the destructor. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=389d8c2fc3b5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 21:28:11 2010 +0200 Revert "Distributed_Sparse_Matrix: use a dynamicly-allocated array instead of a vector for the reduce operation in float_entering_index." This reverts commit 4d5f95afb8b9a662e3b6f2160a15a49c971a2972. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=73999983bdc2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 19:31:58 2010 +0200 Distributed_Sparse_Matrix: optimize exact_entering_index(), exploiting the local copies of working_cost. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d5f95afb8b9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 19:14:28 2010 +0200 Distributed_Sparse_Matrix: use a dynamicly-allocated array instead of a vector for the reduce operation in float_entering_index. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d03f80ce8f87… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 18:32:42 2010 +0200 Distributed_Sparse_Matrix: optimize float_entering_index(), exploiting the local copies of working_cost. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0fc1afaecf71… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 17:57:01 2010 +0200 Distributed_Sparse_Matrix: store the working_cost in worker nodes, add a set_working_cost() operation and update the nodes' working_cost in get_exiting_and_pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46e1b9016642… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 17:04:49 2010 +0200 Distributed_Sparse_Matrix: optimize exact_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d264fd25c3eb… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:43:27 2010 +0200 Distributed_Sparse_Matrix: optimize float_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a06a4a19080… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:37:56 2010 +0200 Distributed_Sparse_Matrix: optimize compute_working_cost() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe9a6af26af0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:36:52 2010 +0200 Sparse_Row: optimize linear_combine() for the case (coeff1 == 1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7eecade09567… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:36:23 2010 +0200 Sparse_Row: avoid creating stored zeroes in combine_needs_second(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=87f29dca86f2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:13:30 2010 +0200 Distributed_Sparse_Matrix: optimize compute_working_cost__common() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=307394ac54c4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 16:03:53 2010 +0200 MIP_Problem: some little optimizations to exploit sparse workin_cost rows.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 15 Sep '10

15 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff67a6bed878… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 19:12:40 2010 +0200 MIP_Problem: remove useless reset() from linear_conbine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c4547fd8dd86… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 19:12:08 2010 +0200 Sparse_Row: optimize the linear_combine() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e4cdaa38008b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 19:11:39 2010 +0200 Sparse_Row: don't create stored zeroes in combine_needs_second(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=241a4a6fcb61… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 18:42:33 2010 +0200 Sparse_Row: document that linear_combine() parameters must not be 0. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8d497ffeae2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 18:38:44 2010 +0200 MIP_Problem: use Row::linear_combine() in linear_combine(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9a2ab566f2c5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 18:38:14 2010 +0200 Sparse_Row: add a linear_combine() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e752bae13ff6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 18:37:58 2010 +0200 Dense_Row: add a linear_combine() method.

1 0

[GIT] ppl/ppl(sparse_matrices): New commits
by Roberto Bagnara 15 Sep '10

15 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=41c1b88df329… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:49:08 2010 +0200 MIP_Problem: remove some optimizations meant for dense matrices when using sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eed6e5900dac… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:27:20 2010 +0200 PIP_Tree: remove useless code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f9c4de14d8ad… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:25:23 2010 +0200 PIP_Tree: remove unnecessary temporary variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b423bf3864d7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:17:49 2010 +0200 Row, Matrix: avoid inclusion of unnecessary files. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccad0ef8e489… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:17:01 2010 +0200 tests/Sparse_Matrix: run the tests only when using sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=46143fc9a592… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 17:10:52 2010 +0200 CO_Tree: run tests only when using sparse matrices, avoiding compiler errors. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=432dd51be380… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 16:43:54 2010 +0200 PIP_Tree: use Row and Matrix, simplifying code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e37b5f946405… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 16:16:32 2010 +0200 PIP_Problem: use Row and Matrix, simplifying code. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15f178d464a4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 16:15:55 2010 +0200 CO_Tree.defs.hh: include CO_Tree.types.hh. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7994e8aef25d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 14:50:55 2010 +0200 Declare typedefs for Row and Matrix, and use them in MIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=abc0e90fa8ef… Merge: df7a6c989c0c19ed661e1a0af488096f98fc8d0b 10c6e068e1bffe92c73954fbc1e4943756d7fdb8 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 14:39:50 2010 +0200 Merge remote branch 'origin/master' into sparse_matrices Conflicts: src/MIP_Problem.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df7a6c989c0c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 14:34:23 2010 +0200 tests/Sparse_Matrix/sparserow1: don't trigger assertions in Sparse_Row::lower_bound(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=129497d5d417… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 14:26:23 2010 +0200 PIP_Tree: return if there are no candidates, in find_lexico_minimum_column(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10c6e068e1bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 13:44:59 2010 +0200 PIP_Problem: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a0a65c926d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 13:44:35 2010 +0200 PIP_Tree: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b1e87b5e0f0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:22:53 2010 +0200 MIP_Problem: remove non-necessary temporary variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8ee2d086c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:09:48 2010 +0200 MIP_Problem: remove out-dated comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3cff936b2c9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:05:58 2010 +0200 MIP_Problem: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9606a9a7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 11:54:12 2010 +0200 Make PPL_DIRTY_TEMP_COEFFICIENT work outside the PPL namespace, too.

1 0

[GIT] ppl/ppl(master): New commits
by Roberto Bagnara 15 Sep '10

15 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10c6e068e1bf… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 13:44:59 2010 +0200 PIP_Problem: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4a0a65c926d… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 13:44:35 2010 +0200 PIP_Tree: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3b1e87b5e0f0… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:22:53 2010 +0200 MIP_Problem: remove non-necessary temporary variables. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cc8ee2d086c6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:09:48 2010 +0200 MIP_Problem: remove out-dated comment. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b3cff936b2c9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 12:05:58 2010 +0200 MIP_Problem: declare iterators used in for loops in the loop header. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1df9606a9a7c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 11:54:12 2010 +0200 Make PPL_DIRTY_TEMP_COEFFICIENT work outside the PPL namespace, too.

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: add comment.
by Marco Poletti 15 Sep '10

15 Sep '10

Module: ppl/ppl Branch: sparse_matrices Commit: 02cc3ed26b0cebcc016573421b0a525e76ae8d1d URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=02cc3ed26b0c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 11:44:24 2010 +0200 MIP_Problem: add comment. --- src/MIP_Problem.cc | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index b27e021..27c3c61 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1754,6 +1754,7 @@ PPL::MIP_Problem::erase_artificials(const dimension_type begin_artificials, { // This block is equivalent to: // working_cost[new_last_column] = working_cost.get(old_last_column); + // But it avoids storing zeroes. Coefficient_traits::const_reference old_cost = working_cost.get(old_last_column);

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: optimize further steepest_edge_exact_entering_index() for sparse working_cost rows.
by Marco Poletti 15 Sep '10

15 Sep '10

Module: ppl/ppl Branch: sparse_matrices Commit: 856f1052f1a7a81f6ca924ca6e692900552017ad URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=856f1052f1a7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 11:41:44 2010 +0200 MIP_Problem: optimize further steepest_edge_exact_entering_index() for sparse working_cost rows. --- src/MIP_Problem.cc | 54 ++++++++++++++++++++++++++++++++++----------------- 1 files changed, 36 insertions(+), 18 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 58c2112..b27e021 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -1204,25 +1204,43 @@ PPL::MIP_Problem::steepest_edge_exact_entering_index() const { k = columns.rbegin(); std::vector<std::pair<dimension_type, Coefficient> >::reverse_iterator k_end = columns.rend(); + working_cost_type::const_iterator itr = working_cost.end(); for ( ; k != k_end; ++k) { - Coefficient_traits::const_reference cost_j = working_cost[k->first]; - // We cannot compute the (exact) square root of abs(\Delta x_j). - // The workaround is to compute the square of `cost[j]'. - challenger_num = cost_j * cost_j; - // Initialization during the first loop. - if (entering_index == 0) { - std::swap(current_num, challenger_num); - std::swap(current_den, k->second); - entering_index = k->first; - continue; - } - challenger_value = challenger_num * current_den; - current_value = current_num * k->second; - // Update the values, if the challenger wins. - if (challenger_value > current_value) { - std::swap(current_num, challenger_num); - std::swap(current_den, k->second); - entering_index = k->first; + itr = working_cost.lower_bound(itr, k->first); + if (itr != working_cost.end() && itr.index() == k->first) { + // We cannot compute the (exact) square root of abs(\Delta x_j). + // The workaround is to compute the square of `cost[j]'. + challenger_num = (*itr) * (*itr); + // Initialization during the first loop. + if (entering_index == 0) { + std::swap(current_num, challenger_num); + std::swap(current_den, k->second); + entering_index = k->first; + continue; + } + challenger_value = challenger_num * current_den; + current_value = current_num * k->second; + // Update the values, if the challenger wins. + if (challenger_value > current_value) { + std::swap(current_num, challenger_num); + std::swap(current_den, k->second); + entering_index = k->first; + } + } else { + PPL_ASSERT(working_cost.get(k->first) == 0); + // Initialization during the first loop. + if (entering_index == 0) { + current_num = 0; + std::swap(current_den, k->second); + entering_index = k->first; + continue; + } + // Update the values, if the challenger wins. + if (0 > sgn(current_num) * sgn(k->second)) { + current_num = 0; + std::swap(current_den, k->second); + entering_index = k->first; + } } }

1 0

[GIT] ppl/ppl(sparse_matrices): MIP_Problem: use a hint iterator for insertions in working_cost, in process_pending_constraints().
by Marco Poletti 15 Sep '10

15 Sep '10

Module: ppl/ppl Branch: sparse_matrices Commit: 343524886abe52d344037a76b186c913eec2f8d4 URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=343524886abe… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Wed Sep 15 11:32:27 2010 +0200 MIP_Problem: use a hint iterator for insertions in working_cost, in process_pending_constraints(). --- src/MIP_Problem.cc | 11 ++++++++--- 1 files changed, 8 insertions(+), 3 deletions(-) diff --git a/src/MIP_Problem.cc b/src/MIP_Problem.cc index 1b54d00..58c2112 100644 --- a/src/MIP_Problem.cc +++ b/src/MIP_Problem.cc @@ -842,12 +842,16 @@ PPL::MIP_Problem::process_pending_constraints() { // constraint, will enter the base and will have coefficient -1 in // the cost function. + // This is used as a hint for insertions in working_cost. + working_cost_type::iterator cost_itr = working_cost.end(); + // First go through nonpending constraints that became unfeasible // due to re-merging of split variables. for (dimension_type i = 0; i < unfeasible_tableau_rows_size; ++i) { tableau[unfeasible_tableau_rows[i]].find_create(artificial_index, Coefficient_one()); - working_cost[artificial_index] = -1; + cost_itr = working_cost.find_create(cost_itr, artificial_index); + *cost_itr = -1; base[unfeasible_tableau_rows[i]] = artificial_index; ++artificial_index; } @@ -858,7 +862,8 @@ PPL::MIP_Problem::process_pending_constraints() { if (worked_out_row[i]) continue; tableau[i].find_create(artificial_index, Coefficient_one()); - working_cost[artificial_index] = -1; + cost_itr = working_cost.find_create(cost_itr, artificial_index); + *cost_itr = -1; base[i] = artificial_index; ++artificial_index; } @@ -868,7 +873,7 @@ PPL::MIP_Problem::process_pending_constraints() { // Set the extra-coefficient of the cost functions to record its sign. // This is done to keep track of the possible sign's inversion. const dimension_type last_obj_index = working_cost.size() - 1; - working_cost[last_obj_index] = 1; + working_cost.find_create(cost_itr, last_obj_index, Coefficient_one()); // Express the problem in terms of the variables in base. {

1 0

[GIT] ppl/ppl(MPI): New commits
by Roberto Bagnara 14 Sep '10

14 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f3954c15599… Merge: 2ade37d6b3e355a4086d47adbb98cecabb657d58 c68f9092edf4b116fc1a595e8a997a3614ab3cac Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:54:22 2010 +0200 Merge remote branch 'origin/sparse_matrices' into MPI Conflicts: src/MIP_Problem.cc URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2ade37d6b3e3… Merge: 9abc1a01465c0c041a332bc803503a3d5e34f590 92e46ffb3c1023ee0fb67f149674023a947f9563 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:48:51 2010 +0200 Merge commit '92e46ff' into MPI URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9abc1a01465c… Merge: 06ffe61bf2d1c245e5909b7bd9e84b02bd6ff134 c2aa82c4a7c984a3f71664734c1b37dc1bea7ab1 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:47:21 2010 +0200 Merge commit 'c2aa82c' into MPI URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=06ffe61bf2d1… Merge: ce64d4874f6b95581ad9b6f89dca537c60a731b6 ee1d1d7f9add38f040d24ca1d426d22758efde12 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:45:40 2010 +0200 Merge commit 'ee1d1d7' into MPI URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce64d4874f6b… Merge: b04819828fcd89846fd1b2938460a3133aaf1141 1c643c26434574b11f0cfdbd46f8d4f58a0c0647 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:42:17 2010 +0200 Merge commit '1c643c2' into MPI URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b04819828fcd… Merge: 56a26e1958ee213970e36f1d1b10daade6ea5cc7 24ec2790edae6b616014adc2ab0f446b6f5711d6 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:25:41 2010 +0200 Merge commit '24ec279' into MPI URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=56a26e1958ee… Merge: f7e4405f7ff414e9b511b5dea4f219da9bd07553 ffe3720ee01517aa167654b4151f72fab4d7f006 Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 15:16:40 2010 +0200 Merge commit 'ffe3720' into MPI Conflicts: src/Sparse_Row.defs.hh src/Sparse_Row.inlines.hh URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c68f9092edf4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 14:56:42 2010 +0200 MIP_Problem: optimize further steepest_edge_float_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30a048b00fe9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 14:56:03 2010 +0200 MIP_Problem: optimize process_pending_constraints() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f2479e2b3e49… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 14:34:19 2010 +0200 MIP_Problem: optimize second_phase() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07dfb14d484e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 14:26:46 2010 +0200 MIP_Problem: fix regression in textbook_entering_index(), introduced in commit 6880A6. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6a93645a5b8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 13:39:00 2010 +0200 MIP_Problem: optimize second_phase() for sparse working_cost rows (#4). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0d6052ae00… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 13:38:42 2010 +0200 MIP_Problem: avoid an unnecessary copy of the working_cost row, in second_phase(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2d1cbd6415ae… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 13:26:37 2010 +0200 MIP_Problem: optimize second_phase() for sparse working_cost rows (#3). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8bbd7540511b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 13:24:01 2010 +0200 MIP_Problem: optimize second_phase() for sparse working_cost rows (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=42a7e27f4267… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 13:21:59 2010 +0200 MIP_Problem: optimize second_phase() for sparse working_cost rows (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5e34c885640… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 12:36:09 2010 +0200 MIP_Problem: little optimizations for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6880a6746e15… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 12:30:38 2010 +0200 MIP_Problem: optimize textbook_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92e46ffb3c10… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 12:28:37 2010 +0200 MIP_Problem: optimize steepest_edge_float_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2aa82c4a7c9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 12:23:52 2010 +0200 MIP_Problem: optimize steepest_edge_exact_entering_index() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee1d1d7f9add… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 11:53:55 2010 +0200 MIP_Problem: optimize process_pending_constraints() for sparse working_cost rows. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1c643c264345… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 11:53:30 2010 +0200 Sparse_Row: add some assertions. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24ec2790edae… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 10:39:22 2010 +0200 MIP_Problem: use a sparse working_cost when using sparse matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ffe3720ee015… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Tue Sep 14 10:38:34 2010 +0200 Sparse_Row: add a constructor and two copy-constructors that take a capacity parameter.

1 0

[GIT] ppl/ppl(MPI): New commits
by Roberto Bagnara 14 Sep '10

14 Sep '10

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7e4405f7ff4… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 13:36:03 2010 +0200 Distributed_Sparse_Matrix: optimize get_exiting_and_pivot() (#2). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14427c80ab4e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 12:29:54 2010 +0200 Distributed_Sparse_Matrix: optimize get_exiting_and_pivot() (#1). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fe21222b228a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 12:00:45 2010 +0200 Distributed_Sparse_Matrix: add a get_exiting_and_pivot() method and use it in MIP_Problem. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4f3e7964e321… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 09:12:50 2010 +0200 Distributed_Sparse_Matrix: inline simple methods. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2939e43d9cd9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 08:37:05 2010 +0200 Distributed_Sparse_Matrix: use linear_combine in linear_combine_with_base_rows__common(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08886d33c11a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Mon Sep 13 08:36:33 2010 +0200 tests/MIP_Problem: don't check the optimum point in mipproblem3's test08. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b5af9ae9799b… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 21:15:26 2010 +0200 Add an --enable-mpirun-jobs option to configure. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb42cdde800… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 19:30:05 2010 +0200 Distributed_Sparse_Matrix: check that the nodes store no data at exit. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fb96027aa9b7… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 19:17:03 2010 +0200 Distributed_Sparse_Matrix: add an argument to linear_combine_matrix(), avoiding an additional broadcast in MIP_Problem::pivot(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e749958ce4c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 19:10:27 2010 +0200 Distributed_Sparse_Matrix: remove debug messages from operator==(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e09e240ef6f… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 18:47:43 2010 +0200 Distributed_Sparse_Matrix::Worker: use the same code paths for both stored and unstored row chunks, simplifying code and improving maintainability. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b566d9b1dc5… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 18:46:30 2010 +0200 Distributed_Sparse_Matrix::Worker: add a get_row_chunk() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4449ebb5bc97… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 17:42:54 2010 +0200 Distributed_Sparse_Matrix: specialize boost::mpi::is_commutative when needed. Fix existing specialization. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0615afb7adc2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 17:31:57 2010 +0200 MIP_Problem: rename distributed_tableau into tableau. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a1629bad8fd2… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 17:31:32 2010 +0200 Distributed_Sparse_Matrix: add typedef for row_type. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bd003735058e… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 17:13:42 2010 +0200 MIP_Problem: don't keep a Sparse_Matrix copy of the tableau when using distributed matrices. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9689c9fbf825… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 16:45:33 2010 +0200 Distributed_Sparse_Matrix: process candidates backwards in exact_entering_index(), to pass the PPL tests. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=14a758152946… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 14:18:57 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::base_variables_occur_once() in OK(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7be32c883b31… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 14:18:30 2010 +0200 Distributed_Sparse_Matrix: add a base_variables_occur_once() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f36456c7bce6… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 13:29:18 2010 +0200 Distributed_Sparse_Matrix: simplify worker_main_loop(), using macros. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=207bcfe68df8… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 12:36:34 2010 +0200 Distributed_Sparse_Matrix: merge the add_row_into_base() and remove_row_from_base() methods into a single set_base_column() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31f6d132938c… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 12:27:45 2010 +0200 MIP_Problem: take into account the external memory occupied by distributed_tableau in external_memory_in_bytes(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3a31bce55738… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 12:27:02 2010 +0200 Distributed_Sparse_Matrix: add a external_memory_in_bytes() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbcc18f8c3ed… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 12:16:50 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::remove_row(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f56d327db6a… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 12:16:16 2010 +0200 Distributed_Sparse_Matrix: add a remove_row() method. URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2b247862430… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 11:29:57 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::get_row() in erase_artificials(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=33109c91d5b9… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 11:10:53 2010 +0200 MIP_Problem: use Distributed_Sparse_Matrix::exiting_index(). URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4952882351e3… Author: Marco Poletti <poletti.marco(a)gmail.com> Date: Sun Sep 12 11:10:26 2010 +0200 Distributed_Sparse_Matrix: add an exiting_index() method.

1 0