FUTEX support on Linux
I am not a pro on this, expecting comments from someone who knows about
this stuff more than me