} else {
raw_maestro_context = context;
- if(MC_IS_ENABLED)
- MC_ignore(&(raw_maestro_context->stack_top), sizeof(raw_maestro_context->stack_top));
+ if(MC_is_active())
+ MC_ignore_heap(&(raw_maestro_context->stack_top), sizeof(raw_maestro_context->stack_top));
}
*/
static void smx_ctx_raw_runall_serial(void)
{
- if (!xbt_dynar_is_empty(simix_global->process_to_run)) {
- smx_process_t first_process =
- xbt_dynar_get_as(simix_global->process_to_run, 0, smx_process_t);
- raw_process_index = 1;
+ smx_process_t first_process =
+ xbt_dynar_get_as(simix_global->process_to_run, 0, smx_process_t);
+ raw_process_index = 1;
- /* execute the first process */
- smx_ctx_raw_resume_serial(first_process);
- }
+ /* execute the first process */
+ smx_ctx_raw_resume_serial(first_process);
}
#endif
raw_threads_working = 0;
xbt_parmap_apply(raw_parmap, (void_f_pvoid_t) smx_ctx_raw_resume_parallel,
simix_global->process_to_run);
+#else
+ xbt_die("You asked for a parallel execution, but you don't have any threads.")
#endif
}