[robertgraham]

The entire point of the post was talk about "lock-free" algorithms where two cores can make forward progress without either having to wait or spin.

What systems have mutexes that aren't built like futexes?

[javert]

Kernels, and probably any kind of parallel user-level runtime like Erlang.