Thanks for clarifying, I didn't spot that waiting on a futex was optional.

I wonder to what extent the performance would be affected with a middle-ground option to spin a few times and then call sched_yield() syscall before spinning again.