Я пытаюсь отменить асинхронную операцию, начатую с MPI_Irecv
.В потоке у меня есть цикл, который непрерывно прослушивает запросы с последовательными вызовами MPI_Irecv
и MPI_Wait
.Чтобы аккуратно выйти из цикла, я хотел бы отменить запрос, например, вызвать MPI_Cancel
из другого потока.
Из того, что я понимаю, MPI_Cancel
отмечает сообщение для отмены и, цитируя спецификации:
Если сообщение помечено для отмены, то вызов MPI_WAIT
для этого сообщения гарантированно вернется.
Следующий код показывает, что это не работает, поскольку янамеренно, поскольку MPI_WAIT
никогда не возвращается - проверено с недавним MS-MPI в Windows и MPICH2 в Linux.
#include <mpi.h>
#include <iostream>
#include <future>
using namespace std::literals::chrono_literals;
void async_cancel(MPI_Request *request)
{
std::this_thread::sleep_for(1s);
std::cout << "Before MPI_Cancel" << std::endl;
int res = MPI_Cancel(request);
if (res != MPI_SUCCESS)
std::cerr << "MPI_Cancel failed" << std::endl;
std::cout << "After MPI_Cancel" << std::endl;
}
int main(int argc, char* argv[])
{
int provided;
MPI_Init_thread(&argc, &argv, MPI_THREAD_MULTIPLE, &provided);
if (provided != MPI_THREAD_MULTIPLE)
std::cout << "MPI_Init_thread could not provide MPI_THREAD_MULTIPLE" << std::endl;
int rank, numprocs;
MPI_Comm_size(MPI_COMM_WORLD, &numprocs);
MPI_Comm_rank(MPI_COMM_WORLD, &rank);
MPI_Request request;
MPI_Status status;
int buffer;
if (rank == 0)
{
MPI_Irecv(&buffer, 1, MPI_INT, 1, 123, MPI_COMM_WORLD, &request);
auto res = std::async(std::launch::async, &async_cancel, &request);
std::cout << "Before MPI_Wait" << std::endl;
MPI_Wait(&request, &status);
std::cout << "After MPI_Wait " << std::endl;
}
else
std::this_thread::sleep_for(2s);
MPI_Finalize();
return 0;
}
Это проблема реализации?Есть ли лучший способ заставить MPI_Wait
вернуть?
EDIT : код (обновленный комментариями @Zulan и @amlucas) фактически работает для большинства реализаций, но MS-MPI.