#include <boost/heap/pairing_heap.hpp>
#include <boost/optional.hpp>
-const int NO_MAX_DURATION = -1.0;
+static constexpr int NO_MAX_DURATION = -1.0;
namespace simgrid {
namespace kernel {
boost::heap::compare<simgrid::xbt::HeapComparator<heap_element_type>>>
heap_type;
-/** @details An action is a consumption on a resource (e.g.: a communication for the network) */
+typedef std::pair<double, simgrid::kernel::resource::Action*> heap_element_type;
+class XBT_PUBLIC ActionHeap : public heap_type {
+ friend Action;
+
+public:
+ enum class Type {
+ latency = 100, /* this is a heap entry to warn us when the latency is payed */
+ max_duration, /* this is a heap entry to warn us when the max_duration limit (timeout) is reached */
+ normal, /* this is a normal heap entry stating the date to finish transmitting */
+ unset
+ };
+
+ double top_date() const;
+ void insert(Action* action, double date, ActionHeap::Type type);
+ void update(Action* action, double date, ActionHeap::Type type);
+ void remove(Action* action);
+ Action* pop();
+ bool empty() const { return heap_type::empty(); }
+};
+
+/** @details An action is a consumption on a resource (e.g.: a communication for the network).
+ *
+ * It is related (but still different) from activities, that are the stuff on which an actor can be blocked.
+ * See simgrid::s4u::Activity for more details.
+ */
class XBT_PUBLIC Action {
+ friend ActionHeap;
+
public:
/* Lazy update needs this Set hook to maintain a list of the tracked actions */
boost::intrusive::list_member_hook<> modified_set_hook_;
StateSet;
enum class State {
- ready = 0, /**< Ready */
- running, /**< Running */
- failed, /**< Task Failure */
- done, /**< Completed */
- to_free, /**< Action to free in next cleanup */
- not_in_the_system /**< Not in the system anymore. Why did you ask ? */
+ inited, /**< Created, but not started yet */
+ running, /**< Started, currently running */
+ failed, /**< Completed (unsuccessfully: either the resource failed, or the action was canceled) */
+ done, /**< Completed (successfully) */
+ ignored /**< e.g. failure detectors, these infinite sleep actions that are put on resources which failure should be notified */
};
enum class SuspendStates {
sleeping
};
- enum class Type { LATENCY = 100, MAX_DURATION, NORMAL, NOTSET };
-
/**
* @brief Action constructor
*
double last_update_ = 0;
double last_value_ = 0;
kernel::lmm::Variable* variable_ = nullptr;
- Action::Type type_ = Action::Type::NOTSET;
- boost::optional<heap_type::handle_type> heap_hook_ = boost::none;
+
+ ActionHeap::Type type_ = ActionHeap::Type::unset;
+ boost::optional<ActionHeap::handle_type> heap_hook_ = boost::none;
public:
- void heapInsert(double key, Action::Type hat);
- void heapRemove();
- void heapUpdate(double key, Action::Type hat);
- void clearHeapHandle() { heap_hook_ = boost::none; }
+ ActionHeap::Type get_type() const { return type_; }
lmm::Variable* get_variable() const { return variable_; }
void set_variable(lmm::Variable* var) { variable_ = var; }
double get_last_value() const { return last_value_; }
void set_last_value(double val) { last_value_ = val; }
- Action::Type get_type() const { return type_; }
-
protected:
Action::SuspendStates suspended_ = Action::SuspendStates::not_suspended;
};
