* @brief Represents a simcall to the kernel.
*/
struct s_smx_simcall {
- simgrid::simix::Simcall call_ = simgrid::simix::Simcall::NONE;
- smx_actor_t issuer_ = nullptr;
- smx_timer_t timeout_cb_ = nullptr; // Callback to timeouts
- simgrid::mc::SimcallInspector* inspector_ = nullptr; // makes that simcall observable by the MC
- int mc_value_ = 0;
- std::array<u_smx_scalar, 11> args_ = {};
- u_smx_scalar result_ = {};
+ simgrid::simix::Simcall call_ = simgrid::simix::Simcall::NONE;
+ smx_actor_t issuer_ = nullptr;
+ smx_timer_t timeout_cb_ = nullptr; // Callback to timeouts
+ simgrid::mc::SimcallObserver* observer_ = nullptr; // makes that simcall observable by the MC
+ unsigned int mc_max_consider_ = 0; // How many times this simcall should be used. If >1, this will be a fork.
+ int mc_value_ = 0;
+ std::array<u_smx_scalar, 11> args_ = {};
+ u_smx_scalar result_ = {};
};
-#define SIMCALL_SET_MC_VALUE(simcall, value) ((simcall).mc_value_ = (value))
-#define SIMCALL_GET_MC_VALUE(simcall) ((simcall).mc_value_)
-
/******************************** General *************************************/
XBT_PRIVATE const char* SIMIX_simcall_name(simgrid::simix::Simcall kind);