- xbt_free(synchro->name);
- xbt_mallocator_release(simix_global->synchro_mallocator, synchro);
-}
-
-void SIMIX_execution_cancel(smx_synchro_t synchro)
-{
- XBT_DEBUG("Cancel synchro %p", synchro);
-
- if (synchro->execution.surf_exec)
- synchro->execution.surf_exec->cancel();
-}
-
-double SIMIX_execution_get_remains(smx_synchro_t synchro)
-{
- double result = 0.0;
-
- if (synchro->state == SIMIX_RUNNING)
- result = synchro->execution.surf_exec->getRemains();
-
- return result;
-}
-
-e_smx_state_t SIMIX_execution_get_state(smx_synchro_t synchro)
-{
- return synchro->state;
-}
-
-void SIMIX_execution_set_priority(smx_synchro_t synchro, double priority)
-{
- if(synchro->execution.surf_exec)
- synchro->execution.surf_exec->setPriority(priority);
-}
-
-void SIMIX_execution_set_bound(smx_synchro_t synchro, double bound)
-{
- if(synchro->execution.surf_exec)
- static_cast<simgrid::surf::CpuAction*>(synchro->execution.surf_exec)->setBound(bound);
-}
-
-void SIMIX_execution_set_affinity(smx_synchro_t synchro, sg_host_t host, unsigned long mask)
-{
- xbt_assert(synchro->type == SIMIX_SYNC_EXECUTE);