The MPI standard says that MPI_Abort makes a "best effort". It also says that an MPI implementation is free to lose the value passed into MPI_Abort and deliver some other RC..
The standard does not say that MPI_Abort becomes a valid way to end a parallel job if it is passed a zero.
To me it seems pretty clear the name MPI_Abort is was chosen to imply failure.
I think modifying the standard to be explicit about what must happen when MPI_Abort is passed zero would be an option. It is a ugly one in my view but it would give this kind of application the equivalent of MPI_Quit.
Right now, someone who passes a zero to MPI_Abort would have a hard time claiming his application is valid.
Dick
Dick Treumann - MPI Team
IBM Systems & Technology Group
Dept X2ZA / MS P963 -- 2455 South Road -- Poughkeepsie, NY 12601
Tele (845) 433-7846 Fax (845) 433-8363
"Terry Frankcombe" ---04/06/2010 01:33:53 PM---> Jeff - >
From: | "Terry Frankcombe" <terry@chem.gu.se> |
To: | "Open MPI Users" <users@open-mpi.org> |
Date: | 04/06/2010 01:33 PM |
Subject: | Re: [OMPI users] Hide Abort output |
Sent by: | users-bounces@open-mpi.org |