Redis系列13:分布式锁实现
Redis系列1:深刻理解高性能Redis的本质
Redis系列2:数据持久化提高可用性
Redis系列3:高可用之主从架构
Redis系列4:高可用之Sentinel(哨兵模式)
Redis系列5:深入分析Cluster 集群模式
追求性能极致:Redis6.0的多线程模型
追求性能极致:客户端缓存带来的革命
Redis系列8:Bitmap实现亿万级数据计算
Redis系列9:Geo 类型赋能亿级地图位置计算
Redis系列10:HyperLogLog实现海量数据基数统计
Redis系列11:内存淘汰策略
Redis系列12:Redis 的事务机制
1 先来了解下分布式锁
1.1 什么是分布式锁
分布式锁,即分布式系统中的锁,我们通过锁解决 控制共享资源访问 的问题,来保证只有一个线程可以访问被保护的资源。
1.2 分布式锁的实现方案
- 基于数据库实现分布式锁
- 基于Zookeeper实现分布式锁
- 基于Redis实现分布式锁
等等,本篇基于Redis角度进行讨论
1.3 分布式锁满足哪些特性
- 互斥性:在分布式系统下,一个事件在同一个时间内只能被一个线程执行,即只能有一个线程持有锁。
- 安全性:可以方便的获取锁和释放锁,不产生死锁情况
- 过期性:具备锁失效机制,即可以在时效预期外自动解锁,防止死锁
- 可重入:具备可重入特性(可理解为重新进入,由多于一个任务并
- 高性能:高性能的获取锁与释放锁
- 高可用性:高可用的获取锁与释放锁
1.4 互斥特性
1.4.1 实现互斥特性
1.4.1.1 SETNX命令
SETNX 是 set if not exists 的缩写,当且仅当 key 不存在时,则设置 value 给这个key。若给定的 key 已经存在,则 SETNX 不做任何动作。
命令的返回值说明:
- 1:说明该进程获得锁,将 key 的值设为 value
- 0:说明其他进程已经获得了锁,进程不能进入临界区。
举例说明:setnx lock.key lock.value
> SETNX lock.user_063105015 1
(integer) 1 # 获取编号为 063105015 用户成功
如果已经被获取过了,则获取失败
> SETNX lock.user_063105015 1
(integer) 0 # 获取编号为 063105015 用户失败
1.4.1.2 get命令
获取key的值,如果存在,则返回;如果不存在,则返回nil
# 获取成功
> GET lock.user_063105015
"1"
# 获取失败
> GET lock.user_123456789
(nil)
1.4.1.3 getset命令
原子的设置值的办法,对key设置newValue这个值,并且返回key原来的旧值。
# 重置用户信息
> getset lock.user_063105015 0
"1" # 原值为1
# 再次重置
> getset lock.user_063105015 1
"0" # 原值为0
1.4.1.4 删除命令,用完之后进行锁释放
> DEL lock.user_063105015
(integer) 1
具体执行流程如下:
1.3.1.5 异常导致的锁释放问题
可能会因为一些场景,造成锁无法释放,如下:
- 调用服务或者客户端崩溃,无法正确的处理锁释放的工作。
- 业务程序的异常执行,没有操作释放锁的 DEL指令。
这种情况下,锁就会一直占用着,不会被释放,其他线程也无法获得。所以必须得有个自动释放锁的过程。
1.4.2 超时释放
超时释放其实就是重置,目的是避免因为各种原因导致的锁长时间无法释放。
做法就是我们给锁加个过期时间(EXPIRE Time):
# 给用户 063105015 加锁
> SETNX lock.user_063105015 1
(integer) 1
# 设置过期时间,到时间没删除则自动释放
> EXPIRE lock.user_063105015 120 # 120秒之后自动释放
(integer) 1
为了保证执行时的原子性,Redis 官方扩展了 SET 命令,既能满足获取对象,又能保证设置超时的时间语义。
避免出现了获取锁完成之后,执行超时设置失败微软无法释放锁的情况。保证要么都成功,要么都不执行。
# 示例如下:
SET lock.user_063105015 1 NX PX 60000
- NX:就是Not Exist,表示只有用户编号为 063105015 不存在的时候才可以 SET 成功,并且只有单个线程可以获取锁;
- PX 60000:表示对这个锁设置一个60s的过期时间。
1.4.3 对锁进行唯一标识
经常会出现一种情况,就是你获取到锁之后,因为各种原因(比如你的服务线程故障、网络抖动 等等),没有执行完成,或者没有释放锁,
这时候锁也过了 EXPIRE TIME,就自动释放了。当另外一个线程开锁成功,你的线程响应过来了,把人家的锁给释放了,这样就有问题了。
为了避免这种操作,我们要对同一个的锁做唯一识别码,在释放锁之前,先判断下是不是自己设置的那个锁,如下:
# 设置10086专用值
> SET lock.user_063105015 10086 NX PX 60000
OK
# 设置成功,获取检查确实是10086
> get lock.user_063105015
"10086"
# 伪代码:删除前进项确认是不是自己加的那个锁
if ( redis.get("lock.user_063105015").equals("10086")) {
redis.del("lock.user_063105015"); // 只有对比成功才进行删除,释放锁
}
1.4.4 实现可重入锁
可重入锁可以理解为重新进入,由多于一个任务并发使用,而不必担心数据错误。
- 可重入性就就保证线程能继续执行,防止在同一线程中多次获取锁而导致死锁发生
- 不可重入就是需要等待锁释放之后,再次获取锁成功,才能继续往下执行
这边说说可重入锁,比如你执行线程的方案a获取锁之后,你的a方法后,线程继续执行b方法也需要获取锁,如果这时候不可重入,
线程就需要等待锁的释放,进入争抢。
这边的解法就是对线程加锁的锁值进行增减,同一个线程的方法遇到加锁则锁值+1,遇到退锁则锁值-1,当前仅当锁值=0的时候,说明这个锁真正的被释放了。
Java中的Redisson 类库就是通过 Redis Hash 来实现可重入锁。
加锁的逻辑
我们可以使用 Redis hash 结构实现,key 表示被锁的共享资源, hash 结构的 fieldKey 的 value 则保存加锁的次数。
实现如下( KEYS1 = "lock.user_063105015", ARGV [10000,uuid):
KEYS[1] = key的值
ARGV[1]) = 持有锁的时间
ARGV[2] = getLockName(threadId) 下面id就算系统在启动的时候会全局生成的uuid 来作为当前进程的id,加上线程id就是getLockName(threadId)了,可以理解为:进程ID+系统ID = ARGV[2]
# 1 为 true
# 0 为 false
if (redis.call('exists', KEYS[1]) == 0) then
redis.call('hincrby', KEYS[1], ARGV[2], 1);
redis.call('pexpire', KEYS[1], ARGV[1]);
return nil;
end;
if (redis.call('hexists', KEYS[1], ARGV[2]) == 1) then
redis.call('hincrby', KEYS[1], ARGV[2], 1);
redis.call('pexpire', KEYS[1], ARGV[1]);
return nil;
end;
return redis.call('pttl', KEYS[1]);
参数说明
- hincrby :将hash中指定域的值增加给定的数字
- pexpire:设置key的有效时间以毫秒为单位
- hexists:判断field是否存在于hash中
- pttl:获取key的有效毫秒数
程序说明
- Redis exists 命令判断 lock.user_063105015 锁是否存在
- 锁不存在,hincrby 创建一个键为 lock.user_063105015 的 hash 表,键为 uuid,初始化值为 0,然后再次加 1,最后设置过期时间。
- 锁存在,hexists判断 lock 对应的 hash 表中是否存在 uuid 键,存在则 + 1,并重置过期时间
- 不符合以上的条件的都走到默认返回