使用过Redis分布式锁么，它是怎么实现的

用SETNX加唯一标识和过期时间，确保加锁原子性，解锁校验身份。