-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);
- synchro->synchro.sleep->unref();
- 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 (synchro->synchro.sleep->getState() == SURF_ACTION_FAILED)
- synchro->state = SIMIX_FAILED;
- else if(synchro->synchro.sleep->getState() == SURF_ACTION_DONE)
- synchro->state = SIMIX_SRC_TIMEOUT;
-
- SIMIX_synchro_finish(synchro);
- XBT_OUT();
-}
-
-static void SIMIX_synchro_finish(smx_synchro_t synchro)