Re:An Illustrated Proof of the CAP Theorem
by lucio on Saturday July 14, 2018 @07:38AM
(#17529911)
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".
[ Parent
| on HN ]
Re:An Illustrated Proof of the CAP Theorem
by teraflop on Saturday July 14, 2018 @10:34AM
(#17530486)
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-...