Redis 实现的分布式锁是否严格满足分布式一致性？

回答思路

1. 明确 Redis 分布式锁的基本原理（SET NX PX、Lua 解锁）
2. 分析主从切换、网络分区、进程暂停等场景下的一致性风险
3. 对比强一致方案（如 ZooKeeper、etcd、Redlock）的取舍
4. 给出满足严格一致性所需的条件或替代方案