X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7c480b01951b33f03d72ede0a47a45a88bd40b61..6d18c4fcb23666f8ccdb91df9c9b6ab32e7df65f:/include/simgrid/kernel/resource/Model.hpp diff --git a/include/simgrid/kernel/resource/Model.hpp b/include/simgrid/kernel/resource/Model.hpp index dc228ad614..91da47c174 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-2019. 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,21 +6,9 @@ #ifndef SIMGRID_KERNEL_RESOURCE_MODEL_HPP #define SIMGRID_KERNEL_RESOURCE_MODEL_HPP +#include #include -extern "C" { - -/** @brief Possible update mechanisms */ -enum e_UM_t { - UM_FULL, /**< Full update mechanism: the remaining time of every action is recomputed at each step */ - UM_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 */ -}; -} - namespace simgrid { namespace kernel { namespace resource { @@ -31,40 +19,50 @@ namespace resource { */ class XBT_PUBLIC Model { public: - Model(); - virtual ~Model(); + /** @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. */ + }; + + explicit Model(Model::UpdateAlgo algo); + Model(const Model&) = delete; + Model& operator=(const Model&) = delete; + + virtual ~Model() = default; - /** @brief Get the set of [actions](@ref Action) in *ready* state */ - Action::StateSet* get_ready_action_set() const { return ready_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 *running* state */ - Action::StateSet* get_running_action_set() const { return running_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 *done* state */ - Action::StateSet* get_done_action_set() const { return done_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 *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 Get the update mechanism of the current Model - * @see e_UM_t - */ - e_UM_t getUpdateMechanism() const { return update_mechanism_; } - void setUpdateMechanism(e_UM_t mechanism) { update_mechanism_ = mechanism; } + /** @brief Set the maxmin system of the current Model */ + void set_maxmin_system(lmm::System* system); - /** @brief Get Action heap */ - heap_type& getActionHeap() { return action_heap_; } + /** @brief Get the update algorithm of the current Model */ + UpdateAlgo get_update_algorithm() const { return update_algorithm_; } - double actionHeapTopDate() const { return action_heap_.top().first; } - Action* actionHeapPop(); - bool actionHeapIsEmpty() const { return action_heap_.empty(); } + /** @brief Get Action heap */ + ActionHeap& get_action_heap() { return action_heap_; } /** * @brief Share the resources between the actions @@ -76,6 +74,13 @@ public: virtual double next_occuring_event_lazy(double now); virtual double next_occuring_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,26 +91,32 @@ 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, * so we need to call it only when the next timestamp of other sources is computed. */ - virtual bool nextOccuringEventIsIdempotent() { return true; } - -protected: - lmm::System* maxmin_system_ = nullptr; + virtual bool next_occuring_event_is_idempotent() { return true; } private: - e_UM_t update_mechanism_ = 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_; + std::unique_ptr maxmin_system_; + const UpdateAlgo update_algorithm_; + 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?) */ + + ActionHeap action_heap_; }; } // namespace resource } // namespace kernel } // namespace simgrid + +/** @ingroup SURF_models + * @brief List of initialized models + */ +XBT_PUBLIC_DATA std::vector all_existing_models; + #endif