[mpich-discuss] Semantics of MPI_Cancel