+ smx_req_t req = SIMIX_req_mine();
+
+ req->call = REQ_SEM_GET_CAPACITY;
+ req->sem_get_capacity.sem = sem;
+
+ SIMIX_request_push();
+ return req->sem_get_capacity.result;
+}
+/* ************************************************************************** */
+
+/** @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";
+
+#ifdef HAVE_TRACING
+ case REQ_SET_CATEGORY: return "REQ_SET_CATEGORY";
+#endif