X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/67fe7b9d6c00b390a8598bc1e72d42d8343cb218..4d51cb5143e6dc58f47707b45a6e09183814768c:/src/surf/cpu_cas01.cpp diff --git a/src/surf/cpu_cas01.cpp b/src/surf/cpu_cas01.cpp index a39c9b3a83..18df2560c4 100644 --- a/src/surf/cpu_cas01.cpp +++ b/src/surf/cpu_cas01.cpp @@ -1,15 +1,19 @@ -/* Copyright (c) 2009-2018. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2009-2022. 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 "cpu_cas01.hpp" +#include +#include + #include "simgrid/sg_config.hpp" +#include "src/kernel/EngineImpl.hpp" +#include "src/kernel/resource/profile/Event.hpp" +#include "src/surf/cpu_cas01.hpp" #include "src/surf/cpu_ti.hpp" #include "src/surf/surf_interface.hpp" -#include "surf/surf.hpp" -XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_cpu_cas, surf_cpu, "Logging specific to the SURF CPU module"); +XBT_LOG_NEW_DEFAULT_SUBCATEGORY(cpu_cas, res_cpu, "CPU resource, CAS01 model (used by default)"); /*********** * Options * @@ -18,141 +22,116 @@ XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_cpu_cas, surf_cpu, "Logging specific to the static simgrid::config::Flag cpu_optim_opt("cpu/optim", "Optimization algorithm to use for CPU resources. ", "Lazy", - std::map({ + std::map>({ {"Lazy", "Lazy action management (partial invalidation in lmm + heap in action remaining)."}, {"TI", "Trace integration. Highly optimized mode when using availability traces (only available " "for the Cas01 CPU model for now)."}, {"Full", "Full update of remaining and variables. Slow but may be useful when debugging."}, }), - [](std::string const& val) { + [](std::string const&) { xbt_assert(_sg_cfg_init_status < 2, "Cannot change the optimization algorithm after the initialization"); }); +static simgrid::config::Flag cfg_cpu_solver("cpu/solver", "Set linear equations solver used by CPU model", + "maxmin", &simgrid::kernel::lmm::System::validate_solver); + /********* * Model * *********/ void surf_cpu_model_init_Cas01() { - xbt_assert(surf_cpu_model_pm == nullptr, "CPU model already initialized. This should not happen."); - xbt_assert(surf_cpu_model_vm == nullptr, "CPU model already initialized. This should not happen."); - if (cpu_optim_opt == "TI") { - simgrid::surf::CpuTiModel::create_pm_vm_models(); + simgrid::kernel::resource::CpuTiModel::create_pm_models(); return; } - simgrid::kernel::resource::Model::UpdateAlgo algo; - if (cpu_optim_opt == "Lazy") - algo = simgrid::kernel::resource::Model::UpdateAlgo::LAZY; - else - algo = simgrid::kernel::resource::Model::UpdateAlgo::FULL; - - surf_cpu_model_pm = new simgrid::surf::CpuCas01Model(algo); - surf_cpu_model_vm = new simgrid::surf::CpuCas01Model(algo); + auto cpu_model_pm = std::make_shared("Cpu_Cas01"); + auto* engine = simgrid::kernel::EngineImpl::get_instance(); + engine->add_model(cpu_model_pm); + engine->get_netzone_root()->set_cpu_pm_model(cpu_model_pm); } namespace simgrid { -namespace surf { +namespace kernel { +namespace resource { -CpuCas01Model::CpuCas01Model(kernel::resource::Model::UpdateAlgo algo) : simgrid::surf::CpuModel(algo) +CpuCas01Model::CpuCas01Model(const std::string& name) : CpuModel(name) { - all_existing_models.push_back(this); + if (config::get_value("cpu/optim") == "Lazy") + set_update_algorithm(Model::UpdateAlgo::LAZY); - bool select = simgrid::config::get_value("cpu/maxmin-selective-update"); + bool select = config::get_value("cpu/maxmin-selective-update"); - if (algo == Model::UpdateAlgo::LAZY) { - xbt_assert(select || simgrid::config::is_default("cpu/maxmin-selective-update"), + if (is_update_lazy()) { + xbt_assert(select || config::is_default("cpu/maxmin-selective-update"), "You cannot disable cpu selective update when using the lazy update mechanism"); select = true; } - set_maxmin_system(new simgrid::kernel::lmm::System(select)); + set_maxmin_system(lmm::System::build(config::get_value("cpu/solver"), select)); } -CpuCas01Model::~CpuCas01Model() +CpuImpl* CpuCas01Model::create_cpu(s4u::Host* host, const std::vector& speed_per_pstate) { - surf_cpu_model_pm = nullptr; -} - -Cpu* CpuCas01Model::create_cpu(simgrid::s4u::Host* host, std::vector* speed_per_pstate, int core) -{ - return new CpuCas01(this, host, speed_per_pstate, core); + return (new CpuCas01(host, speed_per_pstate))->set_model(this); } /************ * Resource * ************/ -CpuCas01::CpuCas01(CpuCas01Model* model, simgrid::s4u::Host* host, std::vector* speedPerPstate, int core) - : Cpu(model, host, model->get_maxmin_system()->constraint_new(this, core * speedPerPstate->front()), speedPerPstate, - core) -{ -} - -CpuCas01::~CpuCas01() = default; - -bool CpuCas01::is_used() -{ - return get_model()->get_maxmin_system()->constraint_used(get_constraint()); -} - /** @brief take into account changes of speed (either load or max) */ void CpuCas01::on_speed_change() { - kernel::lmm::Variable* var = nullptr; - const kernel::lmm::Element* elem = nullptr; + const lmm::Element* elem = nullptr; get_model()->get_maxmin_system()->update_constraint_bound(get_constraint(), get_core_count() * speed_.scale * speed_.peak); - while ((var = get_constraint()->get_variable(&elem))) { - CpuCas01Action* action = static_cast(var->get_id()); - get_model()->get_maxmin_system()->update_variable_bound(action->get_variable(), - action->requested_core() * speed_.scale * speed_.peak); + while (const auto* var = get_constraint()->get_variable(&elem)) { + const auto* action = static_cast(var->get_id()); + double bound = action->requested_core() * speed_.scale * speed_.peak; + if (action->get_user_bound() > 0) { + bound = std::min(bound, action->get_user_bound()); + } + + get_model()->get_maxmin_system()->update_variable_bound(action->get_variable(), bound); } - Cpu::on_speed_change(); + CpuImpl::on_speed_change(); } -void CpuCas01::apply_event(tmgr_trace_event_t event, double value) +void CpuCas01::apply_event(profile::Event* event, double value) { if (event == speed_.event) { - /* TODO (Hypervisor): do the same thing for constraint_core[i] */ - xbt_assert(get_core_count() == 1, "FIXME: add speed scaling code also for constraint_core[i]"); - speed_.scale = value; on_speed_change(); tmgr_trace_event_unref(&speed_.event); - } else if (event == state_event_) { - /* TODO (Hypervisor): do the same thing for constraint_core[i] */ - xbt_assert(get_core_count() == 1, "FIXME: add state change code also for constraint_core[i]"); - + } else if (event == get_state_event()) { if (value > 0) { - if (is_off()) - host_that_restart.push_back(get_host()); - turn_on(); + if (not is_on()) { + XBT_VERB("Restart actors on host %s", get_iface()->get_cname()); + get_iface()->turn_on(); + } } else { - kernel::lmm::Constraint* cnst = get_constraint(); - kernel::lmm::Variable* var = nullptr; - const kernel::lmm::Element* elem = nullptr; - double date = surf_get_clock(); + const lmm::Element* elem = nullptr; + double date = EngineImpl::get_clock(); - turn_off(); + get_iface()->turn_off(); - while ((var = cnst->get_variable(&elem))) { - kernel::resource::Action* action = static_cast(var->get_id()); + while (const auto* var = get_constraint()->get_variable(&elem)) { + Action* action = var->get_id(); - if (action->get_state() == kernel::resource::Action::State::INITED || - action->get_state() == kernel::resource::Action::State::STARTED || - action->get_state() == kernel::resource::Action::State::IGNORED) { + if (action->get_state() == Action::State::INITED || action->get_state() == Action::State::STARTED || + action->get_state() == Action::State::IGNORED) { action->set_finish_time(date); - action->set_state(kernel::resource::Action::State::FAILED); + action->set_state(Action::State::FAILED); } } } - tmgr_trace_event_unref(&state_event_); + unref_state_event(); } else { xbt_die("Unknown event!\n"); @@ -160,32 +139,42 @@ void CpuCas01::apply_event(tmgr_trace_event_t event, double value) } /** @brief Start a new execution on this CPU lasting @param size flops and using one core */ -CpuAction* CpuCas01::execution_start(double size) +CpuAction* CpuCas01::execution_start(double size, double user_bound) { - return new CpuCas01Action(get_model(), size, is_off(), speed_.scale * speed_.peak, get_constraint()); + return execution_start(size, 1, user_bound); } -CpuAction* CpuCas01::execution_start(double size, int requested_cores) +CpuAction* CpuCas01::execution_start(double size, int requested_cores, double user_bound) { - return new CpuCas01Action(get_model(), size, is_off(), speed_.scale * speed_.peak, get_constraint(), requested_cores); + auto* action = + new CpuCas01Action(get_model(), size, not is_on(), speed_.scale * speed_.peak, get_constraint(), requested_cores); + action->set_user_bound(user_bound); + if (user_bound > 0 && user_bound < action->get_bound()) { + get_model()->get_maxmin_system()->update_variable_bound(action->get_variable(), user_bound); + } + if (factor_cb_) { + action->set_rate_factor(factor_cb_(size)); + } + + return action; } -CpuAction *CpuCas01::sleep(double duration) +CpuAction* CpuCas01::sleep(double duration) { if (duration > 0) duration = std::max(duration, sg_surf_precision); - XBT_IN("(%s,%g)", get_cname(), duration); - CpuCas01Action* action = new CpuCas01Action(get_model(), 1.0, is_off(), speed_.scale * speed_.peak, get_constraint()); + XBT_IN("(%s, %g)", get_cname(), duration); + auto* action = new CpuCas01Action(get_model(), 1.0, not is_on(), speed_.scale * speed_.peak, get_constraint(), 1); // FIXME: sleep variables should not consume 1.0 in System::expand() action->set_max_duration(duration); - action->suspended_ = kernel::resource::Action::SuspendStates::sleeping; - if (duration < 0) // NO_MAX_DURATION - action->set_state(simgrid::kernel::resource::Action::State::IGNORED); + action->set_suspend_state(Action::SuspendStates::SLEEPING); + if (duration == NO_MAX_DURATION) + action->set_state(Action::State::IGNORED); - get_model()->get_maxmin_system()->update_variable_weight(action->get_variable(), 0.0); - if (get_model()->get_update_algorithm() == kernel::resource::Model::UpdateAlgo::LAZY) { // remove action from the heap + get_model()->get_maxmin_system()->update_variable_penalty(action->get_variable(), 0.0); + if (get_model()->is_update_lazy()) { // remove action from the heap get_model()->get_action_heap().remove(action); // this is necessary for a variable with weight 0 since such variables are ignored in lmm and we need to set its // max_duration correctly at the next call to share_resources @@ -196,32 +185,26 @@ CpuAction *CpuCas01::sleep(double duration) return action; } +void CpuCas01::set_factor_cb(const std::function& cb) +{ + xbt_assert(not is_sealed(), "Cannot set CPU factor callback in an already sealed CPU(%s)", get_cname()); + factor_cb_ = cb; +} + /********** * Action * **********/ -CpuCas01Action::CpuCas01Action(kernel::resource::Model* model, double cost, bool failed, double speed, - kernel::lmm::Constraint* constraint, int requested_core) +CpuCas01Action::CpuCas01Action(Model* model, double cost, bool failed, double speed, lmm::Constraint* constraint, + int requested_core) : CpuAction(model, cost, failed, model->get_maxmin_system()->variable_new(this, 1.0 / requested_core, requested_core * speed, 1)) , requested_core_(requested_core) { - if (model->get_update_algorithm() == kernel::resource::Model::UpdateAlgo::LAZY) + if (model->is_update_lazy()) set_last_update(); model->get_maxmin_system()->expand(constraint, get_variable(), 1.0); } -CpuCas01Action::CpuCas01Action(kernel::resource::Model* model, double cost, bool failed, double speed, - kernel::lmm::Constraint* constraint) - : CpuCas01Action(model, cost, failed, speed, constraint, /* requested_core */ 1) -{ -} - -int CpuCas01Action::requested_core() -{ - return requested_core_; -} - -CpuCas01Action::~CpuCas01Action()=default; - -} -} +} // namespace resource +} // namespace kernel +} // namespace simgrid