- XBT_DEBUG("Destroying synchro %p", synchro);
- simgrid::simix::Raw *raw = static_cast<simgrid::simix::Raw*>(synchro);
-
- raw->sleep->unref();
- delete raw;
-}
-
-void SIMIX_post_synchro(smx_synchro_t synchro)
-{
- XBT_IN("(%p)",synchro);
- simgrid::simix::Raw *raw = static_cast<simgrid::simix::Raw*>(synchro);
- if (raw->sleep->getState() == simgrid::surf::Action::State::failed)
- raw->state = SIMIX_FAILED;
- else if(raw->sleep->getState() == simgrid::surf::Action::State::done)
- raw->state = SIMIX_SRC_TIMEOUT;
-
- SIMIX_synchro_finish(raw);
- XBT_OUT();
-}
-
-static void SIMIX_synchro_finish(smx_synchro_t synchro)
-{
- XBT_IN("(%p)",synchro);
- smx_simcall_t simcall = (smx_simcall_t) xbt_fifo_shift(synchro->simcalls);
+ XBT_IN("(%p)", synchro.get());
+ smx_simcall_t simcall = synchro->simcalls.front();
+ synchro->simcalls.pop_front();