真正的 Redis 分布式锁，就该是这样实现的