#include <cstdio>
#include <cstdlib>
+#include <xbt/fifo.h>
#include <xbt/log.h>
#include <xbt/sysdep.h>
#include "src/mc/mc_base.h"
#ifdef HAVE_MC
+#include "src/mc/mc_request.h"
#include "src/mc/mc_private.h"
#include "src/mc/mc_state.h"
#include "src/mc/mc_smx.h"
void MC_record_replay(mc_record_item_t start, std::size_t len)
{
- MC_wait_for_requests();
+ simgrid::mc::wait_for_requests();
mc_record_item_t end = start + len;
// Choose the recorded simcall and execute it:
smx_simcall_t simcall = &(process->simcall);
if(!simcall || simcall->call == SIMCALL_NONE)
xbt_die("No simcall for this process.");
- if (!MC_request_is_visible(simcall) || !MC_request_is_enabled(simcall))
+ if (!simgrid::mc::request_is_visible(simcall)
+ || !simgrid::mc::request_is_enabled(simcall))
xbt_die("Unexpected simcall.");
// Execute the request:
SIMIX_simcall_handle(simcall, item->value);
- MC_wait_for_requests();
+ simgrid::mc::wait_for_requests();
}
}
void MC_record_replay_init()
{
- mc_time = xbt_new0(double, simix_process_maxpid);
+ simgrid::mc::processes_time.resize(simix_process_maxpid);
}
}