1 /* Copyright (c) 2004-2018. The SimGrid Team. All rights reserved. */
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. */
6 #include "simgrid/kernel/resource/Model.hpp"
7 #include "src/kernel/lmm/maxmin.hpp"
9 XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(resource);
15 Model::Model() = default;
19 delete ready_action_set_;
20 delete running_action_set_;
21 delete failed_action_set_;
22 delete done_action_set_;
23 delete maxmin_system_;
26 Action* Model::actionHeapPop()
28 Action* action = action_heap_.top().second;
30 action->clearHeapHandle();
34 Action::ModifiedSet* Model::getModifiedSet() const
36 return maxmin_system_->modified_set_;
39 double Model::nextOccuringEvent(double now)
41 // FIXME: set the good function once and for all
42 if (update_mechanism_ == UM_LAZY)
43 return nextOccuringEventLazy(now);
44 else if (update_mechanism_ == UM_FULL)
45 return nextOccuringEventFull(now);
47 xbt_die("Invalid cpu update mechanism!");
50 double Model::nextOccuringEventLazy(double now)
52 XBT_DEBUG("Before share resources, the size of modified actions set is %zu", maxmin_system_->modified_set_->size());
53 lmm_solve(maxmin_system_);
54 XBT_DEBUG("After share resources, The size of modified actions set is %zu", maxmin_system_->modified_set_->size());
56 while (not maxmin_system_->modified_set_->empty()) {
57 Action* action = &(maxmin_system_->modified_set_->front());
58 maxmin_system_->modified_set_->pop_front();
59 bool max_dur_flag = false;
61 if (action->get_state_set() != running_action_set_)
64 /* bogus priority, skip it */
65 if (action->get_priority() <= 0 || action->getType() == Action::Type::LATENCY)
68 action->updateRemainingLazy(now);
71 double share = action->getVariable()->get_value();
74 double time_to_completion;
75 if (action->get_remains() > 0) {
76 time_to_completion = action->get_remains_no_update() / share;
78 time_to_completion = 0.0;
80 min = now + time_to_completion; // when the task will complete if nothing changes
83 if ((action->get_max_duration() > NO_MAX_DURATION) &&
84 (min <= -1 || action->get_start_time() + action->get_max_duration() < min)) {
85 // when the task will complete anyway because of the deadline if any
86 min = action->get_start_time() + action->get_max_duration();
90 XBT_DEBUG("Action(%p) corresponds to variable %d", action, action->getVariable()->id_int);
92 XBT_DEBUG("Action(%p) Start %f. May finish at %f (got a share of %f). Max_duration %f", action,
93 action->get_start_time(), min, share, action->get_max_duration());
96 action->heapUpdate(action_heap_, min, max_dur_flag ? Action::Type::MAX_DURATION : Action::Type::NORMAL);
97 XBT_DEBUG("Insert at heap action(%p) min %f now %f", action, min, now);
102 // hereafter must have already the min value for this resource model
103 if (not actionHeapIsEmpty()) {
104 double min = actionHeapTopDate() - now;
105 XBT_DEBUG("minimum with the HEAP %f", min);
108 XBT_DEBUG("The HEAP is empty, thus returning -1");
113 double Model::nextOccuringEventFull(double /*now*/)
115 maxmin_system_->solve_fun(maxmin_system_);
119 for (Action& action : *getRunningActionSet()) {
120 double value = action.getVariable()->get_value();
122 if (action.get_remains() > 0)
123 value = action.get_remains_no_update() / value;
126 if (min < 0 || value < min) {
128 XBT_DEBUG("Updating min (value) with %p: %f", &action, min);
131 if ((action.get_max_duration() >= 0) && (min < 0 || action.get_max_duration() < min)) {
132 min = action.get_max_duration();
133 XBT_DEBUG("Updating min (duration) with %p: %f", &action, min);
136 XBT_DEBUG("min value : %f", min);
141 void Model::updateActionsState(double now, double delta)
143 if (update_mechanism_ == UM_FULL)
144 updateActionsStateFull(now, delta);
145 else if (update_mechanism_ == UM_LAZY)
146 updateActionsStateLazy(now, delta);
148 xbt_die("Invalid cpu update mechanism!");
151 void Model::updateActionsStateLazy(double /*now*/, double /*delta*/)
156 void Model::updateActionsStateFull(double /*now*/, double /*delta*/)
162 } // namespace simgrid
163 } // namespace simgrid