X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/faedb72df7cffcf486677835fdd57d319a010bb1..5ed37babb2fa9097abe82df299c0aa259ed84d5a:/include/simgrid/kernel/resource/Model.hpp?ds=sidebyside diff --git a/include/simgrid/kernel/resource/Model.hpp b/include/simgrid/kernel/resource/Model.hpp index 1e1bebba44..c5c09e4050 100644 --- a/include/simgrid/kernel/resource/Model.hpp +++ b/include/simgrid/kernel/resource/Model.hpp @@ -1,4 +1,4 @@ -/* Copyright (c) 2004-2018. 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. */ @@ -6,7 +6,9 @@ #ifndef SIMGRID_KERNEL_RESOURCE_MODEL_HPP #define SIMGRID_KERNEL_RESOURCE_MODEL_HPP +#include #include +#include namespace simgrid { namespace kernel { @@ -20,51 +22,47 @@ class XBT_PUBLIC Model { public: /** @brief Possible update mechanisms */ enum class UpdateAlgo { - Full, /**< Full update mechanism: the remaining time of every action is recomputed at each step */ - Lazy, /**< Lazy update mechanism: only the modified actions get recomputed. - It may be slower than full if your system is tightly coupled to the point where every action - gets recomputed anyway. In that case, you'd better not try to be cleaver with lazy and go for - a simple full update. */ - UM_UNDEFINED /**< Mechanism not defined */ + FULL, /**< Full update mechanism: the remaining time of every action is recomputed at each step */ + LAZY /**< Lazy update mechanism: only the modified actions get recomputed. + It may be slower than full if your system is tightly coupled to the point where every action + gets recomputed anyway. In that case, you'd better not try to be cleaver with lazy and go for + a simple full update. */ }; + explicit Model(const std::string& name); + Model(const Model&) = delete; + Model& operator=(const Model&) = delete; - Model(); virtual ~Model(); - /** @brief Get the set of [actions](@ref Action) in *ready* state */ - Action::StateSet* get_ready_action_set() const { return ready_action_set_; } + bool is_update_lazy() const { return update_algorithm_ == UpdateAlgo::LAZY; } + Model* set_update_algorithm(UpdateAlgo algo); - /** @brief Get the set of [actions](@ref Action) in *running* state */ - Action::StateSet* get_running_action_set() const { return running_action_set_; } + /** @brief Get the set of [actions](@ref Action) in *inited* state */ + Action::StateSet* get_inited_action_set() { return &inited_action_set_; } + + /** @brief Get the set of [actions](@ref Action) in *started* state */ + Action::StateSet* get_started_action_set() { return &started_action_set_; } /** @brief Get the set of [actions](@ref Action) in *failed* state */ - Action::StateSet* get_failed_action_set() const { return failed_action_set_; } + Action::StateSet* get_failed_action_set() { return &failed_action_set_; } + + /** @brief Get the set of [actions](@ref Action) in *finished* state */ + Action::StateSet* get_finished_action_set() { return &finished_action_set_; } - /** @brief Get the set of [actions](@ref Action) in *done* state */ - Action::StateSet* get_done_action_set() const { return done_action_set_; } + /** @brief Get the set of [actions](@ref Action) in *ignored* state */ + Action::StateSet* get_ignored_action_set() { return &ignored_action_set_; } /** @brief Get the set of modified [actions](@ref Action) */ Action::ModifiedSet* get_modified_set() const; /** @brief Get the maxmin system of the current Model */ - lmm::System* get_maxmin_system() const { return maxmin_system_; } + lmm::System* get_maxmin_system() const { return maxmin_system_.get(); } /** @brief Set the maxmin system of the current Model */ - void set_maxmin_system(lmm::System* system) { maxmin_system_ = system; } - - /** - * @brief Get the update mechanism of the current Model - * @see e_UM_t - */ - UpdateAlgo getUpdateMechanism() const { return update_mechanism_; } - void setUpdateMechanism(UpdateAlgo mechanism) { update_mechanism_ = mechanism; } + void set_maxmin_system(lmm::System* system); /** @brief Get Action heap */ - heap_type& getActionHeap() { return action_heap_; } - - double actionHeapTopDate() const { return action_heap_.top().first; } - Action* actionHeapPop(); - bool actionHeapIsEmpty() const { return action_heap_.empty(); } + ActionHeap& get_action_heap() { return action_heap_; } /** * @brief Share the resources between the actions @@ -72,9 +70,16 @@ public: * @param now The current time of the simulation * @return The delta of time till the next action will finish */ - virtual double next_occuring_event(double now); - virtual double next_occuring_event_lazy(double now); - virtual double next_occuring_event_full(double now); + virtual double next_occurring_event(double now); + virtual double next_occurring_event_lazy(double now); + virtual double next_occurring_event_full(double now); + +private: + Action* extract_action(Action::StateSet* list); + +public: + Action* extract_done_action(); + Action* extract_failed_action(); /** * @brief Update action to the current time @@ -86,24 +91,31 @@ public: virtual void update_actions_state_lazy(double now, double delta); virtual void update_actions_state_full(double now, double delta); - /** @brief Returns whether this model have an idempotent shareResource() + /** @brief Returns whether this model have an idempotent share_resource() * - * The only model that is not is NS3: computing the next timestamp moves the model up to that point, + * The only model that is not is ns-3: computing the next timestamp moves the model up to that point, * so we need to call it only when the next timestamp of other sources is computed. */ - virtual bool nextOccuringEventIsIdempotent() { return true; } + virtual bool next_occurring_event_is_idempotent() { return true; } + + /** @brief Gets the model name */ + std::string get_name() const { return name_; } private: - lmm::System* maxmin_system_ = nullptr; - UpdateAlgo update_mechanism_ = UpdateAlgo::UM_UNDEFINED; - Action::StateSet* ready_action_set_ = new Action::StateSet(); /**< Actions in state SURF_ACTION_READY */ - Action::StateSet* running_action_set_ = new Action::StateSet(); /**< Actions in state SURF_ACTION_RUNNING */ - Action::StateSet* failed_action_set_ = new Action::StateSet(); /**< Actions in state SURF_ACTION_FAILED */ - Action::StateSet* done_action_set_ = new Action::StateSet(); /**< Actions in state SURF_ACTION_DONE */ - heap_type action_heap_; + UpdateAlgo update_algorithm_ = UpdateAlgo::FULL; + std::unique_ptr maxmin_system_; + Action::StateSet inited_action_set_; /**< Created not started */ + Action::StateSet started_action_set_; /**< Started not done */ + Action::StateSet failed_action_set_; /**< Done with failure */ + Action::StateSet finished_action_set_; /**< Done successful */ + Action::StateSet ignored_action_set_; /**< not considered (failure detectors?) */ + const std::string name_; /**< Model name */ + + ActionHeap action_heap_; }; } // namespace resource } // namespace kernel } // namespace simgrid + #endif