Isn't the non determinism in this case the order of the compare and swap operations? And that non-determinism is the cause of the race condition in your example

Isn't the non determinism in this case the order of the compare and swap operations? And that non-determinism is the cause of the race condition in your example. Or maybe I didn't fully grasp your example.