[RFC] mutex destruction (#13690): problem description and workarounds

[Torvald Riegel]

On Wed, 2014-12-03 at 08:59 -0500, Carlos O'Donell wrote:
> I don't quite follow what you're trying to argue. Could you expand in
> another thread with code examples?

The underlying issues has been discussed in this thread.  For EINTR on
futex_wait specifically, spurious wake-ups is something documented by
the kernel already.

I have put comments in the code of my semaphore patch that explains how
it relates to semaphores and their rules around EINTR.