-/** @brief gets the result of previous syscall
- *
- * This function is only useful in state machine mechanism.
- *
- * In this case, the execution of every SIMIX_req_* function above was cut at
- * SIMIX_request_push(), which calls yield() which calls suspend(), which longjmp
- * to the point right before running the user code. When the control is passed
- * back to the user, he needs to get the result of the syscall he did.
- * That is why this function is made for.
- *
- * To extend this function, simply make sure that the end of the SIMIX_req_*
- * function matches what is written in this big switch
- */
-void *SIMIX_request_get_result(int kind) {
- smx_req_t req = SIMIX_req_mine();
- switch ((e_smx_req_t) kind) {
- case REQ_NO_REQ:
- xbt_die("There is no request waiting, cannot provide the result");
- case REQ_HOST_GET_BY_NAME:
- return req->host_get_by_name.result;
- case REQ_HOST_GET_NAME:
- return (void*)req->host_get_name.result;
- case REQ_HOST_GET_PROPERTIES:
- return req->host_get_properties.result;
- case REQ_HOST_GET_SPEED:
- return &req->host_get_speed.result; /* double */
- case REQ_HOST_GET_AVAILABLE_SPEED:
- return &req->host_get_available_speed.result; /* double */
- case REQ_HOST_GET_STATE:
- return &req->host_get_state.result; /* int */
- case REQ_HOST_GET_DATA:
- return req->host_get_data.result;
- case REQ_HOST_SET_DATA:
- return NULL; /* void */
- case REQ_HOST_EXECUTE:
- return req->host_execute.result;
- case REQ_HOST_PARALLEL_EXECUTE:
- return req->host_parallel_execute.result;
- case REQ_HOST_EXECUTION_DESTROY:
- return NULL; /* void */
- case REQ_HOST_EXECUTION_CANCEL:
- return NULL; /* void */
- case REQ_HOST_EXECUTION_GET_REMAINS:
- return &req->host_execution_get_remains.result; /* double */
- case REQ_HOST_EXECUTION_GET_STATE:
- return &req->host_execution_get_state.result; /* e_smx_state_t */
- case REQ_HOST_EXECUTION_SET_PRIORITY:
- return NULL; /* void */
- case REQ_HOST_EXECUTION_WAIT:
- return NULL; /* void */
- case REQ_PROCESS_CREATE:
- return req->process_create.result;
- case REQ_PROCESS_KILL:
- return NULL; /* void */
- case REQ_PROCESS_CHANGE_HOST:
- return NULL; /* void */
- case REQ_PROCESS_SUSPEND:
- return NULL; /* void */
- case REQ_PROCESS_RESUME:
- return NULL; /* void */
- case REQ_PROCESS_COUNT:
- return &req->process_count.result; /* int */
- case REQ_PROCESS_GET_DATA:
- return req->process_get_data.result;
- case REQ_PROCESS_SET_DATA:
- return NULL; /* void */
- case REQ_PROCESS_GET_HOST:
- return req->process_get_host.result;
- case REQ_PROCESS_GET_NAME:
- return (void*)req->process_get_name.result;
- case REQ_PROCESS_IS_SUSPENDED:
- return &req->process_is_suspended.result; /* int */
- case REQ_PROCESS_GET_PROPERTIES:
- return req->process_get_properties.result;
- case REQ_PROCESS_SLEEP:
- return &req->process_sleep.result; /* e_smx_state_t */
- case REQ_RDV_CREATE:
- return req->rdv_create.result;
- case REQ_RDV_DESTROY:
- return NULL; /* void */
- case REQ_RDV_GEY_BY_NAME:
- return req->rdv_get_by_name.result;
- case REQ_RDV_COMM_COUNT_BY_HOST:
- return &req->rdv_comm_count_by_host.result; /* int */
- case REQ_RDV_GET_HEAD:
- return req->rdv_get_head.result;
- case REQ_COMM_ISEND:
- return req->comm_isend.result;
- case REQ_COMM_IRECV:
- return req->comm_irecv.result;
- case REQ_COMM_DESTROY:
- case REQ_COMM_CANCEL:
- return NULL; /* void */
- case REQ_COMM_WAITANY:
- return &req->comm_waitany.result;
- case REQ_COMM_TESTANY:
- return &req->comm_testany.result;
- case REQ_COMM_WAIT:
- return NULL; /* void */