parallel-processing - 如果匹配 MPI_IRecv 需要更少的数据元素，MPI_Send 会阻塞吗？

Question

假设以下 MPI 代码。

MPI_Comm_Rank(MPI_COMM_WORLD, &rank);

if (rank == 0){
   MPI_Send(a, count, MPI_CHAR, 1, 0, MPI_COMM_WORLD);
   MPI_Send(b, count, MPI_CHAR, 1, 0, MPI_COMM_WORLD);
}
else if (rank == 1){
   MPI_IRecv(a, 1, MPI_CHAR, 0, 0, MPI_COMM_WORLD, &req);
   MPI_Recv(b, count, MPI_CHAR, 0, 0, MPI_COMM_WORLD);
   MPI_Wait(&req, &status);
}

说第一个MPI_Send(a, count, ...)不会阻塞，即使它的匹配MPI_IRecv(a, 1, ...)只从缓冲区中读取一个元素是正确的吗？

另外，由于没有对缓冲区进行读/写操作a，即使MPI_Wait在之后没有直接调用，进程 1 是否也不会阻塞MPI_IRecv？

谢谢。

Answer 1

MPI_Send 将阻塞...这是一个阻塞调用。当调用应用程序可以安全地读取/修改发送/接收缓冲区时，“阻塞”调用将返回。不保证匹配的 MPI_[I]recv 调用。

MPI 库对应用程序中缓冲区的读/写状态一无所知。MPI 标准要求应用程序对消息缓冲区的稳定性做出某些保证。