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

by Martin Kleppmann

such a linearizable compare-and-set operation as follows by using total order broadcast as an append-only log