Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Misc issues in shell scripts (codefator.io).
[simgrid.git] / src / kernel / resource / Model.cpp
1 /* Copyright (c) 2004-2020. The SimGrid Team. All rights reserved.          */
2
3 /* This program is free software; you can redistribute it and/or modify it
4  * under the terms of the license (GNU LGPL) which comes with this package. */
5
6 #include "simgrid/kernel/resource/Model.hpp"
7 #include "src/kernel/lmm/maxmin.hpp"
8
9 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(resource);
10
11 namespace simgrid {
12 namespace kernel {
13 namespace resource {
14
15 Model::Model(Model::UpdateAlgo algo) : update_algorithm_(algo) {}
16 Model::~Model() = default; // Don't move this declaration to the header, or it will break external projects such as SimGrid-FMI
17
18 Action::ModifiedSet* Model::get_modified_set() const
19 {
20   return maxmin_system_->modified_set_;
21 }
22
23 void Model::set_maxmin_system(lmm::System* system)
24 {
25   maxmin_system_.release(); // ugly...
26   maxmin_system_.reset(system);
27 }
28
29 double Model::next_occurring_event(double now)
30 {
31   // FIXME: set the good function once and for all
32   if (update_algorithm_ == Model::UpdateAlgo::LAZY)
33     return next_occurring_event_lazy(now);
34   else if (update_algorithm_ == Model::UpdateAlgo::FULL)
35     return next_occurring_event_full(now);
36   else
37     xbt_die("Invalid cpu update mechanism!");
38 }
39
40 double Model::next_occurring_event_lazy(double now)
41 {
42   XBT_DEBUG("Before share resources, the size of modified actions set is %zu", maxmin_system_->modified_set_->size());
43   maxmin_system_->lmm_solve();
44   XBT_DEBUG("After share resources, The size of modified actions set is %zu", maxmin_system_->modified_set_->size());
45
46   while (not maxmin_system_->modified_set_->empty()) {
47     Action* action = &(maxmin_system_->modified_set_->front());
48     maxmin_system_->modified_set_->pop_front();
49     ActionHeap::Type action_type = ActionHeap::Type::normal;
50
51     if (action->get_state_set() != &started_action_set_)
52       continue;
53
54     /* bogus priority, skip it */
55     if (action->get_sharing_penalty() <= 0 || action->get_type() == ActionHeap::Type::latency)
56       continue;
57
58     action->update_remains_lazy(now);
59
60     double min   = -1;
61     double share = action->get_variable()->get_value();
62
63     if (share > 0) {
64       double time_to_completion;
65       if (action->get_remains() > 0) {
66         time_to_completion = action->get_remains_no_update() / share;
67       } else {
68         time_to_completion = 0.0;
69       }
70       min = now + time_to_completion; // when the task will complete if nothing changes
71     }
72
73     if ((action->get_max_duration() != NO_MAX_DURATION) &&
74         (min <= -1 || action->get_start_time() + action->get_max_duration() < min)) {
75       // when the task will complete anyway because of the deadline if any
76       min          = action->get_start_time() + action->get_max_duration();
77       action_type  = ActionHeap::Type::max_duration;
78     }
79
80     XBT_DEBUG("Action(%p) corresponds to variable %d", action, action->get_variable()->rank_);
81
82     XBT_DEBUG("Action(%p) Start %f. May finish at %f (got a share of %f). Max_duration %f", action,
83               action->get_start_time(), min, share, action->get_max_duration());
84
85     if (min > -1) {
86       action_heap_.update(action, min, action_type);
87       XBT_DEBUG("Insert at heap action(%p) min %f now %f", action, min, now);
88     } else
89       DIE_IMPOSSIBLE;
90   }
91
92   // hereafter must have already the min value for this resource model
93   if (not action_heap_.empty()) {
94     double min = action_heap_.top_date() - now;
95     XBT_DEBUG("minimum with the HEAP %f", min);
96     return min;
97   } else {
98     XBT_DEBUG("The HEAP is empty, thus returning -1");
99     return -1;
100   }
101 }
102
103 double Model::next_occurring_event_full(double /*now*/)
104 {
105   maxmin_system_->solve();
106
107   double min = -1;
108
109   for (Action& action : *get_started_action_set()) {
110     double value = action.get_variable()->get_value();
111     if (value > 0) {
112       if (action.get_remains() > 0)
113         value = action.get_remains_no_update() / value;
114       else
115         value = 0.0;
116       if (min < 0 || value < min) {
117         min = value;
118         XBT_DEBUG("Updating min (value) with %p: %f", &action, min);
119       }
120     }
121     if ((action.get_max_duration() >= 0) && (min < 0 || action.get_max_duration() < min)) {
122       min = action.get_max_duration();
123       XBT_DEBUG("Updating min (duration) with %p: %f", &action, min);
124     }
125   }
126   XBT_DEBUG("min value : %f", min);
127
128   return min;
129 }
130
131 void Model::update_actions_state(double now, double delta)
132 {
133   if (update_algorithm_ == Model::UpdateAlgo::FULL)
134     update_actions_state_full(now, delta);
135   else if (update_algorithm_ == Model::UpdateAlgo::LAZY)
136     update_actions_state_lazy(now, delta);
137   else
138     xbt_die("Invalid cpu update mechanism!");
139 }
140
141 /** Pops and returns the first action of that state set (or nullptr if none exist) */
142 Action* Model::extract_action(Action::StateSet* list)
143 {
144   if (list->empty())
145     return nullptr;
146   Action* res = &list->front();
147   list->pop_front();
148   return res;
149 }
150
151 /** Pops and returns the first finished action (or nullptr if none exist) */
152 Action* Model::extract_done_action()
153 {
154   return extract_action(get_finished_action_set());
155 }
156
157 /** Pops and returns the failed finished action (or nullptr if none exist) */
158 Action* Model::extract_failed_action()
159 {
160   return extract_action(get_failed_action_set());
161 }
162
163 void Model::update_actions_state_lazy(double /*now*/, double /*delta*/)
164 {
165   THROW_UNIMPLEMENTED;
166 }
167
168 void Model::update_actions_state_full(double /*now*/, double /*delta*/)
169 {
170   THROW_UNIMPLEMENTED;
171 }
172
173 } // namespace resource
174 } // namespace kernel
175 } // namespace simgrid