Redis 常见分布锁原理与实现总结分享

在分布式系统中，分布锁是控制共享资源访问的关键技术。Redis 作为流行的内存数据存储系统，提供了便捷的分布锁实现方式。

了解下分布锁的基本原理。分布锁的核心目的是在多个进程或节点间对共享资源进行互斥访问。Redis 基于其单线程处理模型和原子操作特性，为实现分布锁提供了基础。

最常用的实现方式是利用 SETNX 命令（SET if Not eXists）。该命令在键不存在时，将键值对设置为指定值并返回 1；若键已存在，则不进行操作并返回 0。通过这个原子操作，可以尝试获取锁。例如，当一个客户端执行 SETNX lock_key 1 命令，若返回 1，表示成功获取锁；返回 0 则表示锁已被其他客户端持有。

然而，这种简单实现存在问题，比如锁没有过期时间。如果持有锁的客户端出现故障未能及时释放锁，就会导致死锁。在 SETNX 成功后，需要为锁设置一个合理的过期时间。可以通过 EXPIRE 命令来实现，但这又带来新问题，SETNX 和 EXPIRE 不是原子操作，在 SETNX 成功后、EXPIRE 执行前，若系统崩溃，锁同样会无法释放。

为解决这一问题，Redis 2.6.12 版本引入了新的 SET 命令扩展形式，支持在设置键值对时同时指定过期时间，即 SET lock_key 1 EX 10 NX。这确保了获取锁和设置过期时间的原子性。

另外，锁的可重入性也是重要特性。对于同一客户端多次获取同一把锁的场景，简单的 SETNX 实现无法满足。可通过在锁值中记录持有锁的客户端标识以及持有次数来实现可重入锁。每次获取锁时检查客户端标识，若相同则增加持有次数；释放锁时减少持有次数，为 0 时才真正释放锁。

在释放锁时，不能简单地直接删除键，要确保是锁的持有者进行释放。可以使用 Lua 脚本来保证释放操作的原子性。

Redis 为分布锁实现提供了多种方式，但每种方式都有其优缺点。在实际应用中，需要根据具体业务场景和需求，合理选择和优化分布锁的实现，以确保系统的稳定性和可靠性。