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

[Torvald Riegel]

On Thu, 2014-11-27 at 16:12 +0100, Torvald Riegel wrote:
> I have brought up this issue on LKML, asking for the kernel community's
> feedback on whether this is best solved by, in some way, allowing
> spurious wake-ups:
> https://lkml.org/lkml/2014/11/27/472
> 

See https://lkml.org/lkml/2014/12/1/723

If the kernel wants that, I think that's what we should do.

In particular, I propose we:
* Make sure we point out the issue in the docs: futex man pages for
sure; maybe in high-level documentation, an article, or something like
that that can be referenced, too.
* Allow spurious wake-up on return of 0 in any wrapper glibc might
offer.