Re: [PATCH] RFC: futex: make futex_lock_pi interruptible

[Darren Hart <dvhltc@us.ibm.com>]

Chris Friesen wrote:
> On 10/29/2009 07:45 PM, Darren Hart wrote:
> 
>> This appears to work fine. Can anyone think of a reason why this is an unsafe
>> thing to do? I'll have to create a much more elaborate test case and review
>> the glibc code of course to make sure the glibc mutex state isn't compromised.
> 
> Setting aside the specific code details, I would suggest that you not
> review the glibc code but rather review the glibc documentation and the
> susv3/posix specifications.  That way, if it behaves according to the
> spec but breaks glibc you can push for a patch to glibc.
> 
> If it happens to work with current glibc but is not standards-compliant,
> then it could break in the future.

Unfortunately, pthread_mutex_lock() by spec shall not return -EINTR nor 
is it a valid pthread_cancelation point. We can do the latter with a 
non-posix extension in glibc. In order to provide an 
interruptible/cancelable mutex, we would also be non-posix - at least, 
if we provided a mechanism directly within glibc.

If folks think this signal based approach is the why to go, then you are 
correct, we just need to make sure that the spec allows us to use 
set/longjmp in this context.



-- 
Darren Hart
IBM Linux Technology Center
Real-Time Linux Team