基于Redis的分布式锁及看门狗机制的分析