What you really need is a transactional system, where guarantees exist over multiple values, not just one at a time in isolation.

https://en.wikipedia.org/wiki/Software_transactional_memory