2 This file is part of GNUnet.
3 (C) 2011 Christian Grothoff (and other contributing authors)
5 GNUnet is free software; you can redistribute it and/or modify
6 it under the terms of the GNU General Public License as published
7 by the Free Software Foundation; either version 3, or (at your
8 option) any later version.
10 GNUnet is distributed in the hope that it will be useful, but
11 WITHOUT ANY WARRANTY; without even the implied warranty of
12 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
13 General Public License for more details.
15 You should have received a copy of the GNU General Public License
16 along with GNUnet; see the file COPYING. If not, write to the
17 Free Software Foundation, Inc., 59 Temple Place - Suite 330,
18 Boston, MA 02111-1307, USA.
22 * @file ats/gnunet-service-ats_addresses_mlp.c
23 * @brief ats mlp problem solver
24 * @author Matthias Wachs
25 * @author Christian Grothoff
28 #include "gnunet_util_lib.h"
29 #include "gnunet-service-ats_addresses.h"
30 #include "gnunet-service-ats_addresses_mlp.h"
31 #include "gnunet_statistics_service.h"
34 #define WRITE_MLP GNUNET_NO
35 #define DEBUG_ATS GNUNET_NO
36 #define VERBOSE_GLPK GNUNET_NO
38 #define ENABLE_C8 GNUNET_YES
39 #define ENABLE_C9 GNUNET_YES
41 * Translate glpk solver error codes to text
42 * @param retcode return code
43 * @return string with result
46 mlp_solve_to_string (int retcode)
53 return "invalid basis";
56 return "singular matrix";
59 return "ill-conditioned matrix";
62 return "invalid bounds";
65 return "solver failed";
68 return "objective lower limit reached";
71 return "objective upper limit reached";
74 return "iteration limit exceeded";
77 return "time limit exceeded";
80 return "no primal feasible solution";
83 return "root LP optimum not provided";
86 return "search terminated by application";
89 return "relative mip gap tolerance reached";
92 return "no dual feasible solution";
95 return "no convergence";
98 return "numerical instability";
101 return "invalid data";
104 return "result out of range";
108 return "unknown error";
112 return "unknown error";
117 * Translate glpk status error codes to text
118 * @param retcode return code
119 * @return string with result
122 mlp_status_to_string (int retcode)
126 return "solution is undefined";
129 return "solution is feasible";
132 return "solution is infeasible";
135 return "no feasible solution exists";
138 return "solution is optimal";
141 return "solution is unbounded";
145 return "unknown error";
149 return "unknown error";
153 * Translate ATS properties to text
154 * Just intended for debugging
156 * @param ats_index the ATS index
157 * @return string with result
160 mlp_ats_to_string (int ats_index)
163 case GNUNET_ATS_ARRAY_TERMINATOR:
164 return "GNUNET_ATS_ARRAY_TERMINATOR";
166 case GNUNET_ATS_UTILIZATION_UP:
167 return "GNUNET_ATS_UTILIZATION_UP";
169 case GNUNET_ATS_UTILIZATION_DOWN:
170 return "GNUNET_ATS_UTILIZATION_DOWN";
172 case GNUNET_ATS_COST_LAN:
173 return "GNUNET_ATS_COST_LAN";
175 case GNUNET_ATS_COST_WAN:
176 return "GNUNET_ATS_COST_LAN";
178 case GNUNET_ATS_COST_WLAN:
179 return "GNUNET_ATS_COST_WLAN";
181 case GNUNET_ATS_NETWORK_TYPE:
182 return "GNUNET_ATS_NETWORK_TYPE";
184 case GNUNET_ATS_QUALITY_NET_DELAY:
185 return "GNUNET_ATS_QUALITY_NET_DELAY";
187 case GNUNET_ATS_QUALITY_NET_DISTANCE:
188 return "GNUNET_ATS_QUALITY_NET_DISTANCE";
195 return "unknown error";
199 * Find a peer in the DLL
201 * @param mlp the mlp handle
202 * @param peer the peer to find
203 * @return the peer struct
205 static struct ATS_Peer *
206 mlp_find_peer (struct GAS_MLP_Handle *mlp, const struct GNUNET_PeerIdentity *peer)
208 struct ATS_Peer *res = mlp->peer_head;
211 if (0 == memcmp (peer, &res->id, sizeof (struct GNUNET_PeerIdentity)))
219 * Intercept GLPK terminal output
220 * @param info the mlp handle
221 * @param s the string to print
222 * @return 0: glpk prints output on terminal, 0 != surpress output
225 mlp_term_hook (void *info, const char *s)
227 /* Not needed atm struct MLP_information *mlp = info; */
228 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "%s", s);
233 * Delete the MLP problem and free the constrain matrix
235 * @param mlp the MLP handle
238 mlp_delete_problem (struct GAS_MLP_Handle *mlp)
242 if (mlp->prob != NULL)
243 glp_delete_prob(mlp->prob);
245 /* delete row index */
248 GNUNET_free (mlp->ia);
252 /* delete column index */
255 GNUNET_free (mlp->ja);
259 /* delete coefficients */
262 GNUNET_free (mlp->ar);
271 * Add constraints that are iterating over "forall addresses"
272 * and collects all existing peers for "forall peers" constraints
274 * @param cls GAS_MLP_Handle
275 * @param key Hashcode
276 * @param value ATS_Address
278 * @return GNUNET_OK to continue
281 create_constraint_it (void *cls, const GNUNET_HashCode * key, void *value)
283 struct GAS_MLP_Handle *mlp = cls;
284 struct ATS_Address *address = value;
285 struct MLP_information *mlpi;
286 unsigned int row_index;
289 GNUNET_assert (address->mlp_information != NULL);
290 mlpi = (struct MLP_information *) address->mlp_information;
292 /* c 1) bandwidth capping
293 * b_t + (-M) * n_t <= 0
295 row_index = glp_add_rows (mlp->prob, 1);
296 mlpi->r_c1 = row_index;
298 GNUNET_asprintf(&name, "c1_%s_%s", GNUNET_i2s(&address->peer), address->plugin);
299 glp_set_row_name (mlp->prob, row_index, name);
301 /* set row bounds: <= 0 */
302 glp_set_row_bnds (mlp->prob, row_index, GLP_UP, 0.0, 0.0);
303 mlp->ia[mlp->ci] = row_index;
304 mlp->ja[mlp->ci] = mlpi->c_b;
305 mlp->ar[mlp->ci] = 1;
308 mlp->ia[mlp->ci] = row_index;
309 mlp->ja[mlp->ci] = mlpi->c_n;
310 mlp->ar[mlp->ci] = -mlp->BIG_M;
313 /* c 3) minimum bandwidth
314 * b_t + (-n_t * b_min) >= 0
317 row_index = glp_add_rows (mlp->prob, 1);
319 GNUNET_asprintf(&name, "c3_%s_%s", GNUNET_i2s(&address->peer), address->plugin);
320 glp_set_row_name (mlp->prob, row_index, name);
322 mlpi->r_c3 = row_index;
323 /* set row bounds: >= 0 */
324 glp_set_row_bnds (mlp->prob, row_index, GLP_LO, 0.0, 0.0);
326 mlp->ia[mlp->ci] = row_index;
327 mlp->ja[mlp->ci] = mlpi->c_b;
328 mlp->ar[mlp->ci] = 1;
331 mlp->ia[mlp->ci] = row_index;
332 mlp->ja[mlp->ci] = mlpi->c_n;
333 mlp->ar[mlp->ci] = - (double) mlp->b_min;
336 /* c 4) minimum connections
337 * (1)*n_1 + ... + (1)*n_m >= n_min
339 mlp->ia[mlp->ci] = mlp->r_c4;
340 mlp->ja[mlp->ci] = mlpi->c_n;
341 mlp->ar[mlp->ci] = 1;
344 /* c 6) maximize diversity
345 * (1)*n_1 + ... + (1)*n_m - d == 0
347 mlp->ia[mlp->ci] = mlp->r_c6;
348 mlp->ja[mlp->ci] = mlpi->c_n;
349 mlp->ar[mlp->ci] = 1;
352 /* c 10) obey network specific quotas
353 * (1)*b_1 + ... + (1)*b_m <= quota_n
358 for (c = 0; c < GNUNET_ATS_NetworkTypeCount; c++)
360 if (mlp->quota_index[c] == address->atsp_network_type)
362 cur_row = mlp->r_quota[c];
369 mlp->ia[mlp->ci] = cur_row;
370 mlp->ja[mlp->ci] = mlpi->c_b;
371 mlp->ar[mlp->ci] = 1;
383 * Find the required ATS information for an address
385 * @param addr the address
386 * @param ats_index the desired ATS index
388 * @return the index on success, otherwise GNUNET_SYSERR
392 mlp_lookup_ats (struct ATS_Address *addr, int ats_index)
394 struct GNUNET_ATS_Information * ats = addr->ats;
396 int found = GNUNET_NO;
397 for (c = 0; c < addr->ats_count; c++)
399 if (ats[c].type == ats_index)
405 if (found == GNUNET_YES)
408 return GNUNET_SYSERR;
412 * Adds the problem constraints for all addresses
413 * Required for problem recreation after address deletion
415 * @param mlp the mlp handle
416 * @param addresses all addresses
420 mlp_add_constraints_all_addresses (struct GAS_MLP_Handle *mlp, struct GNUNET_CONTAINER_MultiHashMap * addresses)
422 unsigned int n_addresses;
427 n_addresses = GNUNET_CONTAINER_multihashmap_size(addresses);
429 /* Required indices in the constrain matrix
431 * feasibility constraints:
433 * c 1) bandwidth capping
434 * #rows: |n_addresses|
435 * #indices: 2 * |n_addresses|
437 * c 2) one active address per peer
439 * #indices: |n_addresses|
441 * c 3) minium bandwidth assigned
442 * #rows: |n_addresses|
443 * #indices: 2 * |n_addresses|
445 * c 4) minimum number of active connections
447 * #indices: |n_addresses|
449 * c 5) maximum ressource consumption
450 * #rows: |ressources|
451 * #indices: |n_addresses|
453 * c 10) obey network specific quota
454 * #rows: |network types
455 * #indices: |n_addresses|
457 * Sum for feasibility constraints:
458 * #rows: 3 * |n_addresses| + |ressources| + |peers| + 1
459 * #indices: 7 * |n_addresses|
461 * optimality constraints:
465 * #indices: |n_addresses| + 1
468 * #rows: |quality properties|
469 * #indices: |n_addresses| + |quality properties|
473 * #indices: |n_addresses| + 1
477 * #indices: |n_addresses| + |peers|
480 /* last +1 caused by glpk index starting with one: [1..pi]*/
481 int pi = ((7 * n_addresses) + (5 * n_addresses + mlp->m_q + mlp->c_p + 2) + 1);
486 int *ia = GNUNET_malloc (pi * sizeof (int));
490 int *ja = GNUNET_malloc (pi * sizeof (int));
494 double *ar= GNUNET_malloc (pi * sizeof (double));
497 /* Adding constraint rows
498 * This constraints are kind of "for all addresses"
499 * Feasibility constraints:
501 * c 1) bandwidth capping
502 * c 3) minimum bandwidth
503 * c 4) minimum number of connections
504 * c 6) maximize diversity
505 * c 10) obey network specific quota
508 int min = mlp->n_min;
509 if (mlp->n_min > mlp->c_p)
512 mlp->r_c4 = glp_add_rows (mlp->prob, 1);
513 glp_set_row_name (mlp->prob, mlp->r_c4, "c4");
514 glp_set_row_bnds (mlp->prob, mlp->r_c4, GLP_LO, min, min);
516 /* Add row for c6) */
518 mlp->r_c6 = glp_add_rows (mlp->prob, 1);
519 /* Set type type to fix */
520 glp_set_row_bnds (mlp->prob, mlp->r_c6, GLP_FX, 0.0, 0.0);
522 ia[mlp->ci] = mlp->r_c6 ;
523 ja[mlp->ci] = mlp->c_d;
527 /* Add rows for c 10) */
528 for (c = 0; c < GNUNET_ATS_NetworkTypeCount; c++)
530 mlp->r_quota[c] = glp_add_rows (mlp->prob, 1);
532 GNUNET_asprintf(&text, "quota_ats_%i", mlp->quota_index[c]);
533 glp_set_row_name (mlp->prob, mlp->r_quota[c], text);
535 /* Set bounds to 0 <= x <= quota_out */
536 glp_set_row_bnds (mlp->prob, mlp->r_quota[c], GLP_UP, 0.0, mlp->quota_out[c]);
539 GNUNET_CONTAINER_multihashmap_iterate (addresses, create_constraint_it, mlp);
541 /* Adding constraint rows
542 * This constraints are kind of "for all peers"
543 * Feasibility constraints:
545 * c 2) 1 address per peer
546 * sum (n_p1_1 + ... + n_p1_n) = 1
549 * sum (f_p * b_p1_1 + ... + f_p * b_p1_n) - u = 0
552 * V p : sum (bt_1 + ... +bt_n) - f_p * r = 0
555 /* Adding rows for c 8) */
556 mlp->r_c8 = glp_add_rows (mlp->prob, mlp->c_p);
557 glp_set_row_name (mlp->prob, mlp->r_c8, "c8");
558 /* Set row bound == 0 */
559 glp_set_row_bnds (mlp->prob, mlp->r_c8, GLP_FX, 0.0, 0.0);
562 ia[mlp->ci] = mlp->r_c8;
563 ja[mlp->ci] = mlp->c_u;
567 struct ATS_Peer * peer = mlp->peer_head;
570 struct ATS_Address *addr = peer->head;
571 struct MLP_information *mlpi = NULL;
573 /* Adding rows for c 2) */
574 peer->r_c2 = glp_add_rows (mlp->prob, 1);
575 GNUNET_asprintf(&name, "c2_%s", GNUNET_i2s(&peer->id));
576 glp_set_row_name (mlp->prob, peer->r_c2, name);
578 /* Set row bound == 1 */
579 glp_set_row_bnds (mlp->prob, peer->r_c2, GLP_FX, 1.0, 1.0);
581 /* Adding rows for c 9) */
583 peer->r_c9 = glp_add_rows (mlp->prob, 1);
584 GNUNET_asprintf(&name, "c9_%s", GNUNET_i2s(&peer->id));
585 glp_set_row_name (mlp->prob, peer->r_c9, name);
587 /* Set row bound == 0 */
588 glp_set_row_bnds (mlp->prob, peer->r_c9, GLP_LO, 0.0, 0.0);
591 ia[mlp->ci] = peer->r_c9;
592 ja[mlp->ci] = mlp->c_r;
599 mlpi = (struct MLP_information *) addr->mlp_information;
601 /* coefficient for c 2) */
603 ia[mlp->ci] = peer->r_c2;
604 ja[mlp->ci] = mlpi->c_n;
608 /* coefficient for c 8) */
609 ia[mlp->ci] = mlp->r_c8;
610 ja[mlp->ci] = mlpi->c_b;
611 ar[mlp->ci] = peer->f;
615 /* coefficient for c 9) */
616 ia[mlp->ci] = peer->r_c9;
617 ja[mlp->ci] = mlpi->c_b;
627 /* c 7) For all quality metrics */
630 for (c = 0; c < mlp->m_q; c++)
633 struct ATS_Address *ta;
634 struct MLP_information * mlpi;
637 /* Adding rows for c 7) */
638 mlp->r_q[c] = glp_add_rows (mlp->prob, 1);
639 GNUNET_asprintf(&name, "c7_q%i_%s", c, mlp_ats_to_string(mlp->q[c]));
640 glp_set_row_name (mlp->prob, mlp->r_q[c], name);
642 /* Set row bound == 0 */
643 glp_set_row_bnds (mlp->prob, mlp->r_q[c], GLP_LO, 0.0, 0.0);
645 ia[mlp->ci] = mlp->r_q[c];
646 ja[mlp->ci] = mlp->c_q[c];
650 for (tp = mlp->peer_head; tp != NULL; tp = tp->next)
651 for (ta = tp->head; ta != NULL; ta = ta->next)
653 mlpi = ta->mlp_information;
654 value = mlpi->q_averaged[c];
656 mlpi->r_q[c] = mlp->r_q[c];
658 ia[mlp->ci] = mlp->r_q[c];
659 ja[mlp->ci] = mlpi->c_b;
660 ar[mlp->ci] = tp->f * value;
668 * Add columns for all addresses
670 * @param cls GAS_MLP_Handle
671 * @param key Hashcode
672 * @param value ATS_Address
674 * @return GNUNET_OK to continue
677 create_columns_it (void *cls, const GNUNET_HashCode * key, void *value)
679 struct GAS_MLP_Handle *mlp = cls;
680 struct ATS_Address *address = value;
681 struct MLP_information *mlpi;
685 GNUNET_assert (address->mlp_information != NULL);
686 mlpi = address->mlp_information;
688 /* Add bandwidth column */
689 col = glp_add_cols (mlp->prob, 2);
694 GNUNET_asprintf (&name, "b_%s_%s", GNUNET_i2s (&address->peer), address->plugin);
695 glp_set_col_name (mlp->prob, mlpi->c_b , name);
697 /* Lower bound == 0 */
698 glp_set_col_bnds (mlp->prob, mlpi->c_b , GLP_LO, 0.0, 0.0);
699 /* Continuous value*/
700 glp_set_col_kind (mlp->prob, mlpi->c_b , GLP_CV);
701 /* Objective function coefficient == 0 */
702 glp_set_obj_coef (mlp->prob, mlpi->c_b , 0);
705 /* Add usage column */
706 GNUNET_asprintf (&name, "n_%s_%s", GNUNET_i2s (&address->peer), address->plugin);
707 glp_set_col_name (mlp->prob, mlpi->c_n, name);
709 /* Limit value : 0 <= value <= 1 */
710 glp_set_col_bnds (mlp->prob, mlpi->c_n, GLP_DB, 0.0, 1.0);
712 glp_set_col_kind (mlp->prob, mlpi->c_n, GLP_IV);
713 /* Objective function coefficient == 0 */
714 glp_set_obj_coef (mlp->prob, mlpi->c_n, 0);
722 * Create the MLP problem
724 * @param mlp the MLP handle
725 * @param addresses the hashmap containing all adresses
726 * @return GNUNET_OK or GNUNET_SYSERR
729 mlp_create_problem (struct GAS_MLP_Handle *mlp, struct GNUNET_CONTAINER_MultiHashMap * addresses)
736 GNUNET_assert (mlp->prob == NULL);
738 /* create the glpk problem */
739 mlp->prob = glp_create_prob ();
741 /* Set a problem name */
742 glp_set_prob_name (mlp->prob, "gnunet ats bandwidth distribution");
744 /* Set optimization direction to maximize */
745 glp_set_obj_dir (mlp->prob, GLP_MAX);
747 /* Adding invariant columns */
749 /* Diversity d column */
751 col = glp_add_cols (mlp->prob, 1);
754 glp_set_col_name (mlp->prob, col, "d");
755 /* Column objective function coefficient */
756 glp_set_obj_coef (mlp->prob, col, mlp->co_D);
757 /* Column lower bound = 0.0 */
758 glp_set_col_bnds (mlp->prob, col, GLP_LO, 0.0, 0.0);
760 /* Utilization u column */
762 col = glp_add_cols (mlp->prob, 1);
765 glp_set_col_name (mlp->prob, col, "u");
766 /* Column objective function coefficient */
767 glp_set_obj_coef (mlp->prob, col, mlp->co_U);
768 /* Column lower bound = 0.0 */
769 glp_set_col_bnds (mlp->prob, col, GLP_LO, 0.0, 0.0);
772 /* Relativity r column */
773 col = glp_add_cols (mlp->prob, 1);
776 glp_set_col_name (mlp->prob, col, "r");
777 /* Column objective function coefficient */
778 glp_set_obj_coef (mlp->prob, col, mlp->co_R);
779 /* Column lower bound = 0.0 */
780 glp_set_col_bnds (mlp->prob, col, GLP_LO, 0.0, 0.0);
783 /* Quality metric columns */
784 col = glp_add_cols(mlp->prob, mlp->m_q);
785 for (c = 0; c < mlp->m_q; c++)
787 mlp->c_q[c] = col + c;
788 GNUNET_asprintf (&name, "q_%u", mlp->q[c]);
789 glp_set_col_name (mlp->prob, col + c, name);
790 /* Column lower bound = 0.0 */
791 glp_set_col_bnds (mlp->prob, col + c, GLP_LO, 0.0, 0.0);
793 /* Coefficient == Qm */
794 glp_set_obj_coef (mlp->prob, col + c, mlp->co_Q[c]);
797 /* Add columns for addresses */
798 GNUNET_CONTAINER_multihashmap_iterate (addresses, create_columns_it, mlp);
800 /* Add constraints */
801 mlp_add_constraints_all_addresses (mlp, addresses);
803 /* Load the matrix */
804 glp_load_matrix(mlp->prob, (mlp->ci-1), mlp->ia, mlp->ja, mlp->ar);
811 * Solves the LP problem
813 * @param mlp the MLP Handle
814 * @param s_ctx context to return results
815 * @return GNUNET_OK if could be solved, GNUNET_SYSERR on failure
818 mlp_solve_lp_problem (struct GAS_MLP_Handle *mlp, struct GAS_MLP_SolutionContext *s_ctx)
821 struct GNUNET_TIME_Relative duration;
822 struct GNUNET_TIME_Absolute end;
823 struct GNUNET_TIME_Absolute start = GNUNET_TIME_absolute_get();
826 * Presolver is required if the problem was modified and an existing
827 * valid basis is now invalid */
828 if (mlp->presolver_required == GNUNET_YES)
829 mlp->control_param_lp.presolve = GLP_ON;
831 mlp->control_param_lp.presolve = GLP_OFF;
833 /* Solve LP problem to have initial valid solution */
835 res = glp_simplex(mlp->prob, &mlp->control_param_lp);
838 /* The LP problem instance has been successfully solved. */
840 else if (res == GLP_EITLIM)
842 /* simplex iteration limit has been exceeded. */
843 // TODO Increase iteration limit?
845 else if (res == GLP_ETMLIM)
847 /* Time limit has been exceeded. */
848 // TODO Increase time limit?
852 /* Problem was ill-defined, retry with presolver */
853 if (mlp->presolver_required == GNUNET_NO)
855 mlp->presolver_required = GNUNET_YES;
860 /* Problem was ill-defined, no way to handle that */
861 GNUNET_log_from (GNUNET_ERROR_TYPE_DEBUG,
863 "Solving LP problem failed: %i %s\n", res, mlp_solve_to_string(res));
864 return GNUNET_SYSERR;
868 end = GNUNET_TIME_absolute_get ();
869 duration = GNUNET_TIME_absolute_get_difference (start, end);
871 mlp->lp_total_duration =+ duration.rel_value;
872 s_ctx->lp_duration = duration;
874 GNUNET_STATISTICS_update (mlp->stats,"# LP problem solved", 1, GNUNET_NO);
875 GNUNET_STATISTICS_set (mlp->stats,"# LP execution time (ms)", duration.rel_value, GNUNET_NO);
876 GNUNET_STATISTICS_set (mlp->stats,"# LP execution time average (ms)",
877 mlp->lp_total_duration / mlp->lp_solved, GNUNET_NO);
879 /* Analyze problem status */
880 res = glp_get_status (mlp->prob);
882 /* solution is optimal */
884 /* solution is feasible */
888 /* Problem was ill-defined, no way to handle that */
890 GNUNET_log_from (GNUNET_ERROR_TYPE_DEBUG,
892 "Solving LP problem failed, no solution: %s\n", mlp_status_to_string(res));
893 return GNUNET_SYSERR;
897 /* solved sucessfully, no presolver required next time */
898 mlp->presolver_required = GNUNET_NO;
905 * Solves the MLP problem
907 * @param mlp the MLP Handle
908 * @param s_ctx context to return results
909 * @return GNUNET_OK if could be solved, GNUNET_SYSERR on failure
912 mlp_solve_mlp_problem (struct GAS_MLP_Handle *mlp, struct GAS_MLP_SolutionContext *s_ctx)
915 struct GNUNET_TIME_Relative duration;
916 struct GNUNET_TIME_Absolute end;
917 struct GNUNET_TIME_Absolute start = GNUNET_TIME_absolute_get();
919 /* solve MLP problem */
920 res = glp_intopt(mlp->prob, &mlp->control_param_mlp);
924 /* The MLP problem instance has been successfully solved. */
926 else if (res == GLP_EITLIM)
928 /* simplex iteration limit has been exceeded. */
929 // TODO Increase iteration limit?
931 else if (res == GLP_ETMLIM)
933 /* Time limit has been exceeded. */
934 // TODO Increase time limit?
938 /* Problem was ill-defined, no way to handle that */
939 GNUNET_log_from (GNUNET_ERROR_TYPE_DEBUG,
941 "Solving MLP problem failed: %s\n", mlp_solve_to_string(res));
942 return GNUNET_SYSERR;
945 end = GNUNET_TIME_absolute_get ();
946 duration = GNUNET_TIME_absolute_get_difference (start, end);
948 mlp->mlp_total_duration =+ duration.rel_value;
949 s_ctx->mlp_duration = duration;
951 GNUNET_STATISTICS_update (mlp->stats,"# MLP problem solved", 1, GNUNET_NO);
952 GNUNET_STATISTICS_set (mlp->stats,"# MLP execution time (ms)", duration.rel_value, GNUNET_NO);
953 GNUNET_STATISTICS_set (mlp->stats,"# MLP execution time average (ms)",
954 mlp->mlp_total_duration / mlp->mlp_solved, GNUNET_NO);
956 /* Analyze problem status */
957 res = glp_mip_status(mlp->prob);
959 /* solution is optimal */
961 /* solution is feasible */
965 /* Problem was ill-defined, no way to handle that */
967 GNUNET_log_from (GNUNET_ERROR_TYPE_DEBUG,
969 "Solving MLP problem failed, %s\n\n", mlp_status_to_string(res));
970 return GNUNET_SYSERR;
977 int GAS_mlp_solve_problem (struct GAS_MLP_Handle *mlp, struct GAS_MLP_SolutionContext *ctx);
981 mlp_scheduler (void *cls, const struct GNUNET_SCHEDULER_TaskContext *tc)
983 struct GAS_MLP_Handle *mlp = cls;
984 struct GAS_MLP_SolutionContext ctx;
986 mlp->mlp_task = GNUNET_SCHEDULER_NO_TASK;
988 if (0 != (tc->reason & GNUNET_SCHEDULER_REASON_SHUTDOWN))
991 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Scheduled problem solving\n");
993 if (mlp->addr_in_problem != 0)
994 GAS_mlp_solve_problem(mlp, &ctx);
999 * Solves the MLP problem
1001 * @param mlp the MLP Handle
1002 * @param ctx solution context
1003 * @return GNUNET_OK if could be solved, GNUNET_SYSERR on failure
1006 GAS_mlp_solve_problem (struct GAS_MLP_Handle *mlp, struct GAS_MLP_SolutionContext *ctx)
1009 /* Check if solving is already running */
1010 if (GNUNET_YES == mlp->semaphore)
1012 if (mlp->mlp_task != GNUNET_SCHEDULER_NO_TASK)
1014 GNUNET_SCHEDULER_cancel(mlp->mlp_task);
1015 mlp->mlp_task = GNUNET_SCHEDULER_NO_TASK;
1017 mlp->mlp_task = GNUNET_SCHEDULER_add_delayed (mlp->exec_interval, &mlp_scheduler, mlp);
1018 return GNUNET_SYSERR;
1020 mlp->semaphore = GNUNET_YES;
1022 mlp->last_execution = GNUNET_TIME_absolute_get ();
1024 ctx->lp_result = GNUNET_SYSERR;
1025 ctx->mlp_result = GNUNET_SYSERR;
1026 ctx->lp_duration = GNUNET_TIME_relative_get_forever();
1027 ctx->mlp_duration = GNUNET_TIME_relative_get_forever();
1029 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Solve LP problem\n");
1034 GNUNET_asprintf(&name, "problem_%i", i);
1035 glp_write_lp (mlp->prob, 0, name);
1039 res = mlp_solve_lp_problem (mlp, ctx);
1040 ctx->lp_result = res;
1041 if (res != GNUNET_OK)
1043 GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "LP Problem solving failed\n");
1044 mlp->semaphore = GNUNET_NO;
1045 return GNUNET_SYSERR;
1049 GNUNET_asprintf(&name, "problem_%i_lp_solution", i);
1050 glp_print_sol (mlp->prob, name);
1055 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Solve MLP problem\n");
1056 res = mlp_solve_mlp_problem (mlp, ctx);
1057 ctx->mlp_result = res;
1058 if (res != GNUNET_OK)
1060 GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "MLP Problem solving failed\n");
1061 mlp->semaphore = GNUNET_NO;
1062 return GNUNET_SYSERR;
1065 GNUNET_asprintf(&name, "problem_%i_mlp_solution", i);
1066 glp_print_mip (mlp->prob, name);
1070 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Problem solved %s (LP duration %llu / MLP duration %llu)\n",
1071 (GNUNET_OK == res) ? "successfully" : "failed", ctx->lp_duration.rel_value, ctx->mlp_duration.rel_value);
1072 /* Process result */
1073 struct ATS_Peer *p = NULL;
1074 struct ATS_Address *a = NULL;
1075 struct MLP_information *mlpi = NULL;
1077 for (p = mlp->peer_head; p != NULL; p = p->next)
1079 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Peer `%s'\n", GNUNET_i2s (&p->id));
1080 for (a = p->head; a != NULL; a = a->next)
1085 mlpi = a->mlp_information;
1087 b = glp_mip_col_val(mlp->prob, mlpi->c_b);
1090 n = glp_mip_col_val(mlp->prob, mlpi->c_n);
1092 mlpi->n = GNUNET_YES;
1094 mlpi->n = GNUNET_NO;
1096 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "\tAddress %s %f\n",
1097 (n == 1.0) ? "[x]" : "[ ]", b);
1101 if (mlp->mlp_task != GNUNET_SCHEDULER_NO_TASK)
1103 GNUNET_SCHEDULER_cancel(mlp->mlp_task);
1104 mlp->mlp_task = GNUNET_SCHEDULER_NO_TASK;
1106 mlp->mlp_task = GNUNET_SCHEDULER_add_delayed (mlp->exec_interval, &mlp_scheduler, mlp);
1107 mlp->semaphore = GNUNET_NO;
1112 * Init the MLP problem solving component
1114 * @param cfg the GNUNET_CONFIGURATION_Handle handle
1115 * @param stats the GNUNET_STATISTICS handle
1116 * @param max_duration maximum numbers of iterations for the LP/MLP Solver
1117 * @param max_iterations maximum time limit for the LP/MLP Solver
1118 * @return struct GAS_MLP_Handle * on success, NULL on fail
1120 struct GAS_MLP_Handle *
1121 GAS_mlp_init (const struct GNUNET_CONFIGURATION_Handle *cfg,
1122 const struct GNUNET_STATISTICS_Handle *stats,
1123 struct GNUNET_TIME_Relative max_duration,
1124 unsigned int max_iterations)
1126 struct GAS_MLP_Handle * mlp = GNUNET_malloc (sizeof (struct GAS_MLP_Handle));
1131 long long unsigned int tmp;
1134 struct GNUNET_TIME_Relative i_exec;
1136 char * quota_out_str;
1137 char * quota_in_str;
1139 /* Init GLPK environment */
1140 int res = glp_init_env();
1143 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "GLPK: `%s'\n",
1144 "initialization successful");
1147 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "GLPK: `%s'\n",
1148 "environment is already initialized");
1151 GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not init GLPK: `%s'\n",
1152 "initialization failed (insufficient memory)");
1157 GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Could not init GLPK: `%s'\n",
1158 "initialization failed (unsupported programming model)");
1166 /* Create initial MLP problem */
1167 mlp->prob = glp_create_prob();
1168 GNUNET_assert (mlp->prob != NULL);
1170 mlp->BIG_M = (double) BIG_M_VALUE;
1172 /* Get diversity coefficient from configuration */
1173 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1176 D = (double) tmp / 100;
1180 /* Get proportionality coefficient from configuration */
1181 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1184 R = (double) tmp / 100;
1188 /* Get utilization coefficient from configuration */
1189 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1192 U = (double) tmp / 100;
1196 /* Get quality metric coefficients from configuration */
1198 int i_distance = -1;
1199 int q[GNUNET_ATS_QualityPropertiesCount] = GNUNET_ATS_QualityProperties;
1200 for (c = 0; c < GNUNET_ATS_QualityPropertiesCount; c++)
1202 /* initialize quality coefficients with default value 1.0 */
1206 if (q[c] == GNUNET_ATS_QUALITY_NET_DELAY)
1208 if (q[c] == GNUNET_ATS_QUALITY_NET_DISTANCE)
1212 if ((i_delay != -1) && (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1213 "COEFFICIENT_QUALITY_DELAY",
1216 mlp->co_Q[i_delay] = (double) tmp / 100;
1218 mlp->co_Q[i_delay] = 1.0;
1220 if ((i_distance != -1) && (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1221 "COEFFICIENT_QUALITY_DISTANCE",
1223 mlp->co_Q[i_distance] = (double) tmp / 100;
1225 mlp->co_Q[i_distance] = 1.0;
1227 /* Get minimum bandwidth per used address from configuration */
1228 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1234 b_min = ntohl (GNUNET_CONSTANTS_DEFAULT_BW_IN_OUT.value__);
1237 /* Get minimum number of connections from configuration */
1238 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_size (cfg, "ats",
1245 /* Init network quotas */
1246 int quotas[GNUNET_ATS_NetworkTypeCount] = GNUNET_ATS_NetworkType;
1247 for (c = 0; c < GNUNET_ATS_NetworkTypeCount; c++)
1249 mlp->quota_index[c] = quotas[c];
1250 static char * entry_in = NULL;
1251 static char * entry_out = NULL;
1252 unsigned long long quota_in = 0;
1253 unsigned long long quota_out = 0;
1255 switch (quotas[c]) {
1256 case GNUNET_ATS_NET_UNSPECIFIED:
1257 entry_out = "UNSPECIFIED_QUOTA_OUT";
1258 entry_in = "UNSPECIFIED_QUOTA_IN";
1260 case GNUNET_ATS_NET_LOOPBACK:
1261 entry_out = "LOOPBACK_QUOTA_OUT";
1262 entry_in = "LOOPBACK_QUOTA_IN";
1264 case GNUNET_ATS_NET_LAN:
1265 entry_out = "LAN_QUOTA_OUT";
1266 entry_in = "LAN_QUOTA_IN";
1268 case GNUNET_ATS_NET_WAN:
1269 entry_out = "WAN_QUOTA_OUT";
1270 entry_in = "WAN_QUOTA_IN";
1272 case GNUNET_ATS_NET_WLAN:
1273 entry_out = "WLAN_QUOTA_OUT";
1274 entry_in = "WLAN_QUOTA_IN";
1280 if ((entry_in == NULL) || (entry_out == NULL))
1283 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_string(cfg, "ats", entry_out, "a_out_str))
1285 if (0 == strcmp(quota_out_str, BIG_M_STRING) ||
1286 (GNUNET_SYSERR == GNUNET_STRINGS_fancy_size_to_bytes (quota_out_str, "a_out)))
1287 quota_out = mlp->BIG_M;
1289 GNUNET_free (quota_out_str);
1290 quota_out_str = NULL;
1292 else if (GNUNET_ATS_NET_UNSPECIFIED == quotas[c])
1294 quota_out = mlp->BIG_M;
1298 quota_out = mlp->BIG_M;
1301 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_string(cfg, "ats", entry_in, "a_in_str))
1303 if (0 == strcmp(quota_in_str, BIG_M_STRING) ||
1304 (GNUNET_SYSERR == GNUNET_STRINGS_fancy_size_to_bytes (quota_in_str, "a_in)))
1305 quota_in = mlp->BIG_M;
1307 GNUNET_free (quota_in_str);
1308 quota_in_str = NULL;
1310 else if (GNUNET_ATS_NET_UNSPECIFIED == quotas[c])
1312 quota_in = mlp->BIG_M;
1316 quota_in = mlp->BIG_M;
1319 /* Check if defined quota could make problem unsolvable */
1320 if (((n_min * b_min) > quota_out) && (GNUNET_ATS_NET_UNSPECIFIED != quotas[c]))
1322 GNUNET_log (GNUNET_ERROR_TYPE_ERROR, "Inconsistent quota configuration value `%s': " \
1323 "outbound quota (%u Bps) too small for combination of minimum connections and minimum bandwidth per peer (%u * %u Bps = %u)\n", entry_out, quota_out, n_min, b_min, n_min * b_min);
1330 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Found `%s' quota %llu and `%s' quota %llu\n",
1331 entry_out, quota_out, entry_in, quota_in);
1332 GNUNET_STATISTICS_update ((struct GNUNET_STATISTICS_Handle *) stats, entry_out, quota_out, GNUNET_NO);
1333 GNUNET_STATISTICS_update ((struct GNUNET_STATISTICS_Handle *) stats, entry_in, quota_in, GNUNET_NO);
1334 mlp->quota_out[c] = quota_out;
1335 mlp->quota_in[c] = quota_in;
1338 /* Get minimum number of connections from configuration */
1339 if (GNUNET_OK == GNUNET_CONFIGURATION_get_value_time (cfg, "ats",
1340 "ATS_EXEC_INTERVAL",
1342 mlp->exec_interval = i_exec;
1344 mlp->exec_interval = GNUNET_TIME_relative_multiply(GNUNET_TIME_UNIT_SECONDS, 30);
1346 mlp->stats = (struct GNUNET_STATISTICS_Handle *) stats;
1347 mlp->max_iterations = max_iterations;
1348 mlp->max_exec_duration = max_duration;
1349 mlp->auto_solve = GNUNET_YES;
1351 /* Redirect GLPK output to GNUnet logging */
1352 glp_error_hook((void *) mlp, &mlp_term_hook);
1354 /* Init LP solving parameters */
1355 glp_init_smcp(&mlp->control_param_lp);
1357 mlp->control_param_lp.msg_lev = GLP_MSG_OFF;
1359 mlp->control_param_lp.msg_lev = GLP_MSG_ALL;
1362 mlp->control_param_lp.it_lim = max_iterations;
1363 mlp->control_param_lp.tm_lim = max_duration.rel_value;
1365 /* Init MLP solving parameters */
1366 glp_init_iocp(&mlp->control_param_mlp);
1368 mlp->control_param_mlp.msg_lev = GLP_MSG_OFF;
1370 mlp->control_param_mlp.msg_lev = GLP_MSG_ALL;
1372 mlp->control_param_mlp.tm_lim = max_duration.rel_value;
1374 mlp->last_execution = GNUNET_TIME_absolute_get_forever();
1381 mlp->m_q = GNUNET_ATS_QualityPropertiesCount;
1382 mlp->semaphore = GNUNET_NO;
1387 update_quality (struct GAS_MLP_Handle *mlp, struct ATS_Address * address)
1389 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Updating quality metrics for peer `%s'\n",
1390 GNUNET_i2s (&address->peer));
1392 GNUNET_assert (NULL != address);
1393 GNUNET_assert (NULL != address->mlp_information);
1394 GNUNET_assert (NULL != address->ats);
1396 struct MLP_information *mlpi = address->mlp_information;
1397 struct GNUNET_ATS_Information *ats = address->ats;
1398 GNUNET_assert (mlpi != NULL);
1401 for (c = 0; c < GNUNET_ATS_QualityPropertiesCount; c++)
1403 int index = mlp_lookup_ats(address, mlp->q[c]);
1405 if (index == GNUNET_SYSERR)
1408 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Updating address for peer `%s' value `%s': %f\n",
1409 GNUNET_i2s (&address->peer),
1410 mlp_ats_to_string(mlp->q[c]),
1411 (double) ats[index].value);
1413 int i = mlpi->q_avg_i[c];
1414 double * qp = mlpi->q[c];
1415 qp[i] = (double) ats[index].value;
1418 for (t = 0; t < MLP_AVERAGING_QUEUE_LENGTH; t++)
1420 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Peer `%s': `%s' queue[%u]: %f\n",
1421 GNUNET_i2s (&address->peer),
1422 mlp_ats_to_string(mlp->q[c]),
1427 if (mlpi->q_avg_i[c] + 1 < (MLP_AVERAGING_QUEUE_LENGTH))
1428 mlpi->q_avg_i[c] ++;
1430 mlpi->q_avg_i[c] = 0;
1438 case GNUNET_ATS_QUALITY_NET_DELAY:
1440 for (c2 = 0; c2 < MLP_AVERAGING_QUEUE_LENGTH; c2++)
1442 if (mlpi->q[c][c2] != -1)
1444 double * t2 = mlpi->q[c] ;
1449 if ((c3 > 0) && (avg > 0))
1450 /* avg = 1 / ((q[0] + ... + q[l]) /c3) => c3 / avg*/
1451 mlpi->q_averaged[c] = (double) c3 / avg;
1453 mlpi->q_averaged[c] = 0.0;
1455 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Peer `%s': `%s' average sum: %f, average: %f, weight: %f\n",
1456 GNUNET_i2s (&address->peer),
1457 mlp_ats_to_string(mlp->q[c]),
1460 mlpi->q_averaged[c]);
1463 case GNUNET_ATS_QUALITY_NET_DISTANCE:
1465 for (c2 = 0; c2 < MLP_AVERAGING_QUEUE_LENGTH; c2++)
1467 if (mlpi->q[c][c2] != -1)
1469 double * t2 = mlpi->q[c] ;
1474 if ((c3 > 0) && (avg > 0))
1475 /* avg = 1 / ((q[0] + ... + q[l]) /c3) => c3 / avg*/
1476 mlpi->q_averaged[c] = (double) c3 / avg;
1478 mlpi->q_averaged[c] = 0.0;
1480 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Peer `%s': `%s' average sum: %f, average: %f, weight: %f\n",
1481 GNUNET_i2s (&address->peer),
1482 mlp_ats_to_string(mlp->q[c]),
1485 mlpi->q_averaged[c]);
1492 if ((mlpi->c_b != 0) && (mlpi->r_q[c] != 0))
1495 /* Get current number of columns */
1496 int found = GNUNET_NO;
1497 int cols = glp_get_num_cols(mlp->prob);
1498 int *ind = GNUNET_malloc (cols * sizeof (int) + 1);
1499 double *val = GNUNET_malloc (cols * sizeof (double) + 1);
1501 /* Get the matrix row of quality */
1502 int length = glp_get_mat_row(mlp->prob, mlp->r_q[c], ind, val);
1503 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "cols %i, length %i c_b %i\n", cols, length, mlpi->c_b);
1505 /* Get the index if matrix row of quality */
1506 for (c4 = 1; c4 <= length; c4++ )
1508 if (mlpi->c_b == ind[c4])
1510 /* Update the value */
1511 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Updating quality `%s' column `%s' row `%s' : %f -> %f\n",
1512 mlp_ats_to_string(mlp->q[c]),
1513 glp_get_col_name (mlp->prob, ind[c4]),
1514 glp_get_row_name (mlp->prob, mlp->r_q[c]),
1516 mlpi->q_averaged[c]);
1517 val[c4] = mlpi->q_averaged[c];
1523 if (found == GNUNET_NO)
1526 ind[length+1] = mlpi->c_b;
1527 val[length+1] = mlpi->q_averaged[c];
1528 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "%i ind[%i] val[%i]: %i %f\n", length+1, length+1, length+1, mlpi->c_b, mlpi->q_averaged[c]);
1529 glp_set_mat_row (mlp->prob, mlpi->r_q[c], length+1, ind, val);
1533 /* Get the index if matrix row of quality */
1534 glp_set_mat_row (mlp->prob, mlpi->r_q[c], length, ind, val);
1544 * Updates a single address in the MLP problem
1546 * If the address did not exist before in the problem:
1547 * The MLP problem has to be recreated and the problem has to be resolved
1549 * Otherwise the addresses' values can be updated and the existing base can
1552 * @param mlp the MLP Handle
1553 * @param addresses the address hashmap
1554 * the address has to be already removed from the hashmap
1555 * @param address the address to update
1558 GAS_mlp_address_update (struct GAS_MLP_Handle *mlp, struct GNUNET_CONTAINER_MultiHashMap * addresses, struct ATS_Address *address)
1561 struct MLP_information *mlpi;
1562 struct GAS_MLP_SolutionContext ctx;
1564 GNUNET_STATISTICS_update (mlp->stats, "# MLP address updates", 1, GNUNET_NO);
1566 /* We add a new address */
1567 if (address->mlp_information == NULL)
1573 if (new == GNUNET_YES)
1575 mlpi = GNUNET_malloc (sizeof (struct MLP_information));
1578 for (c = 0; c < GNUNET_ATS_QualityPropertiesCount; c++)
1582 for (c2 = 0; c2 < MLP_AVERAGING_QUEUE_LENGTH; c2++)
1583 mlpi->q[c][c2] = -1.0; /* -1.0: invalid value */
1584 mlpi->q_avg_i[c] = 0;
1585 mlpi->q_averaged[c] = 0.0;
1588 address->mlp_information = mlpi;
1589 mlp->addr_in_problem ++;
1590 GNUNET_STATISTICS_update (mlp->stats, "# addresses in MLP", 1, GNUNET_NO);
1592 /* Check for and add peer */
1593 struct ATS_Peer *peer = mlp_find_peer (mlp, &address->peer);
1597 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Adding new peer `%s'\n",
1598 GNUNET_i2s (&address->peer));
1600 peer = GNUNET_malloc (sizeof (struct ATS_Peer));
1605 for (c = 0; c < GNUNET_ATS_QualityPropertiesCount; c++)
1611 memcpy (&peer->id, &address->peer, sizeof (struct GNUNET_PeerIdentity));
1612 GNUNET_assert(address->prev == NULL);
1613 GNUNET_assert(address->next == NULL);
1614 GNUNET_CONTAINER_DLL_insert (peer->head, peer->tail, address);
1615 GNUNET_CONTAINER_DLL_insert (mlp->peer_head, mlp->peer_tail, peer);
1617 GNUNET_STATISTICS_update (mlp->stats, "# peers in MLP", 1, GNUNET_NO);
1622 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Adding address to peer `%s'\n",
1623 GNUNET_i2s (&address->peer));
1625 GNUNET_CONTAINER_DLL_insert (peer->head, peer->tail, address);
1627 update_quality (mlp, address);
1631 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Updating existing address to peer `%s'\n",
1632 GNUNET_i2s (&address->peer));
1634 update_quality (mlp, address);
1638 if (new == GNUNET_YES)
1640 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Recreating problem: new address\n");
1642 mlp_delete_problem (mlp);
1643 mlp_create_problem (mlp, addresses);
1644 mlp->presolver_required = GNUNET_YES;
1646 if (mlp->auto_solve == GNUNET_YES)
1647 GAS_mlp_solve_problem (mlp, &ctx);
1651 * Deletes a single address in the MLP problem
1653 * The MLP problem has to be recreated and the problem has to be resolved
1655 * @param mlp the MLP Handle
1656 * @param addresses the address hashmap
1657 * the address has to be already removed from the hashmap
1658 * @param address the address to delete
1661 GAS_mlp_address_delete (struct GAS_MLP_Handle *mlp, struct GNUNET_CONTAINER_MultiHashMap * addresses, struct ATS_Address *address)
1663 GNUNET_STATISTICS_update (mlp->stats,"# LP address deletions", 1, GNUNET_NO);
1664 struct GAS_MLP_SolutionContext ctx;
1666 /* Free resources */
1667 if (address->mlp_information != NULL)
1669 GNUNET_free (address->mlp_information);
1670 address->mlp_information = NULL;
1672 mlp->addr_in_problem --;
1673 GNUNET_STATISTICS_update (mlp->stats, "# addresses in MLP", -1, GNUNET_NO);
1676 /* Remove from peer list */
1677 struct ATS_Peer *head = mlp_find_peer (mlp, &address->peer);
1678 GNUNET_assert (head != NULL);
1680 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Deleting address for `%s'\n", GNUNET_i2s (&address->peer));
1682 GNUNET_CONTAINER_DLL_remove (head->head, head->tail, address);
1683 if ((head->head == NULL) && (head->tail == NULL))
1685 /* No address for peer left, remove peer */
1687 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Deleting peer `%s'\n", GNUNET_i2s (&address->peer));
1689 GNUNET_CONTAINER_DLL_remove (mlp->peer_head, mlp->peer_tail, head);
1692 GNUNET_STATISTICS_update (mlp->stats, "# peers in MLP", -1, GNUNET_NO);
1695 /* Update problem */
1696 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Recreating problem: new address\n");
1698 mlp_delete_problem (mlp);
1699 if ((GNUNET_CONTAINER_multihashmap_size (addresses) > 0) && (mlp->c_p > 0))
1701 mlp_create_problem (mlp, addresses);
1704 mlp->presolver_required = GNUNET_YES;
1705 if (mlp->auto_solve == GNUNET_YES)
1706 GAS_mlp_solve_problem (mlp, &ctx);
1711 mlp_get_preferred_address_it (void *cls, const GNUNET_HashCode * key, void *value)
1714 struct ATS_PreferedAddress *aa = (struct ATS_PreferedAddress *) cls;
1715 struct ATS_Address *addr = value;
1716 struct MLP_information *mlpi = addr->mlp_information;
1719 if (mlpi->n == GNUNET_YES)
1722 if (mlpi->b > (double) UINT32_MAX)
1723 aa->bandwidth_out = UINT32_MAX;
1725 aa->bandwidth_out = (uint32_t) mlpi->b;
1726 aa->bandwidth_in = 0;
1734 * Get the preferred address for a specific peer
1736 * @param mlp the MLP Handle
1737 * @param addresses address hashmap
1738 * @param peer the peer
1739 * @return suggested address
1741 struct ATS_PreferedAddress *
1742 GAS_mlp_get_preferred_address (struct GAS_MLP_Handle *mlp,
1743 struct GNUNET_CONTAINER_MultiHashMap * addresses,
1744 const struct GNUNET_PeerIdentity *peer)
1746 struct ATS_PreferedAddress * aa = GNUNET_malloc (sizeof (struct ATS_PreferedAddress));
1748 aa->bandwidth_in = 0;
1749 aa->bandwidth_out = 0;
1750 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Getting preferred address for `%s'\n", GNUNET_i2s (peer));
1751 GNUNET_CONTAINER_multihashmap_get_multiple (addresses, &peer->hashPubKey, mlp_get_preferred_address_it, aa);
1757 * Changes the preferences for a peer in the MLP problem
1759 * @param mlp the MLP Handle
1760 * @param peer the peer
1761 * @param kind the kind to change the preference
1762 * @param score the score
1765 GAS_mlp_address_change_preference (struct GAS_MLP_Handle *mlp,
1766 const struct GNUNET_PeerIdentity *peer,
1767 enum GNUNET_ATS_PreferenceKind kind,
1770 GNUNET_STATISTICS_update (mlp->stats,"# LP address preference changes", 1, GNUNET_NO);
1772 struct ATS_Peer *p = mlp_find_peer (mlp, peer);
1774 /* Here we have to do the matching */
1778 * Shutdown the MLP problem solving component
1779 * @param mlp the MLP handle
1782 GAS_mlp_done (struct GAS_MLP_Handle *mlp)
1784 struct ATS_Peer * peer;
1785 struct ATS_Address *addr;
1787 GNUNET_assert (mlp != NULL);
1789 if (mlp->mlp_task != GNUNET_SCHEDULER_NO_TASK)
1791 GNUNET_SCHEDULER_cancel(mlp->mlp_task);
1792 mlp->mlp_task = GNUNET_SCHEDULER_NO_TASK;
1795 /* clean up peer list */
1796 peer = mlp->peer_head;
1797 while (peer != NULL)
1799 GNUNET_log (GNUNET_ERROR_TYPE_DEBUG, "Cleaning up peer `%s'\n", GNUNET_i2s (&peer->id));
1800 GNUNET_CONTAINER_DLL_remove(mlp->peer_head, mlp->peer_tail, peer);
1801 for (addr = peer->head; NULL != addr; addr = peer->head)
1803 GNUNET_CONTAINER_DLL_remove(peer->head, peer->tail, addr);
1804 GNUNET_free (addr->mlp_information);
1805 addr->mlp_information = NULL;
1808 peer = mlp->peer_head;
1810 mlp_delete_problem (mlp);
1812 /* Clean up GLPK environment */
1819 /* end of gnunet-service-ats_addresses_mlp.c */