mpi-forum / mpi-issues

Tickets for the MPI Forum

http://www.mpi-forum.org/

67 stars 8 forks source link

define strong progress in RMA #637

Open jeffhammond opened 2 years ago

jeffhammond commented 2 years ago

Problem

Following up on #634, #635, #636, we need to define strong and weak progress.

Proposal

@Wee-Free-Scot

Changes to the Text

@Wee-Free-Scot

Impact on Implementations

None

Impact on Users

Makes the world make sense

References and Pull Requests

TODO

Wee-Free-Scot commented 2 years ago

Covered by extant effort in Semantics WG.

wesbland commented 2 years ago

@Wee-Free-Scot Is this issue a duplicate then?

Wee-Free-Scot commented 2 years ago

Unless the RMA WG wish to define a type of progress semantic that is not compatible with the semantic terms work (which both WGs are trying to avoid), then this feels like a duplicate to me.

There was discussion in the joint WG meeting about specific RMA procedures needing a different (stronger but restricted in scope) progress semantic, so I don't want to just close this issue just yet.