分布式锁-Redisson原理与机制

一、分布式锁-redission可重入锁原理

在Lock锁中,他是借助于底层的一个voaltile的一个state变量来记录重入的状态的,比如当前没有人持有这把锁,那么state=0,假如有人持有这把锁,那么state=1,如果持有这把锁的人再次持有这把锁,那么state就会+1 ,如果是对于synchronized而言,他在c语言代码中会有一个count,原理和state类似,也是重入一次就加一,释放一次就-1 ,直到减少成0 时,表示当前这把锁没有被人持有。

在redission中,我们的也支持支持可重入锁

在分布式锁中,他采用hash结构用来存储锁,其中大key表示表示这把锁是否存在,用小key表示当前这把锁被哪个线程持有,所以接下来我们一起分析一下当前的这个lua表达式

这个地方一共有3个参数

KEYS[1] : 锁名称

ARGV[1]: 锁失效时间

ARGV[2]: id + ":" + threadId; 锁的小key

exists: 判断数据是否存在 name:是lock是否存在,如果==0,就表示当前这把锁不存在

redis.call('hset', KEYS[1], ARGV[2], 1);此时他就开始往redis里边去写数据 ,写成一个hash结构

Lock{

id + ":" + threadId : 1

}

如果当前这把锁存在,则第一个条件不满足,再判断

redis.call('hexists', KEYS[1], ARGV[2]) == 1

此时需要通过大key+小key判断当前这把锁是否是属于自己的,如果是自己的,则进行

redis.call('hincrby', KEYS[1], ARGV[2], 1)

将当前这个锁的value进行+1 ,redis.call('pexpire', KEYS[1], ARGV[1]); 然后再对其设置过期时间,如果以上两个条件都不满足,则表示当前这把锁抢锁失败,最后返回pttl,即为当前这把锁的失效时间

如果小伙帮们看了前边的源码, 你会发现他会去判断当前这个方法的返回值是否为null,如果是null,则对应则前两个if对应的条件,退出抢锁逻辑,如果返回的不是null,即走了第三个分支,在源码处会进行while(true)的自旋抢锁。

"if (redis.call('exists', KEYS[1]) == 0) then " +
                  "redis.call('hset', 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]);"

二、分布式锁-redission锁重试和WatchDog机制

说明:由于课程中已经说明了有关tryLock的源码解析以及其看门狗原理,所以笔者在这里给大家分析lock()方法的源码解析,希望大家在学习过程中,能够掌握更多的知识

抢锁过程中,获得当前线程,通过tryAcquire进行抢锁,该抢锁逻辑和之前逻辑相同

1、先判断当前这把锁是否存在,如果不存在,插入一把锁,返回null

2、判断当前这把锁是否是属于当前线程,如果是,则返回null

所以如果返回是null,则代表着当前这哥们已经抢锁完毕,或者可重入完毕,但是如果以上两个条件都不满足,则进入到第三个条件,返回的是锁的失效时间,同学们可以自行往下翻一点点,你能发现有个while( true) 再次进行tryAcquire进行抢锁

long threadId = Thread.currentThread().getId();
Long ttl = tryAcquire(-1, leaseTime, unit, threadId);
// lock acquired
if (ttl == null) {
    return;
}

接下来会有一个条件分支,因为lock方法有重载方法,一个是带参数,一个是不带参数,如果带带参数传入的值是-1,如果传入参数,则leaseTime是他本身,所以如果传入了参数,此时leaseTime != -1 则会进去抢锁,抢锁的逻辑就是之前说的那三个逻辑

if (leaseTime != -1) {
    return tryLockInnerAsync(waitTime, leaseTime, unit, threadId, RedisCommands.EVAL_LONG);
}

如果是没有传入时间,则此时也会进行抢锁, 而且抢锁时间是默认看门狗时间 commandExecutor.getConnectionManager().getCfg().getLockWatchdogTimeout()

ttlRemainingFuture.onComplete((ttlRemaining, e) 这句话相当于对以上抢锁进行了监听,也就是说当上边抢锁完毕后,此方法会被调用,具体调用的逻辑就是去后台开启一个线程,进行续约逻辑,也就是看门狗线程

RFuture<Long> ttlRemainingFuture = tryLockInnerAsync(waitTime,
                                        commandExecutor.getConnectionManager().getCfg().getLockWatchdogTimeout(),
                                        TimeUnit.MILLISECONDS, threadId, RedisCommands.EVAL_LONG);
ttlRemainingFuture.onComplete((ttlRemaining, e) -> {
    if (e != null) {
        return;
    }

    // lock acquired
    if (ttlRemaining == null) {
        scheduleExpirationRenewal(threadId);
    }
});
return ttlRemainingFuture;

此逻辑就是续约逻辑,注意看commandExecutor.getConnectionManager().newTimeout() 此方法

Method( new TimerTask() {},参数2 ,参数3 )

指的是:通过参数2,参数3 去描述什么时候去做参数1的事情,现在的情况是:10s之后去做参数一的事情

因为锁的失效时间是30s,当10s之后,此时这个timeTask 就触发了,他就去进行续约,把当前这把锁续约成30s,如果操作成功,那么此时就会递归调用自己,再重新设置一个timeTask(),于是再过10s后又再设置一个timerTask,完成不停的续约

那么大家可以想一想,假设我们的线程出现了宕机他还会续约吗?当然不会,因为没有人再去调用renewExpiration这个方法,所以等到时间之后自然就释放了。

private void renewExpiration() {
    ExpirationEntry ee = EXPIRATION_RENEWAL_MAP.get(getEntryName());
    if (ee == null) {
        return;
    }
    
    Timeout task = commandExecutor.getConnectionManager().newTimeout(new TimerTask() {
        @Override
        public void run(Timeout timeout) throws Exception {
            ExpirationEntry ent = EXPIRATION_RENEWAL_MAP.get(getEntryName());
            if (ent == null) {
                return;
            }
            Long threadId = ent.getFirstThreadId();
            if (threadId == null) {
                return;
            }
            
            RFuture<Boolean> future = renewExpirationAsync(threadId);
            future.onComplete((res, e) -> {
                if (e != null) {
                    log.error("Can't update lock " + getName() + " expiration", e);
                    return;
                }
                
                if (res) {
                    // reschedule itself
                    renewExpiration();
                }
            });
        }
    }, internalLockLeaseTime / 3, TimeUnit.MILLISECONDS);
    
    ee.setTimeout(task);
}

三、分布式锁-redission锁的MutiLock原理

为了提高redis的可用性,我们会搭建集群或者主从,现在以主从为例

此时我们去写命令,写在主机上, 主机会将数据同步给从机,但是假设在主机还没有来得及把数据写入到从机去的时候,此时主机宕机,哨兵会发现主机宕机,并且选举一个slave变成master,而此时新的master中实际上并没有锁信息,此时锁信息就已经丢掉了。

为了解决这个问题,redission提出来了MutiLock锁,使用这把锁咱们就不使用主从了,每个节点的地位都是一样的, 这把锁加锁的逻辑需要写入到每一个主丛节点上,只有所有的服务器都写入成功,此时才是加锁成功,假设现在某个节点挂了,那么他去获得锁的时候,只要有一个节点拿不到,都不能算是加锁成功,就保证了加锁的可靠性。

那么MutiLock 加锁原理是什么呢?笔者画了一幅图来说明

当我们去设置了多个锁时,redission会将多个锁添加到一个集合中,然后用while循环去不停去尝试拿锁,但是会有一个总共的加锁时间,这个时间是用需要加锁的个数 * 1500ms ,假设有3个锁,那么时间就是4500ms,假设在这4500ms内,所有的锁都加锁成功, 那么此时才算是加锁成功,如果在4500ms有线程加锁失败,则会再次去进行重试.

<think>嗯,用户问的是Redission实现分布式锁原理,这个我得好好理清楚。首先,Redission是一个基于Redis的Java客户端,它提供了很多分布式相关的功能,其中分布式锁是比较常用的部分。那我得先回忆一下分布式锁的基本概念,为什么需要它,以及常见的实现方式。 分布式锁主要是为了解决在分布式系统中多个节点竞争同一资源时的同步问题。比如,在微服务架构中,多个服务实例可能需要同时修改某个共享资源,这时候就需要一种机制来确保同一时间只有一个实例能进行操作。传统的单机锁无法跨JVM工作,所以需要基于外部存储系统实现,比如Redis、Zookeeper等。 Redission实现分布式锁,核心应该还是基于Redis的特性。Redis的单线程模型和原子操作非常适合用来做分布式锁。不过,具体的实现细节可能需要更深入的分析。记得Redission分布式锁叫RedLock吗?或者是不是RedLock是另一种算法?可能记混了。需要确认一下。 对了,Redission分布式锁实现主要依赖Redis的SET命令,结合NX和PX参数,这样可以保证设置键的值和过期时间的原子性。NX表示只有当键不存在时才设置,PX设置过期时间,防止锁被长时间占用导致死锁。但Redission可能还做了一些优化和改进,比如自动续期、可重入等特性。 然后,锁的释放也需要保证原子性,通常是通过Lua脚本来执行,因为Lua脚本在Redis中是原子执行的。Redission应该会在释放锁的时候检查当前线程是否持有锁,只有持有锁的线程才能释放,避免误删其他线程的锁。 另外,Redission可能还实现了看门狗机制,也就是在获取锁之后,启动一个后台线程,定期检查锁的状态,并在锁快过期时自动续期。这样可以避免业务逻辑执行时间超过锁的过期时间导致的问题。不过,这个机制的具体实现细节需要再想想,比如续期的频率、如何停止续期等。 还有,Redission的锁是否可重入?应该是的,因为它内部可能维护了一个计数器,记录同一个线程获取锁的次数,每次释放锁时计数器减一,直到计数器为零时才真正释放锁。这样同一个线程可以多次获取锁,避免死锁。 不过,用户可能关心的是具体的实现步骤,比如加锁、解锁、续期的流程。需要把这些步骤详细地列出来,并解释每一步的作用。比如,加锁时使用Lua脚本设置键,同时存储线程标识和计数器;解锁时同样用Lua脚本来判断线程标识并减少计数器,如果计数器为零则删除键。 可能还需要提到Redission如何处理节点故障的情况,比如Redis集群中的主从切换是否会导致锁失效,这时候Redission是否有相应的容错机制,比如RedLock算法,但RedLock本身也存在一些争议,需要说明其优缺点。 另外,需要比较一下Redission分布式锁和其他实现方式,比如基于Zookeeper的临时顺序节点,各自的优缺点。比如Redis实现的锁性能更高,但可能在极端情况下(如主从切换)存在安全性问题;而Zookeeper的锁更可靠,但性能稍差。 不过用户的问题主要集中在Redission实现原理,所以应该重点放在Redission如何利用Redis的特性,以及它的机制设计上。比如如何保证原子性、如何处理锁过期、如何实现可重入和自动续期,以及如何确保释放锁的安全性。 可能还需要提到Redission的一些高级功能,比如公平锁、联锁(MultiLock)、红锁(RedLock)等,但用户问的是基本实现原理,所以这些高级特性可以简要带过,或者不提及,视情况而定。 总结一下,回答的结构应该是先介绍分布式锁的必要性,然后详细说明Redission实现步骤,包括加锁、续期、解锁的过程,强调其如何利用Redis的原子操作和Lua脚本,以及看门狗机制和可重入设计。最后可以简要提及优缺点或其他方案的对比,但以用户的问题为导向,重点在原理部分。</think>Redission实现分布式锁的核心原理基于Redis的原子性操作和Lua脚本,以下是分步解析: --- ### **1. 加锁过程** - **核心命令**:使用`SET key value NX PX <expireTime>`实现原子性加锁: - `NX`:仅当key不存在时才设置值(互斥性) - `PX`:设置锁的过期时间(避免死锁) - **唯一标识**:锁的`value`包含客户端唯一标识(如UUID+线程ID),确保只有加锁者能解锁。 - **可重入性**:通过计数器记录锁的重入次数(Hash结构存储`<客户端ID, 重入次数>`)。 ```lua -- Lua脚本实现原子性加锁 if (redis.call('exists', KEYS[1]) == 0) then redis.call('hincrby', KEYS[1], ARGV[2], 1) redis.call('pexpire', KEYS[1], ARGV[1]) return 1 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 1 end return 0 ``` --- ### **2. 锁续期(看门狗机制)** - **后台线程**:加锁成功后启动守护线程(Watchdog),定期(默认10秒)检查锁是否仍持有。 - **自动续期**:若锁未被释放,重置过期时间为初始值(默认30秒),避免业务未完成锁已过期。 --- ### **3. 解锁过程** - **原子性释放**:通过Lua脚本验证客户端身份并减少重入次数,计数器归零时删除锁。 ```lua -- Lua脚本实现原子性解锁 if (redis.call('hexists', KEYS[1], ARGV[3]) == 0) then return nil end local counter = redis.call('hincrby', KEYS[1], ARGV[3], -1) if (counter > 0) then redis.call('pexpire', KEYS[1], ARGV[2]) return 0 else redis.call('del', KEYS[1]) return 1 end ``` --- ### **4. 容错机制** - **Redis集群支持**:通过`MultiLock`关联多个主节点,半数以上节点加锁成功视为成功(类似RedLock算法)。 - **失败重试**:提供`tryLock()`支持超时等待和重试机制--- ### **优缺点分析** | **优点** | **缺点** | |-----------------------------------|-----------------------------------| | 高可用(Redis集群) | 依赖Redis持久化,极端情况可能丢锁 | | 自动续期避免业务中断 | 网络延迟可能导致锁竞争 | | 可重入设计适配复杂业务 | 需要合理设置超时时间 | --- ### **对比其他方案** - **ZooKeeper锁**:基于临时顺序节点,可靠性更高,但性能低于Redis。 - **数据库锁**:通过唯一索引实现,简单但性能差,不适合高并发。 --- 通过上述机制Redission分布式场景下实现了高效、可靠的锁管理,平衡了性能安全性。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值