undefined | Better HN

0 pointsanonymousDan4y ago0 comments

I have always understood strong consistency to refer to linearizability or sequential consistency - i.e. all clients have the same view of the global order but with sequential consistency permitting slightly more flexibility in how operations of different clients can be reordered wrt each other.

0 comments

3 comments · 1 top-level

jolux4y ago· 2 in thread

I asked below but which property of linearizability is missing here? Is it the way it handles concurrent writes?

anonymousDanOP4y ago

Hey, having actually looked at the link you provided, in fact both examples they give are linearizations so they could plausibly be providing linearizability (with respect to a single key). It's hard to say whether there are corner cases in which different clients could observe different orderings but if not then I stand corrected!

jolux4y ago

There was another thread where somebody claimed it was causally consistent. I’m sort of surprised Amazon hasn’t been clearer about this, but my feeling is that they would say it was linearizable if they were sure it was linearizable. Would love to read a real deep dive on this, I checked to see if Kyle Kingsbury had looked into it yet but he hasn’t.

j / k navigate · click thread line to collapse