Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems

by Martin Kleppmann

If the current value does not match what you previously read, the update has no effect, and the read-modify-write cycle must be retried.