Distributed Systems, Cap, Google Spanner, Spanner, Memcached.
realizations of this paradigm, but the above should be enough for illustration. Linearizability with high latency We have both linearizability and serializability if we are willing to accept high latency(and low throughput). Consensus algorithms like Raft and Paxos are specifically designed to