when the cas (compare and swap) succeeds in user space, the subsequent futex call to wait will not be made, i suppose.