[openib-general] RE: userspace event reporting

[Libor Michalek]

On Tue, Jul 12, 2005 at 01:45:43PM -0700, Sean Hefty wrote:
> >> one way to handle this is to have destruction flush events first, then
> >> perform the actual destroy...
> >
> >Right, what I was trying to say in the other thread was: walk the event
> >list and kill events for the id that is destroyed.
> >
> >Does this make more sense?
> 
> I think this is needed, just not sure if it's sufficient. 

  In fact this is already done, we remove all pending events from the
event queue on destroy. As you explain it is also insufficient since
the user may already have called get_event() from another thread.

-Libor