#include "smx_private.h"
#include "xbt/fifo.h"
#include "xbt/xbt_os_thread.h"
+#include "../mc/mc_private.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_smurf, simix,
"Logging specific to SIMIX (SMURF)");
SIMIX_simcall_answer(simcall);
break;
+ case SIMCALL_COMM_IPROBE:
+ simcall->comm_iprobe.result = SIMIX_comm_iprobe(
+ simcall->issuer,
+ simcall->comm_iprobe.rdv,
+ simcall->comm_iprobe.src,
+ simcall->comm_iprobe.tag,
+ simcall->comm_iprobe.match_fun,
+ simcall->comm_iprobe.data);
+ SIMIX_simcall_answer(simcall);
+ break;
+
case SIMCALL_COMM_DESTROY:
SIMIX_comm_destroy(simcall->comm_destroy.comm);
SIMIX_simcall_answer(simcall);
SIMIX_pre_file_unlink(simcall);
break;
+ case SIMCALL_FILE_LS:
+ SIMIX_pre_file_ls(simcall);
+ break;
+
+ case SIMCALL_ASR_GET_PROPERTIES:
+ simcall->asr_get_properties.result =
+ SIMIX_asr_get_properties(simcall->asr_get_properties.name);
+ SIMIX_simcall_answer(simcall);
+ break;
+
+#ifdef HAVE_MC
+ case SIMCALL_MC_SNAPSHOT:
+ simcall->mc_snapshot.s = MC_take_snapshot_liveness();
+ SIMIX_simcall_answer(simcall);
+ break;
+
+ case SIMCALL_MC_COMPARE_SNAPSHOTS:
+ simcall->mc_compare_snapshots.result =
+ snapshot_compare(simcall->mc_compare_snapshots.snapshot1, simcall->mc_compare_snapshots.snapshot2);
+ SIMIX_simcall_answer(simcall);
+ break;
+#endif /* HAVE_MC */
+
case SIMCALL_NONE:
THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s",
SIMIX_process_get_name(simcall->issuer),
SIMIX_host_get_name(SIMIX_process_get_host(simcall->issuer))
);
break;
+
+ /* ****************************************************************************************** */
+ /* TUTORIAL: New API */
+ /* ****************************************************************************************** */
+ case SIMCALL_NEW_API_INIT:
+ SIMIX_pre_new_api_fct(simcall);
+ break;
}
}
case SIMIX_ACTION_IO:
SIMIX_post_io(action);
break;
+
+ /* ****************************************************************************************** */
+ /* TUTORIAL: New API */
+ /* ****************************************************************************************** */
+ case SIMIX_ACTION_NEW_API:
+ SIMIX_post_new_api(action);
+ break;
}
}