-void SIMIX_synchro_destroy(smx_synchro_t synchro)
-{
- XBT_IN("(%p)",synchro);
- XBT_DEBUG("Destroying synchro %p", synchro);
- xbt_assert(synchro->type == SIMIX_SYNC_SYNCHRO);
- surf_action_unref(synchro->synchro.sleep);
- xbt_free(synchro->name);
- xbt_mallocator_release(simix_global->synchro_mallocator, synchro);
- XBT_OUT();
-}
-
-void SIMIX_post_synchro(smx_synchro_t synchro)
-{
- XBT_IN("(%p)",synchro);
- xbt_assert(synchro->type == SIMIX_SYNC_SYNCHRO);
- if (surf_action_get_state(synchro->synchro.sleep) == SURF_ACTION_FAILED)
- synchro->state = SIMIX_FAILED;
- else if(surf_action_get_state(synchro->synchro.sleep) == SURF_ACTION_DONE)
- synchro->state = SIMIX_SRC_TIMEOUT;
-
- SIMIX_synchro_finish(synchro);
- XBT_OUT();
-}
-
-static void SIMIX_synchro_finish(smx_synchro_t synchro)