[dnackoul]

Also, how does Spanner get around the CAP theorem and similar distributed systems results? It seems like the only tradeoff is monetary at the moment.

[brown9-2]

https://research.google.com/pubs/pub45855.html

[manigandham]

The only important line, which means it's a CP system:

> Even then outages will occur, in which case Spanner chooses consistency over availability.

[dnackoul]

Thanks!

[manigandham]

It doesnt - they're saying they have such good networking that P is very rare so it's one of the few times you treat it like it's CA.

In case P does happen (a network break), it's a CP system.