The Limits of the CAP Theorem

Re:The Limits of the CAP Theorem by mcguire on Tuesday June 27, 2017 @07:02PM (#14650350)

I think the definition of availability is due to Brewer. The weird part of the 'theorem' due to Lynch and Gilbert is the definition ood consistency: in I recall correctly, it's linearizability, which is somewhat stronger than any guarantee that and DB actuality makes.

[ Parent | on HN ]

Re:The Limits of the CAP Theorem by dragonwriter on Tuesday June 27, 2017 @07:05PM (#14650378)

> it's linearizability, which is somewhat stronger than any guarantee that and DB actuality makes.

Isn't that equivalent to serializability, which is a guarantee that lots of DBs offer (though you can choose weaker ones instead.)

[ Parent | on HN ]

Re:The Limits of the CAP Theorem by bdarnell on Tuesday June 27, 2017 @10:14PM (#14651237)

Spanner offers "external consistency", which is similar to linearizability.

CockroachDB offers serializability (as the default isolation level). Most other SQL databases offer serializability as their highest isolation level, but default to something weaker.

Serializability and linearizability are not equivalent, although it's not always easy to devise a scenario in which the differences are apparent. The "comments" tests in Aphyr's Jepsen analysis of CockroachDB is one such scenario: http://jepsen.io/analyses/cockroachdb-beta-20160829#comments

[ Parent | on HN ]

Re:The Limits of the CAP Theorem by mcguire on Tuesday June 27, 2017 @07:20PM (#14650472)

Linearizability is stronger; see the 'definition of linearizability' in https://en.wikipedia.org/wiki/Linearizability

Note: its been so long since I dealt with these things that I can't remember what the difference means in practice. :-)

[ Parent | on HN ]