Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
SURF: Kill the SDP model
[simgrid.git] / src / surf / maxmin_private.h
1 /*      $Id$     */
2
3 /* Copyright (c) 2004 Arnaud Legrand. All rights reserved.                  */
4
5 /* This program is free software; you can redistribute it and/or modify it
6  * under the terms of the license (GNU LGPL) which comes with this package. */
7
8 #ifndef _SURF_MAXMIN_PRIVATE_H
9 #define _SURF_MAXMIN_PRIVATE_H
10
11 #include "surf/maxmin.h"
12 #include "xbt/swag.h"
13 #include "xbt/mallocator.h"
14
15 typedef struct lmm_element {
16   /* hookup to constraint */
17   s_xbt_swag_hookup_t element_set_hookup;
18   s_xbt_swag_hookup_t active_element_set_hookup;
19
20   lmm_constraint_t constraint;
21   lmm_variable_t variable;
22   double value;
23 } s_lmm_element_t;
24 #define make_elem_active(elem) xbt_swag_insert_at_head(elem,&(elem->constraint->active_element_set))
25 #define make_elem_inactive(elem) xbt_swag_remove(elem,&(elem->constraint->active_element_set))
26
27 typedef struct lmm_constraint {
28   /* hookup to system */
29   s_xbt_swag_hookup_t constraint_set_hookup;
30   s_xbt_swag_hookup_t active_constraint_set_hookup;
31   s_xbt_swag_hookup_t saturated_constraint_set_hookup;
32
33   s_xbt_swag_t element_set;     /* a list of lmm_mat_element_t */
34   s_xbt_swag_t active_element_set;      /* a list of lmm_mat_element_t */
35   double bound;
36   double lambda;
37   double new_lambda;
38   double remaining;
39   int shared;
40   double usage;
41   void *id;
42 } s_lmm_constraint_t;
43
44 typedef struct lmm_variable {
45   /* hookup to system */
46   s_xbt_swag_hookup_t variable_set_hookup;
47   s_xbt_swag_hookup_t saturated_variable_set_hookup;
48
49   s_lmm_element_t *cnsts;
50   int cnsts_size;
51   int cnsts_number;
52   double weight;
53   double bound;
54   double value;
55   void *id;
56   /* \begin{For Lagrange only} */
57   double mu;
58   double new_mu;
59   double (*func_f) (struct lmm_variable * var, double x);       /* (f)    */
60   double (*func_fp) (struct lmm_variable * var, double x);      /* (f')    */
61   double (*func_fpi) (struct lmm_variable * var, double x);     /* (f')^{-1}    */
62   /* \end{For Lagrange only} */
63 } s_lmm_variable_t;
64
65 typedef struct lmm_system {
66   int modified;
67   s_xbt_swag_t variable_set;    /* a list of lmm_variable_t */
68   s_xbt_swag_t constraint_set;  /* a list of lmm_constraint_t */
69
70   s_xbt_swag_t active_constraint_set;   /* a list of lmm_constraint_t */
71
72   s_xbt_swag_t saturated_variable_set;  /* a list of lmm_variable_t */
73   s_xbt_swag_t saturated_constraint_set;        /* a list of lmm_constraint_t_t */
74
75   xbt_mallocator_t variable_mallocator;
76 } s_lmm_system_t;
77
78 #define extract_variable(sys) xbt_swag_remove(xbt_swag_getFirst(&(sys->variable_set)),&(sys->variable_set))
79 #define extract_constraint(sys) xbt_swag_remove(xbt_swag_getFirst(&(sys->constraint_set)),&(sys->constraint_set))
80 #define insert_constraint(sys,cnst) xbt_swag_insert(cnst,&(sys->constraint_set))
81 #define remove_variable(sys,var) do {xbt_swag_remove(var,&(sys->variable_set));\
82                                  xbt_swag_remove(var,&(sys->saturated_variable_set));} while(0)
83 #define remove_constraint(sys,cnst) do {xbt_swag_remove(cnst,&(sys->constraint_set));\
84                                         xbt_swag_remove(cnst,&(sys->saturated_constraint_set));} while(0)
85 #define remove_active_constraint(sys,cnst) xbt_swag_remove(cnst,&(sys->active_constraint_set))
86 #define make_constraint_active(sys,cnst) xbt_swag_insert(cnst,&(sys->active_constraint_set))
87 #define make_constraint_inactive(sys,cnst) remove_active_constraint(sys,cnst)
88
89 static void lmm_var_free(lmm_system_t sys, lmm_variable_t var);
90 static void lmm_cnst_free(lmm_system_t sys, lmm_constraint_t cnst);
91
92 void lmm_print(lmm_system_t sys);
93
94 extern double (*func_f_def) (lmm_variable_t, double);
95 extern double (*func_fp_def) (lmm_variable_t, double);
96 extern double (*func_fpi_def) (lmm_variable_t, double);
97
98 #endif /* _SURF_MAXMIN_PRIVATE_H */