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 optio

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.