[ofa-general] post_recv question

[Roland Dreier]

 > OpenMPI can be configured to send credit updates over different QP. I'll
 > try to stress it next week to see what happens.

It seems that it would be pretty hard to hit this race in practice.

And I don't think mem-free Mellanox hardware has any race -- not
positive about Tavor/non-mem-free Arbel.  (On IB you need to set RNR
retries to 0 also for the missing receive to be detectable even if the
race exists)