安全和活性失效保障按照我们的思路和设计方案，算法只需具备3个特性就可以实现一个最低保障的分布式锁。安全属性（Safety property）: 独享（相互排斥）。在任意一个时刻，只有一个客户端持有锁。活性A(Liveness property A): 无死锁。即便持有锁的客户端崩溃（crashed)或者网络被分裂（gets partitioned)，锁仍然可以被获取。活性B(Liveness property B): 容错。 只要大部分Redis节点都活着，客户端就可以获取和释放锁.为什么基于故障转移的实现还不够为了更好的理解我们想要改进的方面，我们先分析一下当前大多数基于Redis的分布式锁现状和实现方法.实现Redis分布式锁的最简单的方法就是在Redis中创建一个key，这个key有一...