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.

Sign up for GitHub

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

Jump to bottom

Fix MPI_WIN_SYNC text #634

Closed
jeffhammond opened this issue Oct 27, 2022 · 3 comments
Closed

Fix MPI_WIN_SYNC text #634

jeffhammond opened this issue Oct 27, 2022 · 3 comments
Assignees
@jeffhammond @jdinan
Labels
chap-rma RMA Chapter Committee errata Errata items for the previous MPI Standard had reading Completed the formal proposal reading mpi-4.1 For inclusion in the MPI 4.1 standard no-no Requires a no-no vote passed final vote Passed the final formal vote passed first vote Passed the first formal vote scheduled reading Reading is scheduled for the next meeting wg-rma RMA Working Group
Milestone
December 2022

Comments

@jeffhammond
Copy link
Member

Problem

This text is horrible:

The call MPI_WIN_SYNC synchronizes the private and public window copies of win. For the purposes of synchronizing the private and public window, MPI_WIN_SYNC has the effect of ending and reopening an access and exposure epoch on the window (note that it does not actually end an epoch or complete any pending MPI RMA operations).

Proposal

Make it clear what WIN_SYNC actually does.

Changes to the Text

Say it's a memory barrier for unified, something else for separate.

Impact on Implementations

Nothing.

Impact on Users

Users can reason about RMA correctness in a useful way.

References and Pull Requests

TODO
@jeffhammond jeffhammond added the wg-rma RMA Working Group label Oct 27, 2022
@Wee-Free-Scot Wee-Free-Scot added errata Errata items for the previous MPI Standard mpi-4.1 For inclusion in the MPI 4.1 standard labels Oct 27, 2022
This was referenced Oct 27, 2022
Open
Open
@wesbland wesbland added the scheduled reading Reading is scheduled for the next meeting label Nov 21, 2022
@wesbland wesbland changed the title fix MPI_WIN_SYNC text Fix MPI_WIN_SYNC text Nov 21, 2022
@wesbland wesbland added this to the December 2022 milestone Nov 22, 2022
@wesbland wesbland added no-no Requires a no-no vote had reading Completed the formal proposal reading labels Dec 6, 2022
@wesbland
Copy link
Member

wesbland commented Dec 6, 2022

Had no-no reading on 2022-12-06

@wesbland
Copy link
Member

wesbland commented Dec 7, 2022

This passed a no-no vote on 2022-12-06.

Yes No Abstain
30 0 3

@wesbland
Copy link
Member

wesbland commented Dec 7, 2022

This passed an errata vote on 2022-12-07.

Yes No Abstain
30 0 3

@wesbland wesbland added passed first vote Passed the first formal vote passed final vote Passed the final formal vote labels Dec 7, 2022
@wgropp wgropp closed this as completed Dec 13, 2022
@Wee-Free-Scot Wee-Free-Scot added the chap-rma RMA Chapter Committee label Jul 13, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jeffhammond jeffhammond

@jdinan jdinan

Labels
chap-rma RMA Chapter Committee errata Errata items for the previous MPI Standard had reading Completed the formal proposal reading mpi-4.1 For inclusion in the MPI 4.1 standard no-no Requires a no-no vote passed final vote Passed the final formal vote passed first vote Passed the first formal vote scheduled reading Reading is scheduled for the next meeting wg-rma RMA Working Group
Projects
No open projects
MPI 4.1
Status: Done
Milestone
December 2022
Development

No branches or pull requests
4 participants
@jeffhammond @wesbland @jdinan @Wee-Free-Scot