I agree. Absent contention those primitive are manipulated via user-space operations anyway. The condition variable even has some optimistic spinning in the NPT

I agree. Absent contention those primitive are manipulated via user-space operations anyway. The condition variable even has some optimistic spinning in the NPTL implementation iirc. So basically, he is reinventing the wheel.