-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;
-}
+ /* set surf's synchro */
+ if (MC_is_active() || MC_record_replay_is_active()) {
+ synchro->state_ = SIMIX_DONE;
+ SIMIX_io_finish(synchro);
+ return;
+ }