- 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";