Hmm, very interesting. It sounds like with a bit of wrapper code, futexes could be used instead of mutexes? If they are genuinely faster, there are many use cases where this would be valuable.

Is there a production-ready library for this? I do see the code in the article but I'm not sure I'm ready to venture into these deep waters myself.