src/mc/api/strategy/BasicStrategy.hpp

   1 /* Copyright (c) 2007-2023. The SimGrid Team. All rights reserved.          */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #ifndef SIMGRID_MC_BASICSTRATEGY_HPP
   7 #define SIMGRID_MC_BASICSTRATEGY_HPP
   8
   9 #include "Strategy.hpp"
  10
  11 namespace simgrid::mc {
  12
  13 /** Basic MC guiding class which corresponds to no guide at all (random choice) */
  14 class BasicStrategy : public Strategy {
  15 public:
  16   BasicStrategy()                     = default;
  17   ~BasicStrategy() override           = default;
  18   BasicStrategy(const BasicStrategy&) = delete;
  19   BasicStrategy& operator=(const BasicStrategy&)
  20   { /* nothing to copy over while cloning */
  21     return *this;
  22   }
  23
  24   std::pair<aid_t, int> next_transition() const override
  25   {
  26     for (auto const& [aid, actor] : actors_to_run_) {
  27       /* Only consider actors (1) marked as interleaving by the checker and (2) currently enabled in the application */
  28       if (not actor.is_todo() || not actor.is_enabled() || actor.is_done()) {
  29         continue;
  30       }
  31
  32       return std::make_pair(aid, 1);
  33     }
  34     return std::make_pair(-1, 0);
  35   }
  36   void execute_next(aid_t aid, RemoteApp& app) override { return; }
  37
  38   void consider_best() override
  39   {
  40     for (auto& [_, actor] : actors_to_run_) {
  41       if (actor.is_todo())
  42         return;
  43       if (actor.is_enabled() and not actor.is_done()) {
  44         actor.mark_todo();
  45         return;
  46       }
  47     }
  48   }
  49 };
  50
  51 } // namespace simgrid::mc
  52
  53 #endif