欢迎来到尧图网

客户服务 关于我们

您的位置:首页 > 新闻 > 会展 > 【分布式锁通关指南 09】源码剖析redisson之公平锁的实现

【分布式锁通关指南 09】源码剖析redisson之公平锁的实现

2025/5/6 1:12:53 来源:https://blog.csdn.net/m0_60925013/article/details/147440958  浏览:    关键词:【分布式锁通关指南 09】源码剖析redisson之公平锁的实现

引言

在本篇中,我们继续探索redisson中相关锁的实现,本期将围绕公平锁进行讲解。在正式开始前,我们回顾下公平锁的概念-在多线程或分布式环境中,锁的获取是有先后顺序的,按照请求顺序来获得锁。这就意味着A、B、C 三个线程都想获得同一把锁,那么最先请求的线程会被优先给予资源。如果此时锁被某个线程占用,其余线程会根据各自的排队顺序来抢占锁,谁排在前面,谁就先获得锁。

在 Redisson 中,对分布式 Redis 锁的公平性,就是说锁的获取需要按照先来后到排队,避免后来的请求“插队”。

加锁

我们先来看看如何实现加锁的,在 RedissonFairLock 类里,我们可以找到核心加锁逻辑:

public void lock() {try {// 1. 尝试获取锁if (tryAcquire()) {return;}// 2. 获取失败,将当前线程信息写入等待队列long threadId = Thread.currentThread().getId();Long ttl = tryAcquisition(threadId);// 3. 循环等待获取锁while (ttl != null) {// 订阅锁释放消息subscribe(threadId);// 等待锁释放通知await(ttl);// 重试获取锁ttl = tryAcquisition(threadId);}} finally {// 取消订阅unsubscribe(Thread.currentThread().getId());}
}

可以看到调用tryAcquisition方法来尝试获取锁,这个方法里则封装了相关的Lua脚本,如下:

private Long tryAcquisition(long threadId) {return redis.eval("""-- 检查锁是否已被占用if (redis.call('exists', KEYS[1]) == 0) then-- 获取锁并设置threadIdredis.call('hset', KEYS[1], ARGV[2], 1);redis.call('pexpire', KEYS[1], ARGV[1]);-- 将线程加入等待队列末尾redis.call('zadd', KEYS[2], ARGV[3], ARGV[2]);return nil;end;-- 检查是否是队列第一个等待者local firstThreadId = redis.call('zrange', KEYS[2], 0, 0);if (firstThreadId[1] == ARGV[2]) then-- 获取锁redis.call('hset', KEYS[1], ARGV[2], 1);redis.call('pexpire', KEYS[1], ARGV[1]);-- 从等待队列移除redis.call('zrem', KEYS[2], ARGV[2]);return nil;end;-- 返回需要等待的时间return redis.call('pttl', KEYS[1]);""");

在尝试获取锁时:首先尝试直接获取锁;如果获取失败,将线程信息加入等待队列;只有当前线程是等待队列的第一个时才能获取锁;获取失败则订阅锁释放消息并等待;等待后重试获取锁,直到成功。

释放锁

看完了加锁,我们继续看释放锁,释放锁的核心逻辑在于Lua脚本的实现:

public void unlock() {redis.eval("""-- 检查是否是锁持有者if (redis.call('hexists', KEYS[1], ARGV[2]) == 0) thenreturn nil;end;-- 减少重入计数local counter = redis.call('hincrby', KEYS[1], ARGV[2], -1);if (counter > 0) thenredis.call('pexpire', KEYS[1], ARGV[1]);return 0;end;-- 删除锁redis.call('del', KEYS[1]);-- 发布释放消息redis.call('publish', KEYS[2], ARGV[2]);return 1;""");

解锁过程:验证当前线程是否是锁的持有者;处理重入计数的递减;当计数为0时完全释放锁;发布锁释放消息通知等待线程。

为何能保障“公平”?

1.先排队

Redisson 在请求 lock 时,会先把线程标识以一定的 score(通常是时间戳)存储进 ZSet。这样就等于“先到先排队”。

2.只允许队首“抢”锁

脚本会检查 ZSet 的首位元素(ZRANGE KEYS[2], 0, 0),只有首位(rank == 0)的线程才有真正“尝试加锁”的资格。

3.不可插队

因为 Lua 脚本在 Redis 里是原子执行的,不会出现其他线程“并发修改队列”的情况,且 ZSet 的 score 是根据时间先后确定顺序。不会让后来的线程“插队”。

4.线程之间实时通知

当锁释放后,publish 通知所有订阅方,后面排队的线程就能及时知道“锁可以重新争抢了”,然后再调用加锁脚本进行排名检查,最终实现“先来先拿”。

小结

通过这些 Lua 脚本的实现逻辑,相信各位读者已经理解了 Redisson 公平锁为什么能做到“先来先得”,以及其在分布式环境下是如何保证线程安全、互不干扰的。还是那句话,看源码的目的在于学习别人优秀的设计,希望对大家有所启发!

版权声明:

本网仅为发布的内容提供存储空间,不对发表、转载的内容提供任何形式的保证。凡本网注明“来源:XXX网络”的作品,均转载自其它媒体,著作权归作者所有,商业转载请联系作者获得授权,非商业转载请注明出处。

我们尊重并感谢每一位作者,均已注明文章来源和作者。如因作品内容、版权或其它问题,请及时与我们联系,联系邮箱:809451989@qq.com,投稿邮箱:809451989@qq.com

热搜词