Browse Source

mpi/src/mpi/starpu_mpi_mpi.c: clean list ready_send_request

Nathalie Furmento 4 years ago
parent
commit
f18cf3d64c
1 changed files with 1 additions and 0 deletions
  1. 1 0
      mpi/src/mpi/starpu_mpi_mpi.c

+ 1 - 0
mpi/src/mpi/starpu_mpi_mpi.c

@@ -1546,6 +1546,7 @@ static void *_starpu_mpi_progress_thread_func(void *arg)
 	_starpu_mpi_early_request_check_termination();
 	_starpu_mpi_early_data_check_termination();
 	_starpu_mpi_sync_data_check_termination();
+	_starpu_mpi_req_prio_list_deinit(&ready_send_requests);
 
 	if (argc_argv->initialize_mpi)
 	{