Agreed. Also it clearly accounts for the futex related load issues and it even gives nice and readable C code to see the problem happening. This explains it fo

Agreed. Also it clearly accounts for the futex related load issues and it even gives nice and readable C code to see the problem happening. This explains it for me. Thanks a lot for the pointer.