#include "src/kernel/actor/SimcallObserver.hpp"
#include "src/mc/mc_config.hpp"
#include "src/mc/mc_replay.hpp"
-#include "src/simix/smx_private.hpp"
#include "xbt/random.hpp"
static simgrid::xbt::random::XbtRandom prng;
return prng.uniform_int(min, max);
}
- simgrid::kernel::actor::RandomSimcall observer{SIMIX_process_self(), min, max};
+ simgrid::kernel::actor::RandomSimcall observer{simgrid::kernel::actor::ActorImpl::self(), min, max};
return simgrid::kernel::actor::simcall([&observer] { return observer.get_value(); }, &observer);
}
}
}
#if SIMGRID_HAVE_MC
- xbt_dynar_reset(simix_global->actors_vector);
- for (std::pair<const aid_t, smx_actor_t> const& kv : simix_global->process_list) {
+ engine->reset_actor_dynar();
+ for (auto const& kv : engine->get_actor_list()) {
auto actor = kv.second;
if (actor->simcall_.observer_ != nullptr)
actor->simcall_.mc_max_consider_ = actor->simcall_.observer_->get_max_consider();
- xbt_dynar_push_as(simix_global->actors_vector, smx_actor_t, actor);
+ engine->add_actor_to_dynar(actor);
}
#endif
}