#include <sys/time.h>
#endif
-#include "src/simix/smx_process_private.h"
+#include "src/simix/ActorImpl.hpp"
#if HAVE_MC
#include <libunwind.h>
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_global, mc, "Logging specific to MC (global)");
-e_mc_mode_t mc_mode;
-
namespace simgrid {
namespace mc {
FILE *dot_output = nullptr;
-/******************************* Initialisation of MC *******************************/
+/******************************* Initialization of MC *******************************/
/*********************************************************************************/
void MC_init_dot_output()
void MC_run()
{
- simgrid::mc::processes_time.resize(simix_process_maxpid);
+ 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]));
- smx_process_t process;
+ smx_actor_t process;
xbt_swag_foreach(process, simix_global->process_list)
MC_ignore_heap(&(process->process_hookup), sizeof(process->process_hookup));
simgrid::mc::Client::get()->mainLoop();
int status;
- // Demangle C++ names:
+ // Unmangle C++ names:
char* realname = abi::__cxa_demangle(name, 0, 0, &status);
#if defined(__x86_64__)
simgrid::mc::UnwindContext context;
unw_context_t raw_context =
- mc_model_checker->process().read<unw_context_t>(
+ (unw_context_t) mc_model_checker->process().read<unw_context_t>(
simgrid::mc::remote((unw_context_t *)stack.context));
context.initialize(&mc_model_checker->process(), &raw_context);
}
#endif
-double MC_process_clock_get(smx_process_t process)
+double MC_process_clock_get(smx_actor_t process)
{
if (simgrid::mc::processes_time.empty())
return 0;
return -1;
}
-void MC_process_clock_add(smx_process_t process, double amount)
+void MC_process_clock_add(smx_actor_t process, double amount)
{
simgrid::mc::processes_time[process->pid] += amount;
}