mpi-forum / mpi-issues

Tickets for the MPI Forum
http://www.mpi-forum.org/
67 stars 8 forks source link

RMA-specific operators are not *new* #758

Closed devreal closed 1 year ago

devreal commented 1 year ago

Problem

The RMA chapter introduces two new operators (MPI_REPLACE and MPI_NO_OP) as new:

A new predefined operator, MPI_REPLACE, is defined...

and

A new predefined operator MPI_NO_OP ...

Proposal

We should replace new because these operators are not new anymore and we should not assume that readers read the standard in chronological order (for which new would make some sense at least). A better term to use would be additional:

An additional predefined operator, MPI_REPLACE, is defined...

and

An additional predefined operator, MPI_NO_OP, is defined ...

Changes to the Text

Minor: replace new with additional.

Impact on Implementations

None

Impact on Users

Less confusion, happier readers.

References and Pull Requests

TBD