可重入分布式锁有哪些应用场景

原文连接:可重入分布式锁有哪些应用场景 https://mp.weixin.qq.com/s/MTPS9V8jn5J91wr-UD4DyA

之前发过的一篇实现Redis分布式锁的8大坑中,有粉丝留言说,分布式锁的可重入特性在工作中有哪些应用场景,那么我们这篇文章就来看一下分布式锁的可重入特性。

实现Redis分布式锁的8大坑

一、可重入场景有哪些?

场景一:创建订单之后,处理其他的逻辑异常了,需要回滚取消订单,此时取消订单的逻辑中需要获取到当前订单的分布式锁,此时也是需要可重入的特性的。

场景二:商城的支付,当第一次对订单进行支付时获取订单的分布式锁,如果此时你退出了,在用另一个客户端对同一个订单进行支付是否还可以呢?如果因为网络异常或者其他原因,当前发起订单的客户端还是可以再次进入支付流程进行支付。

场景三:分布式系统的缓存,缓存在客户端1更新过程中,客户端1发生异常无法继续执行,在客户端1获取的分布式锁还没有过期的这段时间,其他的客户端是无法获取到分布式锁的。假如客户端1在锁过期之前恢复了,再次执行该逻辑时可以继续重入该分布式锁继续执行操作。

场景四:在主线程完成任务的情况下,异步处理另一个任务,此时可以先释放锁,异步任务完成之后再次获取锁。

除了上述描述的四种场景外,只要是涉及到分布式锁的,都是有可能会有可重入的特性了。对于可重入的理解是,在维基百科中是这样描述的。

若一个程序或子程序可以“在任意时刻被中断然后操作系统调度执行另一段代码,这段代码又使用了该副程序不会出错”,则称其为可重入(reentrant 或 re-entrant)的。即当该副程序正在运作时,执行线程可以再次进入并执行它,仍然可得到符合设计时所预期的结果。与多线程并发执行的线程安全不同,可重入强调对单一线程执行时重新进入同一个子程序仍然是安全的。

可重入概念是在单线程操作系统的时代提出的。一个子程序的重入,可能由于自身原因,如执行了jmp或者call,类似于子程序的递归调用;或者由于作业系统的中断回应。UNIX系统的signal的处理,即子程序被中断处理程序或者signal处理程序调用。所以,可重入也可称作“异步信号安全”。这里的异步是指信号中断可发生在任意时刻。 重入的子程序,按照后进先出线性序依次执行。

所以对于现在的可重入,大部分的场景就是系统异常之后再次执行或者递归调用。

二、Java中有哪些可重入的锁

在Java中,SynchronizedReentrantLock 都是可重入的锁。

1、Synchronized :应用于方法或者代码块。当一个线程持有某个对象的锁时,它可以重复的进入任何其他由该对象保护的Synchronized 方法或者代码块。

package com.zuiyu.client1;

import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

public class SyncDemo {
    public static final Logger log = LoggerFactory.getLogger(SyncDemo.class);

    private int count = 0;

    public synchronized void increment() {
        count++;
        log.info("increment count {}",count);
        decrement(); // 调用自身的另一个 synchronized 方法
    }

    public synchronized void decrement() {
        count--;
        log.info("decrement count {}",count);
    }

    public static void main(String[] args) {
        SyncDemo syncDemo = new SyncDemo();
        syncDemo.increment();
    }
}

执行结果如下:

2、ReentrantLock:提供了 lock()unlock() 方法控制锁的获取和释放。与 synchronized 不同的是,ReentrantLock 允许在同一个线程中多次调用 lock() 方法而不被阻塞,只要每次调用 lock() 都有相应的 unlock() 来释放锁就可以。

package com.zuiyu.client1;

import org.slf4j.Logger;
import org.slf4j.LoggerFactory;

import java.util.concurrent.locks.ReentrantLock;


public class ReentrantLockDemo {
    public static final Logger log = LoggerFactory.getLogger(ReentrantLockDemo.class);

    //锁
    private static ReentrantLock lock =  new ReentrantLock();
    public void doSomething(int n){
        //进入递归第一件事:加锁
        try{
            lock.lock();
            log.info("--------lock()执行后,getState()的值:{} lock.isLocked():{}",lock.getHoldCount(),lock.isLocked());
            log.info("--------递归{}次--------",n);
            if(n<=2){
                this.doSomething(++n);
            }else{
                return;
            }
        }finally {
            lock.unlock();
            log.info("--------unlock()执行后,getState()的值:{} lock.isLocked():{}",lock.getHoldCount(),lock.isLocked());
        }
    }

    public ReentrantLock getLock(){
        return lock;
    }
    public static void main(String[] args) {
        ReentrantLockDemo reentrantLockDemo=new ReentrantLockDemo();
        reentrantLockDemo.doSomething(1);
        log.info("执行完doSomething方法 是否还持有锁:{}",lock.isLocked());
    }

}

执行结果如下:

三、ReentrantLock 如何实现的可重入

我们通过代码 debug 可以找到 ReentrantLock 代码中的 nonfairTryAcquire 方法。

    final boolean nonfairTryAcquire(int acquires) {
            final Thread current = Thread.currentThread();
            int c = getState();
            //先判断,c(state)是否等于0,如果等于0,说明没有线程持有锁
            if (c == 0) {
                //通过cas方法把state的值0替换成1,替换成功说明加锁成功
                if (compareAndReentrantLock代码中的SetState(0, acquires)) {
                    //如果加锁成功,设置持有锁的线程是当前线程
                    setExclusiveOwnerThread(current);
                    return true;
                }
            }
            else if (current == getExclusiveOwnerThread()) {//判断当前持有锁的线程是否是当前线程
                //如果是当前线程,则state值加acquires,代表了当前线程加锁了多少次
                int nextc = c + acquires;
                if (nextc < 0) // overflow
                    throw new Error("Maximum lock count exceeded");
                setState(nextc);
                return true;
            }
            return false;
        }

所以 ReentrantLock加锁流程就是:

1、先判断是否有线程持有锁,没有就进行加锁。

2、如果加锁成功,则设置持有锁的线程为当前线程。

3、如果有线程已经持有了锁,则在判断是否是当前线程持有的锁。

4、如果是当前线程持有的锁,则加锁数量+1

5、如果不是当前当前线程持有的锁,返回false,加锁失败。

释放锁的流程如下:

/**
         * 释放锁
         * @param releases
         * @return
         */
        protected final boolean tryRelease(int releases) {
            int c = getState() - releases;//state-1 减加锁次数
            //如果持有锁的线程,不是当前线程,抛出异常
            if (Thread.currentThread() != getExclusiveOwnerThread())
                throw new IllegalMonitorStateException();

            boolean free = false;
            if (c == 0) {//如果c==0了说明当前线程,已经要释放锁了
                free = true;
                setExclusiveOwnerThread(null);//设置当前持有锁的线程为null
            }
            setState(c);//设置c的值
            return free;
        }

1、每次释放锁对计数进行减1

2、当c0的时候,说明锁重入的次数为0 了。

3、最终设置当前持有锁的线程为 NULLstate 设置为0,锁也就释放了。

四、Redisson 实现分布式锁

通过上面 ReentrantLock 的加锁释放锁学习,我们已经知道了锁的可重入的原理了,所以使用 Redis 实现分布式锁我们只需要实现如下两点即可。

1、如何保存当前的线程。

2、加锁次数的保存维护。

所以结合上一篇文章中说过的 Redisson 的可重入特性,也就知道如何使用 Redis 来实现一个分布式锁了。

文章地址在这,可以点进去看看,我下面也把关键地方截图放过来。

Redis 实现分布式锁的8大坑

https://mp.weixin.qq.com/s/j69OLgLIo6R2VI80alJF0Q

那么这里在对这些代码在进行一个说明,在对代码说明之前还是先来个demo。

@Service
public class RedissonLockDemo {

    public final Logger log = LoggerFactory.getLogger(getClass());
    private RedissonClient redissonClient;

    String rKey = "lock1";

    public RedissonLockDemo(RedissonClient redissonClient) {
        this.redissonClient = redissonClient;
    }

    public void lock(){
        RLock lock1 = redissonClient.getLock(rKey);
        lock1.lock();
        log.info("thread {} method lock,lock1:{}={}",Thread.currentThread().getName(),lock1.getName(),lock1.getHoldCount());
        lock2();
        lock1.unlock();
    }
    public void lock2(){
        RLock lock2 = redissonClient.getLock(rKey);
        lock2.lock();
        log.info("thread {} method lock,lock2:{}={}",Thread.currentThread().getName(),lock2.getName(),lock2.getHoldCount());

        lock2.unlock();
    }


}

执行结果如下:

通过 debug 代码中lock.lock() 可以看到,发现它最终调用的是
RedissonLock#tryLockInnerAsync


    <T> RFuture<T> tryLockInnerAsync(long waitTime, long leaseTime, TimeUnit unit, long threadId, RedisStrictCommand<T> command) {
        return this.evalWriteSyncedAsync(this.getRawName(), LongCodec.INSTANCE, command, 
        "if ((redis.call('exists', KEYS[1]) == 0) 
        or (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]);",
        Collections.singletonList(this.getRawName()), new Object[]{unit.toMillis(leaseTime), this.getLockName(threadId)});
    }

加锁流程如下:

1、 判断key是否存在,返回0代表key不存在,代表没有加锁。

2、或者判断field是否在hash中,返回1代表当前线程加进程的ID已经获取到锁了。

3、hincrbykey中的 ARGV[2]1

4、对整个key设置过期时间。

为了校验执行的命令下面截图是 RedissonBaseLock#evalWriteSyncedAsync 。具体如下:

在这个脚本中,用到的命令我们来说一下

  • exists:校验 key 是否存在。

  • hexists:校验 field 是否存在 hash 中。

  • hincrby:将hash中指定的值增加给定的数字。

  • pexpire:设置key的有效期,以毫秒为单位。

  • pttl: 判断key的有效毫秒数。

解锁的代码在 RedissonLock#unlockInnerAsync


  protected RFuture<Boolean> unlockInnerAsync(long threadId, String requestId, int timeout) {
        return evalWriteSyncedAsync(getRawName(), LongCodec.INSTANCE, RedisCommands.EVAL_BOOLEAN,
                              "local val = redis.call('get', KEYS[3]); " +
                                    "if val ~= false then " +
                                        "return tonumber(val);" +
                                    "end; " +

                                    "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]); " +
                                        "redis.call('set', KEYS[3], 0, 'px', ARGV[5]); " +
                                        "return 0; " +
                                    "else " +
                                        "redis.call('del', KEYS[1]); " +
                                        "redis.call(ARGV[4], KEYS[2], ARGV[1]); " +
                                        "redis.call('set', KEYS[3], 1, 'px', ARGV[5]); " +
                                        "return 1; " +
                                    "end; ",
                                Arrays.asList(getRawName(), getChannelName(), getUnlockLatchName(requestId)),
                                LockPubSub.UNLOCK_MESSAGE, internalLockLeaseTime,
                                getLockName(threadId), getSubscribeService().getPublishCommand(), timeout);
    }

解锁的流程如下:

1、if (redis.call('hexists', KEYS[1], ARGV[3]) == 0) 判断锁是否存在。

2、redis.call('hincrby', KEYS[1], ARGV[3], -1) 加锁次数原子自减。

3、if (counter > 0) then redis.call('pexpire', KEYS[1], ARGV[2]); 自减后当前线程还持有锁(counter > 0),更新下锁的过期时间。

4、counter < 0else 逻辑解锁完成,删除该锁。

加锁解锁流程相对于上一篇文章中所述有所变化,本文 Redisson 版本为 3.29.0

五、总结

对于工作中用到分布式锁的场景,都要考虑是否可以重入,防止死锁的发生。

锁的可重入,两点需要我们注意,一个是保存当前持有锁的线程,另一个就是锁的加锁次数。

好了本文到这就结束了,如果读完感觉有所收获,欢迎三连。

大家都要一起进步。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/609785.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

IP定位技术在打击网络犯罪中的作用

随着互联网的普及和信息技术的发展&#xff0c;网络犯罪日益猖獗&#xff0c;给社会治安和个人财产安全带来了严重威胁。而IP定位技术的应用为打击网络犯罪提供了一种有效手段。IP数据云将探讨IP定位技术在打击网络犯罪中的作用及其意义。 1. IP定位技术的原理 IP&#xff08…

Windows下安装httpd

一、下载http安装包 1、下载地址 Welcome! - The Apache HTTP Server Project 2、点击“Download” 3、选择对应httpd服务&#xff0c;点击“Files for Microsoft Windows” 4、选择“Apache Lounge”&#xff0c;进入下载页面 5、点击“httpd-2.4.59-240404-win64-VS17.zip …

日本站群服务器提升网站用户体验的选择

日本站群服务器提升网站用户体验的选择 在当今数字化时代&#xff0c;网站的性能和用户体验对于在线业务的成功至关重要。为了确保网站能够提供快速、可靠和高效的访问体验&#xff0c;越来越多的网站管理员和企业选择了使用站群服务器。本文将深入探讨日本站群服务器的独特优…

网络安全之OSI七层模型详解

OSI七层模型分为控制层&#xff08;前三层&#xff09;和数据层&#xff08;后四层&#xff09;。从第七层到一层为&#xff1b; 应用层&#xff08;7&#xff09;接收数据 表示层&#xff08;6&#xff09;将数据翻译为机器语言 会话层&#xff08;5&#xff09;建立虚连接…

如何编辑百度百科并提供参考资料

大家都知道参考资料是创建百度百科中最重要的一步&#xff0c;百度百科只收录可以找到资料来源的事实&#xff0c;参考资料的意义在于&#xff0c;指出该部分内容的来源/出处&#xff0c;从而保障这段内容是客观真实的。 注册和登录百度账号 首先&#xff0c;你需要在百度百科…

RuoYi-Vue-Plus (Echarts 图表)

一、echarts 图表介绍和使用 官网地址:目前echarts以及贡献给Apache Apache EChartshttps://echarts.apache.org/zh/index.htmlecharts配置项手册 Documentation - Apache EChartshttps://echarts.apache.org/z

台球桌上的答案 如何优化图形化编程对复杂程序的展现

在公司的休息区&#xff0c;卧龙和凤雏正站在台球桌旁&#xff0c;一场激战即将打响。 “来吧&#xff0c;凤雏&#xff0c;让我们一决高下&#xff01;”卧龙手持台球杆&#xff0c;面带自信的微笑&#xff0c;向凤雏发起挑战。 凤雏点了点头&#xff0c;拿起台球杆&#xff0…

泰迪科技2024中职大数据实训室方案解读

中职在大数据专业建设所遇到的困难 数据、信息安全、人工智能等新信息技术产业发展迅猛&#xff0c;人才极其匮乏&#xff0c;各个中职院校纷纷开设相应的专业方向。但是&#xff0c;绝大多数院校因为师资和积累问题&#xff0c;在专业建设规划、办学特色提炼、创新教学模…

Objective-C的对象复制与拷贝选项

对象复制与拷贝 文章目录 对象复制与拷贝copy与mutablecopycopy与mutablecopy的简介示例&#xff1a;不可变对象的复制可变对象的复制 NSCopying和NSMutableCopying协议深复刻和浅复刻浅拷贝&#xff08;Shallow Copy&#xff09;&#xff1a;深拷贝&#xff08;Deep Copy&…

AI智能分析高精度烟火算法EasyCVR视频方案助力打造森林防火建设

一、背景 随着夏季的来临&#xff0c;高温、干燥的天气条件使得火灾隐患显著增加&#xff0c;特别是对于广袤的森林地区来说&#xff0c;一旦发生火灾&#xff0c;后果将不堪设想。在这样的背景下&#xff0c;视频汇聚系统EasyCVR视频融合云平台AI智能分析在森林防火中发挥着至…

APScheduler定时器使用【重写SQLAlchemyJobStore版】:django中使用apscheduler,使用mysql做存储后端

一、环境配置 python3.8.10 包&#xff1a; APScheduler3.10.4 Django3.2.7 djangorestframework3.15.1 SQLAlchemy2.0.29 PyMySQL1.1.0 项目目录情况 gs_scheduler 应用 commands &#xff1a; 主要用来自定义命令&#xff0c;python manage.py crontab schedulers&#…

20240509解决Protel99se导入philips.ddb出现File is not recognized的问题

20240509解决Protel99se导入philips.ddb出现File is not recognized的问题 2024/5/9 16:25 缘起&#xff1a;最近需要用到/画PCB&#xff0c;想到十年前用过Protel99SE。 使用的系统&#xff1a;WIN10/WIN11都会出错。WIN7没有测试&#xff01; 从115网盘的角落里找到七集视频…

解放摄影潜能,Topaz Photo AI for Mac/Win 引领降噪新潮流

Topaz Photo AI for Mac/Win 是一款领先的人工智能降噪软件&#xff0c;旨在帮助摄影师和普通用户轻松有效地提高照片质量。随着数字摄影技术的发展&#xff0c;摄影爱好者们不断追求更高质量的图像&#xff0c;而Topaz Photo AI的出现为他们打开了全新的图像处理之门。 先进的…

C++ | Leetcode C++题解之第78题子集

题目&#xff1a; 题解&#xff1a; class Solution { public:vector<int> t;vector<vector<int>> ans;void dfs(int cur, vector<int>& nums) {if (cur nums.size()) {ans.push_back(t);return;}t.push_back(nums[cur]);dfs(cur 1, nums);t.po…

Linux -- > vim

vi和vim是什么 vi和vim是两款流行的文本编辑器&#xff0c;广泛用于Unix和类Unix系统中。它们以其强大的功能和灵活的编辑能力而闻名&#xff0c;特别是在编程和系统管理中非常受欢迎。 vi&#xff08;Visual Interface&#xff09; vi是最初的文本编辑器之一&#xff0c;由…

【Java从入门到精通】Java 异常处理

在 Java 中&#xff0c;异常处理是一种重要的编程概念&#xff0c;用于处理程序执行过程中可能出现的错误或异常情况。 异常是程序中的一些错误&#xff0c;但并不是所有的错误都是异常&#xff0c;并且错误有时候是可以避免的。 比如说&#xff0c;你的代码少了一个分号&…

idea 使用 git

可以看见项目地址&#xff0c; git clone 地址 就可以拉新项目了 命令 git remote -v

【Unity】Unity项目转抖音小游戏(一) 项目转换

UnityWEBGL转抖音小游戏流程 业务需求&#xff0c;开始接触一下抖音小游戏相关的内容&#xff0c;开发过程中记录一下流程。 相关参考&#xff1a; 抖音文档&#xff1a;https://developer.open-douyin.com/docs/resource/zh-CN/mini-game/develop/guide/game-engine/rd-to-SC…

【Android】Kotlin学习之数据容器(数组for循环遍历)

数组遍历 1. for ( item in arr){…} 2. for ( i in arr.indeces ) {…} (遍历下标) 3. for ((index, item) in arr.withInfex()) {…} (遍历下标和元素) 4. arr.forEach {} ( 遍历元素 ) 5. arr.forEachIndexed{index, item -> …}

2024数维杯数学建模选题建议及各题思路来啦!

大家好呀&#xff0c;2024数维杯数学建模挑战赛开始了&#xff0c;来说一下初步的选题建议吧&#xff1a; 首先定下主基调&#xff0c; 本次数维杯建议选B。难度上C&#xff1e;A&#xff1e;B。B题目是比较经典的数据分析类题目&#xff0c;主要做统计分析差异显著性以及相关…