[amelius]

I don't think the order of operations is non-deterministic between different runs. That would make programming and researching these systems more difficult than necessary.

[saagarjha]

It would be if you used atomics.

[amelius]

I said: don't think it's non-deterministic, two negations -> deterministic.