On Nov 19, 2008, at 10:18 , François PELLEGRINI wrote:
>> 4) Well, this sounds reasonable, but according to the MPI-1 standard
>> (see page 40 for non-blocking send/recv, a more detailed
>> explanation in
>> page 30):
>> "A nonblocking send call indicates that the system may start copying
>> data out of the send buffer. The sender should */not access*/ any
>> of the send buffer after a nonblocking send operation is called,
>> the send completes."
>> So before calling MPI_Wait to complete an isend operation, any
>> access to
>> the send buffer is illegal. It might be a little strict, but we
>> have to
>> do what the standard says.
This have been changed in the new version of the MPI standard (2.1).
There is no restriction anymore regarding the read operations on the
buffers used for non-blocking sends.
We should modify the memchecker accordingly.