[ofiwg] definition of a completion in OFI

[Underwood, Keith D]

> If a local side gets an ACK for Send, then immediately tears down the QP and
> then immediately fails a incoming packet, the behavior of the remote side is
> fairly undefined weather the Send will be in the recieve q or if the QP error
> on the send side will eat it.
> 
> AFAIK there is no requirement that the HCA strongly synchronize the send
> and recieve sides of a QP when it comes to error cases.
> 
> Destroying a RC QP while there is pending send q work on either side does
> not have well specified behavior in IB, and that is exactly the case Sean is
> probing with his sockets test.

Which gets back to:  the app is wrong.  No server should ever be written that way.  No app that it is ok to write that way is going to lack a "finalize()".