News for hackers. Stuff that matters.
Re:Cassandra is not row level consistent by dpark on Friday November 25, 2016 @12:09AM (#13034521)
Did anyone else ever publish a meaningful response? I thought Antirez's response was reasonable but I also recognize the inherent bias. I'd love to see responses from other experts, ideally written such that non-experts can reasonably understand.
Re:Cassandra is not row level consistent by SEJeff on Friday November 25, 2016 @09:06AM (#13036777)
I recall several people on twitter (I follow a lot of distributed systems people / cs professors as it is part of my job to build these things) who agreed with Martin's analysis.
Re:Cassandra is not row level consistent by dpark on Friday November 25, 2016 @12:54PM (#13038522)
I'll have to see if I can dig some of the responses up. It bugs me that I still don't know if this algorithm is actually safe.
Re:Cassandra is not row level consistent by SEJeff on Friday November 25, 2016 @05:43PM (#13040383)
Honestly given Antirez's response I'm genuinely surprised no one has written a TLA+ or similar formal verification proof. Then the outcome is binary; either redlock is sound and works as expected, or it is not.

Amazon's AWS Architect, James Hamilton is a big fan of this approach, as are most of the heavyweights in distributed systems:

http://perspectives.mvdirona.com/2014/07/challenges-in-desig...

EDIT: prefaced URL with http