Delete the text:
(the two leaders could be the same process)
from the discussion of MPI_INTERCOMM_CREATE.
Replace the text:
All inter-communicator constructors are blocking and require that the local
and remote groups be disjoint in order to avoid deadlock.
with
All inter-communicator constructors are blocking and require that the local
and remote groups be disjoint.
-
- Advice to users.
The groups must be disjoint for several reasons. Primarily, this is the
intent of the intercommunicators -- to provide a communicator for
communication between disjoint groups. This is reflected in the
definition of MPI_INTERCOMM_MERGE, which allows the user to
control the ranking of the processes in the created intracommunicator;
this ranking makes little sense if the groups are not disjoint. In
addition, the natural extension of collective operations to
intercommunicators makes the most sense when
the groups are disjoint.
(End of advice to users.)
MPI-Standard for MARMOT