3 ms·
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.
by dpark 10y ago
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.
- SEJeff 10y agoHonestly 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-designing-at-scale-formal-methods-in-building-robust-distributed-systems/ http://perspectives.mvdirona.com/2014/07/challenges-in-desig... EDIT: prefaced URL with http