Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Errata: MPI_Wait #45

Closed
jdinan opened this issue Mar 4, 2016 · 2 comments
Closed

Errata: MPI_Wait #45

jdinan opened this issue Mar 4, 2016 · 2 comments

Comments

@jdinan
Copy link

jdinan commented Mar 4, 2016

Problem

There is a typo in MPI_Wait on page 53, line 25:

Any other type of request is ___ and the request handle is set to MPI_REQUEST_NULL. MPI_WAIT is a non-local operation.

The word "deallocated" should be in the underlined blank.

Proposal

Add "deallocated" to this sentence.

Changes to the Text

Any other type of request is deallocated and the request handle is set to MPI_REQUEST_NULL. MPI_WAIT is a non-local operation.

Impact on Implementations

None

Impact on Users

None

References

@rsth
Copy link

rsth commented Mar 4, 2016

This has been reported before (http://lists.mpi-forum.org/mpiwg-p2p/2015/12/index.php) and has already been fixed in the source. It is also in the MPI 3.1 errata.

@jdinan
Copy link
Author

jdinan commented Mar 6, 2016

Thanks, and sorry that I missed this. I'll make sure to check the errata document next time.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants