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

by Martin Kleppmann

At times when the network is working correctly, a system can provide both consistency (linearizability) and total availability.