def MPI_Request_free(context, args):
request_ptr = args[0]
request_id = context.controller.read_int(request_ptr)
request = check.check_persistent_request(context, request_id, False, 1)
context.state.remove_persistent_request(request)
context.controller.write_int(request_ptr, consts.MPI_REQUEST_NULL);
return False
def MPI_Startall(context, args):
count, requests_ptr = args
request_ids = context.controller.read_ints(requests_ptr, count)
requests = [ check.check_persistent_request(context, request_id, True, 2, i)
for i, request_id in enumerate(request_ids) ]
for request in requests:
context.state.activate_request(context, copy.copy(request), False)
return False
def MPI_Start(context, args):
request_id = context.controller.read_int(args[0])
request = check.check_persistent_request(context, request_id, True, 1)
context.state.activate_request(context, copy.copy(request), False)
return False
