-/* Copyright (c) 2004-2019. The SimGrid Team. All rights reserved. */
+/* Copyright (c) 2004-2023. The SimGrid Team. All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "simgrid/kernel/resource/Model.hpp"
#include "src/kernel/lmm/maxmin.hpp"
+#include "xbt/ex.h"
-XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(resource);
+XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(ker_resource);
-namespace simgrid {
-namespace kernel {
-namespace resource {
+namespace simgrid::kernel::resource {
-Model::Model(Model::UpdateAlgo algo) : update_algorithm_(algo) {}
+Model::Model(const std::string& name) : name_(name)
+{
+}
-Model::~Model()
+Model::~Model() =
+ default; // Don't move this declaration to the header, or it will break external projects such as SimGrid-FMI
+
+Model* Model::set_update_algorithm(Model::UpdateAlgo algo)
{
- delete inited_action_set_;
- delete started_action_set_;
- delete failed_action_set_;
- delete finished_action_set_;
- delete ignored_action_set_;
- delete maxmin_system_;
+ update_algorithm_ = algo;
+ return this;
}
Action::ModifiedSet* Model::get_modified_set() const
{
- return maxmin_system_->modified_set_;
+ return maxmin_system_->get_modified_action_set();
}
-double Model::next_occuring_event(double now)
+void Model::set_maxmin_system(lmm::System* system)
+{
+ maxmin_system_.release(); // ugly...
+ maxmin_system_.reset(system);
+}
+
+double Model::next_occurring_event(double now)
{
// FIXME: set the good function once and for all
if (update_algorithm_ == Model::UpdateAlgo::LAZY)
- return next_occuring_event_lazy(now);
+ return next_occurring_event_lazy(now);
else if (update_algorithm_ == Model::UpdateAlgo::FULL)
- return next_occuring_event_full(now);
+ return next_occurring_event_full(now);
else
xbt_die("Invalid cpu update mechanism!");
}
-double Model::next_occuring_event_lazy(double now)
+double Model::next_occurring_event_lazy(double now)
{
- XBT_DEBUG("Before share resources, the size of modified actions set is %zu", maxmin_system_->modified_set_->size());
- maxmin_system_->lmm_solve();
- XBT_DEBUG("After share resources, The size of modified actions set is %zu", maxmin_system_->modified_set_->size());
+ XBT_DEBUG("Before share resources, the size of modified actions set is %zu",
+ maxmin_system_->get_modified_action_set()->size());
+ maxmin_system_->solve();
+ Action::ModifiedSet* modified_action_set = maxmin_system_->get_modified_action_set();
+ XBT_DEBUG("After share resources, The size of modified actions set is %zu", modified_action_set->size());
- while (not maxmin_system_->modified_set_->empty()) {
- Action* action = &(maxmin_system_->modified_set_->front());
- maxmin_system_->modified_set_->pop_front();
- bool max_duration_flag = false;
+ while (not modified_action_set->empty()) {
+ Action* action = &(modified_action_set->front());
+ modified_action_set->pop_front();
+ ActionHeap::Type action_type = ActionHeap::Type::normal;
- if (action->get_state_set() != started_action_set_)
+ if (action->get_state_set() != &started_action_set_)
continue;
/* bogus priority, skip it */
- if (action->get_priority() <= 0 || action->get_type() == ActionHeap::Type::latency)
+ if (action->get_sharing_penalty() <= 0 || action->get_type() == ActionHeap::Type::latency)
continue;
action->update_remains_lazy(now);
double min = -1;
- double share = action->get_variable()->get_value();
+ double share = action->get_rate();
if (share > 0) {
double time_to_completion;
min = now + time_to_completion; // when the task will complete if nothing changes
}
- if ((action->get_max_duration() > NO_MAX_DURATION) &&
+ if ((action->get_max_duration() != NO_MAX_DURATION) &&
(min <= -1 || action->get_start_time() + action->get_max_duration() < min)) {
// when the task will complete anyway because of the deadline if any
- min = action->get_start_time() + action->get_max_duration();
- max_duration_flag = true;
+ min = action->get_start_time() + action->get_max_duration();
+ action_type = ActionHeap::Type::max_duration;
}
- XBT_DEBUG("Action(%p) corresponds to variable %d", action, action->get_variable()->id_int);
+ XBT_DEBUG("Action(%p) corresponds to variable %d", action, action->get_variable()->rank_);
XBT_DEBUG("Action(%p) Start %f. May finish at %f (got a share of %f). Max_duration %f", action,
action->get_start_time(), min, share, action->get_max_duration());
if (min > -1) {
- action_heap_.update(action, min, max_duration_flag ? ActionHeap::Type::max_duration : ActionHeap::Type::normal);
+ action_heap_.update(action, min, action_type);
XBT_DEBUG("Insert at heap action(%p) min %f now %f", action, min, now);
} else
DIE_IMPOSSIBLE;
}
}
-double Model::next_occuring_event_full(double /*now*/)
+double Model::next_occurring_event_full(double /*now*/)
{
maxmin_system_->solve();
double min = -1;
for (Action& action : *get_started_action_set()) {
- double value = action.get_variable()->get_value();
- if (value > 0) {
+ if (double value = action.get_rate(); value > 0) {
if (action.get_remains() > 0)
value = action.get_remains_no_update() / value;
else
{
if (list->empty())
return nullptr;
- simgrid::kernel::resource::Action* res = &list->front();
+ Action* res = &list->front();
list->pop_front();
return res;
}
THROW_UNIMPLEMENTED;
}
-} // namespace surf
-} // namespace kernel
-} // namespace simgrid
+} // namespace simgrid::kernel::resource
