[mpiwg-rma] Ticket 434 - Re: Added 4 extra tickets to the RMA wiki

[Rolf Rabenseifner]

Marc, Bill, and Rajeev,

Marc, as far as I remember, you are the author of the 6 rules 
on one-sided semantics on MPI-3.0 page 453 line 39 through
page 454 line 21 (in MPI-2.0 the rules were on page 138).

At ISC 2014, Pavan Balaji, Hubert Ritzdorf and I met to
discuss the unclear RMA synchronization for shared memory,
but we had to start with a problem in RMA semantics
that exists since MPI-2.0.

The outcome was 
https://svn.mpi-forum.org/trac/mpi-forum-web/ticket/434

Marc as original author, 
Bill and Rajeev as chapter chairs,
please can you check whether we are right with this ticket:

 - that the gap between the expected behavior and the 
   current semantic rules really exists, and
 - that our solution is correct,
 - and hopefully that it is a good way of filling the gap.

Best regards
Rolf 

-- 
Dr. Rolf Rabenseifner . . . . . . . . . .. email rabenseifner at hlrs.de
High Performance Computing Center (HLRS) . phone ++49(0)711/685-65530
University of Stuttgart . . . . . . . . .. fax ++49(0)711 / 685-65832
Head of Dpmt Parallel Computing . . . www.hlrs.de/people/rabenseifner
Nobelstr. 19, D-70550 Stuttgart, Germany . . . . (Office: Room 1.307)