TBH it is the third or fourth time I come across robust futexes, try to get my head around them, give up, and forget about them. Futexes are a low-level primit

TBH it is the third or fourth time I come across robust futexes, try to get my head around them, give up, and forget about them. Futexes are a low-level primitive, I was talking about high-level primitives such as mutexes, condvars, and semaphores. If nobody has succeeded in implementing them on top of robust futexes, for practical purposes it's as if they don't exist.