You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Section 11.3.1 (MPI_Session_init) does not say what this function actually does. There should at least be a pointer to a place that defines the semantics, if it is defined elsewhere.
Readers looking for MPI_Session_init in the document will have a hard time to understand what this function does if they just go to Section 11.3.1.
Proposal
Add a short paragraph describing the semantics of MPI_Session_init or a pointer to where it is defined.
Changes to the Text
TBD
Impact on Implementations
None
Impact on Users
Better readability for sessions users.
References and Pull Requests
The text was updated successfully, but these errors were encountered:
Problem
Section 11.3.1 (
MPI_Session_init
) does not say what this function actually does. There should at least be a pointer to a place that defines the semantics, if it is defined elsewhere.Readers looking for
MPI_Session_init
in the document will have a hard time to understand what this function does if they just go to Section 11.3.1.Proposal
Add a short paragraph describing the semantics of
MPI_Session_init
or a pointer to where it is defined.Changes to the Text
TBD
Impact on Implementations
None
Impact on Users
Better readability for sessions users.
References and Pull Requests
The text was updated successfully, but these errors were encountered: