On: An Illustrated Proof of the CAP Theorem

[lucio]

That's what Google spanner is claiming, that Spanner is Consistent and highly-Available (nine fives, or 99.99999% of the time available), which "in practice" they say is "CA".

[teraflop → lucio]

From the perspective of the CAP theorem, Spanner is unquestionably a CP system, as the original paper [1] makes clear. (It relies on Paxos to elect leaders, and Paxos chooses consistency over availability.)

The "CA in practice" claims are purely marketing.

[1]: https://storage.googleapis.com/pub-tools-public-publication-...