[Mpi-forum] Question about the semantics of MPI_Comm_disconnect

[Jeff Squyres (jsquyres)]

On Nov 12, 2013, at 2:24 PM, Anh Vo <Anh.Vo at microsoft.com> wrote:

> I think matched implies complete, but not necessary the opposite.

...I think you have that backwards?

> On the sender side a send might be complete, but we don't know if it has been matched yet.
> But I agree the wording is confusing, it should say "or matched".

I think you hit the nail on the head: I wonder if the original text was meaning to imply "complete at the sender, and at least matched at the receiver."

In which case, simply changing "and matched" to "or matched" might be a sufficient fix...?

-- 
Jeff Squyres
jsquyres at cisco.com
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/