}
}
+/**
+ * \brief Executes the processes from simix_global->process_to_run.
+ *
+ * The processes of simix_global->process_to_run are run (in parallel if
+ * possible). On exit, simix_global->process_to_run is empty, and
+ * simix_global->process_that_ran contains the list of processes that just ran.
+ * The two lists are swapped so, be careful when using them before and after a
+ * call to this function.
+ */
+void SIMIX_process_runall(void)
+{
+ SIMIX_context_runall(simix_global->process_to_run);
+ xbt_dynar_t tmp = simix_global->process_that_ran;
+ simix_global->process_that_ran = simix_global->process_to_run;
+ simix_global->process_to_run = tmp;
+ xbt_dynar_reset(simix_global->process_to_run);
+}
+
/**
* \brief Internal function to kill a SIMIX process.
*
process->blocked = 0;
process->suspended = 0;
/* FIXME: set doexception to 0 also? */
+ /* FIXME: asynchronous communication actions are not destroyed:
+ * another process may find a matching rdv with me after I'm freed */
if (process->waiting_action) {
XBT_DEBUG("Destroy action %p", action);
if (action->sleep.surf_sleep)
action->sleep.surf_sleep->model_type->action_unref(action->sleep.surf_sleep);
-#ifdef HAVE_TRACING
- TRACE_smx_action_destroy(action);
-#endif
xbt_mallocator_release(simix_global->action_mallocator, action);
}