+ case REQ_COMM_TEST:
+ return &req->comm_test.result; /* int */
+ case REQ_COMM_GET_REMAINS:
+ return &req->comm_get_remains.result; /* double */
+ case REQ_COMM_GET_STATE:
+ return &req->comm_get_state.result; /* e_smx_state_t */
+ case REQ_COMM_GET_SRC_DATA:
+ return req->comm_get_src_data.result;
+ case REQ_COMM_GET_DST_DATA:
+ return req->comm_get_dst_data.result;
+ case REQ_COMM_GET_SRC_BUFF:
+ return req->comm_get_src_buff.result;
+ case REQ_COMM_GET_DST_BUFF:
+ return req->comm_get_dst_buff.result;
+ case REQ_COMM_GET_SRC_BUFF_SIZE:
+ return &req->comm_get_src_buff_size.result; /* size_t */
+ case REQ_COMM_GET_DST_BUFF_SIZE:
+ return &req->comm_get_dst_buff_size.result; /* size_t */
+ case REQ_COMM_GET_SRC_PROC:
+ return req->comm_get_src_proc.result;
+ case REQ_COMM_GET_DST_PROC:
+ return req->comm_get_dst_proc.result;
+
+ #ifdef HAVE_LATENCY_BOUND_TRACKING
+ case REQ_COMM_IS_LATENCY_BOUNDED:
+ return &req->comm_is_latency_bounded.result; /* int */
+ #endif
+
+ case REQ_MUTEX_INIT:
+ return req->mutex_init.result;
+ case REQ_MUTEX_DESTROY:
+ case REQ_MUTEX_LOCK:
+ case REQ_MUTEX_UNLOCK:
+ return NULL; /* void */
+
+ case REQ_MUTEX_TRYLOCK:
+ return &req->mutex_trylock.result; /* int */
+
+ case REQ_COND_INIT:
+ return req->cond_init.result;
+ case REQ_COND_DESTROY:
+ case REQ_COND_SIGNAL:
+ case REQ_COND_WAIT:
+ case REQ_COND_WAIT_TIMEOUT:
+ case REQ_COND_BROADCAST:
+ return NULL; /* void */
+
+ case REQ_SEM_INIT:
+ return req->sem_init.result;
+ case REQ_SEM_DESTROY:
+ case REQ_SEM_RELEASE:
+ case REQ_SEM_ACQUIRE:
+ case REQ_SEM_ACQUIRE_TIMEOUT:
+ return NULL; /* void */
+
+ case REQ_SEM_WOULD_BLOCK:
+ return &req->sem_would_block.result; /* int */
+ case REQ_SEM_GET_CAPACITY:
+ return &req->sem_get_capacity.result; /* int */
+ }
+ THROW_IMPOSSIBLE;
+}
+/** @brief returns the id of the lastly done syscall
+ * Mainly (only?) useful for statemachine contextes
+ */
+int SIMIX_request_last_id() {
+ return SIMIX_req_mine()->call;
+}
+/** @brief returns a printable string representing the request kind */
+const char *SIMIX_request_name(int kind) {
+ switch ((e_smx_req_t) kind) {
+ case REQ_NO_REQ: return "REQ_NO_REQ";
+ case REQ_HOST_GET_BY_NAME: return "REQ_HOST_GET_BY_NAME";
+ case REQ_HOST_GET_NAME: return "REQ_HOST_GET_NAME";
+ case REQ_HOST_GET_PROPERTIES: return "REQ_HOST_GET_PROPERTIES";
+ case REQ_HOST_GET_SPEED: return "REQ_HOST_GET_SPEED";
+ case REQ_HOST_GET_AVAILABLE_SPEED: return "REQ_HOST_GET_AVAILABLE_SPEED";
+ case REQ_HOST_GET_STATE: return "REQ_HOST_GET_STATE";
+ case REQ_HOST_GET_DATA: return "REQ_HOST_GET_DATA";
+ case REQ_HOST_SET_DATA: return "REQ_HOST_SET_DATA";
+ case REQ_HOST_EXECUTE: return "REQ_HOST_EXECUTE";
+ case REQ_HOST_PARALLEL_EXECUTE: return "REQ_HOST_PARALLEL_EXECUTE";
+ case REQ_HOST_EXECUTION_DESTROY: return "REQ_HOST_EXECUTION_DESTROY";
+ case REQ_HOST_EXECUTION_CANCEL: return "REQ_HOST_EXECUTION_CANCEL";
+ case REQ_HOST_EXECUTION_GET_REMAINS: return "REQ_HOST_EXECUTION_GET_REMAINS";
+ case REQ_HOST_EXECUTION_GET_STATE: return "REQ_HOST_EXECUTION_GET_STATE";
+ case REQ_HOST_EXECUTION_SET_PRIORITY: return "REQ_HOST_EXECUTION_SET_PRIORITY";
+ case REQ_HOST_EXECUTION_WAIT: return "REQ_HOST_EXECUTION_WAIT";
+ case REQ_PROCESS_CREATE: return "REQ_PROCESS_CREATE";
+ case REQ_PROCESS_KILL: return "REQ_PROCESS_KILL";
+ case REQ_PROCESS_CHANGE_HOST: return "REQ_PROCESS_CHANGE_HOST";
+ case REQ_PROCESS_SUSPEND: return "REQ_PROCESS_SUSPEND";
+ case REQ_PROCESS_RESUME: return "REQ_PROCESS_RESUME";
+ case REQ_PROCESS_COUNT: return "REQ_PROCESS_COUNT";
+ case REQ_PROCESS_GET_DATA: return "REQ_PROCESS_GET_DATA";
+ case REQ_PROCESS_SET_DATA: return "REQ_PROCESS_SET_DATA";
+ case REQ_PROCESS_GET_HOST: return "REQ_PROCESS_GET_HOST";
+ case REQ_PROCESS_GET_NAME: return "REQ_PROCESS_GET_NAME";
+ case REQ_PROCESS_IS_SUSPENDED: return "REQ_PROCESS_IS_SUSPENDED";
+ case REQ_PROCESS_GET_PROPERTIES: return "REQ_PROCESS_GET_PROPERTIES";
+ case REQ_PROCESS_SLEEP: return "REQ_PROCESS_SLEEP";
+ case REQ_RDV_CREATE: return "REQ_RDV_CREATE";
+ case REQ_RDV_DESTROY: return "REQ_RDV_DESTROY";
+ case REQ_RDV_GEY_BY_NAME: return "REQ_RDV_GEY_BY_NAME";
+ case REQ_RDV_COMM_COUNT_BY_HOST: return "REQ_RDV_COMM_COUNT_BY_HOST";
+ case REQ_RDV_GET_HEAD: return "REQ_RDV_GET_HEAD";
+ case REQ_COMM_ISEND: return "REQ_COMM_ISEND";
+ case REQ_COMM_IRECV: return "REQ_COMM_IRECV";
+ case REQ_COMM_DESTROY: return "REQ_COMM_DESTROY";
+ case REQ_COMM_CANCEL: return "REQ_COMM_CANCEL";
+ case REQ_COMM_WAITANY: return "REQ_COMM_WAITANY";
+ case REQ_COMM_TESTANY: return "REQ_COMM_TESTANY";
+ case REQ_COMM_WAIT: return "REQ_COMM_WAIT";