Re: Re: [PATCH] futex: bugfix for robust futex deadlock when waking only one thread in handle_futex_death

[zhang.yi20@zte.com.cn]

Darren Hart <dvhart@linux.intel.com> wrote on 2013/04/17 01:05:28:


> 
> Performance isn't an issue here as this is an error path. The question
> is if the
> changed behavior will constitute a problem for existing applications. 
Rather
> than a serialized cascading wake, we have them all wake at once. If an
> application depended on the first waker after owner death to do some 
cleanup
> before the rest came along, I could imagine some potential for failure
> there.
> 

I don't find out there are any APIs can wake all waiters at once, so still 
use futex_wake.
When waiter return form futex_wait syscall, glibc check the futex's value 
and try to modify it by using atomic instructions, and let the waiter 
return only if successed.
The applications which not use the glibc's library should follow this.

> One possible alternative would be to wake waiters for a different
> process group
> when OWNER_DEAD is set, and leave it as a single wake.
> 

To wake one waiter of other process cannot slove this problem , because it 
can be exiting too.