SET NX PX、UUID 防误删、Lua 原子释放、看门狗续期、fencing token——Redis 分布式锁四个坑现场复现,附 Kleppmann 与 antirez 论战结论与选型分界。