Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : stateful mode disabled by default
[simgrid.git] / src / surf / new_model.c
1 /* Copyright (c) 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011, 2012. The SimGrid Team.
2  * All rights reserved.                                                                 */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package.             */
6
7 /* ********************************************************************* */
8 /* TUTORIAL: New model                                                   */
9 /* ********************************************************************* */
10
11 #include "xbt/ex.h"
12 #include "xbt/dict.h"
13 #include "xbt/file_stat.h"
14 #include "portable.h"
15 #include "surf_private.h"
16 #include "new_model_private.h"
17 #include "surf/surf_resource.h"
18
19 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_new_model, surf,
20                                 "Logging specific to the SURF new model module");
21
22 surf_model_t surf_new_model = NULL;
23 lmm_system_t new_model_maxmin_system = NULL;
24 static int new_model_selective_update = 0;
25 static xbt_swag_t
26     new_model_running_action_set_that_does_not_need_being_checked = NULL;
27
28 #define GENERIC_LMM_ACTION(action) action->generic_lmm_action
29 #define GENERIC_ACTION(action) GENERIC_LMM_ACTION(action).generic_action
30
31 static void new_model_action_state_set(surf_action_t action, e_surf_action_state_t state);
32
33 static surf_action_t new_model_action_execute ()
34 {
35   THROW_UNIMPLEMENTED;
36   return NULL;
37 }
38
39 static surf_action_t new_model_action_fct()
40 {
41   surf_action_t action = new_model_action_execute();
42   return action;
43 }
44
45 static void* new_model_create_resource(const char* id, const char* model,const char* type_id,const char* content_name)
46 {
47   THROW_UNIMPLEMENTED;
48   return NULL;
49 }
50
51 static void new_model_finalize(void)
52 {
53   lmm_system_free(new_model_maxmin_system);
54   new_model_maxmin_system = NULL;
55
56   surf_model_exit(surf_new_model);
57   surf_new_model = NULL;
58
59   xbt_swag_free
60       (new_model_running_action_set_that_does_not_need_being_checked);
61   new_model_running_action_set_that_does_not_need_being_checked = NULL;
62 }
63
64 static void new_model_update_actions_state(double now, double delta)
65 {
66   return;
67 }
68
69 static double new_model_share_resources(double NOW)
70 {
71   return -1;
72 }
73
74 static int new_model_resource_used(void *resource_id)
75 {
76   THROW_UNIMPLEMENTED;
77   return 0;
78 }
79
80 static void new_model_resources_state(void *id, tmgr_trace_event_t event_type,
81                                  double value, double time)
82 {
83   THROW_UNIMPLEMENTED;
84 }
85
86 static int new_model_action_unref(surf_action_t action)
87 {
88   THROW_UNIMPLEMENTED;
89   return 0;
90 }
91
92 static void new_model_action_cancel(surf_action_t action)
93 {
94   surf_action_state_set(action, SURF_ACTION_FAILED);
95   return;
96 }
97
98 static void new_model_action_state_set(surf_action_t action, e_surf_action_state_t state)
99 {
100   surf_action_state_set(action, state);
101   return;
102 }
103
104 static void new_model_action_suspend(surf_action_t action)
105 {
106   XBT_IN("(%p)", action);
107   if (((surf_action_lmm_t) action)->suspended != 2) {
108     lmm_update_variable_weight(new_model_maxmin_system,
109                                ((surf_action_lmm_t) action)->variable,
110                                0.0);
111     ((surf_action_lmm_t) action)->suspended = 1;
112   }
113   XBT_OUT();
114 }
115
116 static void new_model_action_resume(surf_action_t action)
117 {
118   THROW_UNIMPLEMENTED;
119 }
120
121 static int new_model_action_is_suspended(surf_action_t action)
122 {
123   return (((surf_action_lmm_t) action)->suspended == 1);
124 }
125
126 static void new_model_action_set_max_duration(surf_action_t action, double duration)
127 {
128   THROW_UNIMPLEMENTED;
129 }
130
131 static void new_model_action_set_priority(surf_action_t action, double priority)
132 {
133   THROW_UNIMPLEMENTED;
134 }
135
136 static void new_model_define_callbacks()
137 {
138 }
139
140 static void surf_new_model_init_internal(void)
141 {
142   s_surf_action_t action;
143
144   XBT_DEBUG("surf_new_model_model_init_internal");
145   surf_new_model = surf_model_init();
146
147   new_model_running_action_set_that_does_not_need_being_checked =
148       xbt_swag_new(xbt_swag_offset(action, state_hookup));
149
150   surf_new_model->name = "New Model";
151   surf_new_model->action_unref = new_model_action_unref;
152   surf_new_model->action_cancel = new_model_action_cancel;
153   surf_new_model->action_state_set = new_model_action_state_set;
154
155   surf_new_model->model_private->finalize = new_model_finalize;
156   surf_new_model->model_private->update_actions_state = new_model_update_actions_state;
157   surf_new_model->model_private->share_resources = new_model_share_resources;
158   surf_new_model->model_private->resource_used = new_model_resource_used;
159   surf_new_model->model_private->update_resource_state = new_model_resources_state;
160
161   surf_new_model->suspend = new_model_action_suspend;
162   surf_new_model->resume = new_model_action_resume;
163   surf_new_model->is_suspended = new_model_action_is_suspended;
164   surf_new_model->set_max_duration = new_model_action_set_max_duration;
165   surf_new_model->set_priority = new_model_action_set_priority;
166
167   surf_new_model->extension.new_model.fct = new_model_action_fct;
168   surf_new_model->extension.new_model.create_resource = new_model_create_resource;
169
170   if (!new_model_maxmin_system) {
171     new_model_maxmin_system = lmm_system_new(new_model_selective_update);
172   }
173
174 }
175
176 void surf_new_model_init_default(void)
177 {
178   surf_new_model_init_internal();
179   new_model_define_callbacks();
180
181   xbt_dynar_push(model_list, &surf_new_model);
182 }