-smx_activity_t SIMIX_storage_read(surf_storage_t st, sg_size_t size)
-{
- // simgrid::kernel::activity::IoImpl* synchro = new simgrid::kernel::activity::IoImpl();
- // synchro->surf_action_ = st->read(size);
- //
- // synchro->surf_action_->set_data(synchro);
- // XBT_DEBUG("Create io synchro %p", synchro);
- //
- // return synchro;
- return nullptr;
-}
-
-void simcall_HANDLER_storage_write(smx_simcall_t simcall, surf_storage_t st, sg_size_t size)
-{
- smx_activity_t synchro = SIMIX_storage_write(st, size);
- synchro->simcalls_.push_back(simcall);
- simcall->issuer->waiting_synchro = synchro;
-}
-
-smx_activity_t SIMIX_storage_write(surf_storage_t st, sg_size_t size)
-{
- // simgrid::kernel::activity::IoImpl* synchro = new simgrid::kernel::activity::IoImpl();
- // synchro->surf_action_ = st->write(size);
- // synchro->surf_action_->set_data(synchro);
- // XBT_DEBUG("Create io synchro %p", synchro);
- //
- // return synchro;
- return nullptr;
-}
+ /* set surf's synchro */
+ if (MC_is_active() || MC_record_replay_is_active()) {
+ synchro->state_ = SIMIX_DONE;
+ SIMIX_io_finish(synchro);
+ return;
+ }