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.
Problem
This text is horrible:
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