simgrid::mc::processes_time.resize(SIMIX_process_get_maxpid());
MC_ignore_heap(simgrid::mc::processes_time.data(),
simgrid::mc::processes_time.size() * sizeof(simgrid::mc::processes_time[0]));
- for (auto const& kv : simix_global->process_list) {
- smx_actor_t actor = kv.second;
- MC_ignore_heap(&(actor->process_hookup), sizeof(actor->process_hookup));
- }
simgrid::mc::Client::get()->mainLoop();
simgrid::mc::processes_time.clear();
}
~ActorImpl();
// TODO, replace with boost intrusive container hooks
- s_xbt_swag_hookup_t process_hookup = { nullptr, nullptr }; /* simix_global->process_list */
s_xbt_swag_hookup_t synchro_hookup = { nullptr, nullptr }; /* {mutex,cond,sem}->sleeping */
s_xbt_swag_hookup_t host_proc_hookup = { nullptr, nullptr }; /* smx_host->process_lis */
s_xbt_swag_hookup_t destroy_hookup = { nullptr, nullptr }; /* simix_global->process_to_destroy */
/** @brief Get the state set in which the action is */
ActionList* getStateSet() const { return stateSet_; };
- s_xbt_swag_hookup_t stateHookup_ = {nullptr,nullptr};
-
simgrid::surf::Model* getModel() const { return model_; }
protected: