Gilles Gouaillardet
0fe756d416
mpi: retain operation and datatype in non blocking collectives
...
MPI standard states a user MPI_Op and/or user MPI_Datatype can be free'd
after a call to a non blocking collective and before the non-blocking
collective completes.
Retain user (only) MPI_Op and MPI_Datatype when the non blocking call is
invoked, and set a request callback so they are free'd when the MPI_Request
completes.
Thanks Thomas Ponweiser for reporting this
Fixes open-mpi/ompi#2151
Fixes open-mpi/ompi#1304
Signed-off-by: Gilles Gouaillardet <gilles@rist.or.jp>
2019-07-12 09:15:45 +09:00
..
2018-12-06 15:40:02 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2018-12-06 15:39:54 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2018-12-06 15:40:02 +09:00
2018-07-14 14:14:37 +09:00
2018-12-06 15:39:54 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-11-26 17:27:43 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2018-06-11 17:22:16 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00
2019-07-12 09:15:45 +09:00