XBT_DEBUG("%s: ends", __func__);
}
-static void buffer_debug(std::vector<simgrid::instr::PajeEvent*>* buf)
-{
- if (not XBT_LOG_ISENABLED(instr_paje_trace, xbt_log_priority_debug))
- return;
- XBT_DEBUG(">>>>>> Dump the state of the buffer. %zu events", buf->size());
- for (auto const& event : *buf) {
- event->print();
- XBT_DEBUG("%p %s", event, event->stream_.str().c_str());
- event->stream_.str("");
- event->stream_.clear();
- }
- XBT_DEBUG("<<<<<<");
-}
-
/* internal do the instrumentation module */
void simgrid::instr::PajeEvent::insert_into_buffer()
{
}
}
-
-static void MC_dump_stacks(FILE* file)
-{
- int nstack = 0;
- for (auto const& stack : mc_model_checker->process().stack_areas()) {
- fprintf(file, "Stack %i:\n", nstack);
- nstack++;
-
- simgrid::mc::UnwindContext context;
- unw_context_t raw_context =
- (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);
-
- unw_cursor_t cursor = context.cursor();
- simgrid::mc::dumpStack(file, std::move(cursor));
- }
-}
#endif
double MC_process_clock_get(smx_actor_t process)