小白如何在简单的分布式锁里反复踩坑

news2024/11/13 9:26:34

背景

为什么要做分布式锁?

Java开发就逃不过多线程问题,而对于单个实例,我们可以使用synchronized锁作为基本的线程锁,解决多线程问题,但对于实际项目中集群部署,分布式系统(不同的客户端)要访问共享资源,就会发生并发问题,比如不同的账号允许操作同一订单时。

分布式锁应具备的条件

  • 互斥性:在任意一个时刻,只有一个客户端持有锁。
  • 无死锁:即便持有锁的客户端崩溃或者其他意外事件,锁仍然可以被获取。
  • 可重入:锁的拥有者可再次请求不会阻塞

基于缓存实现分布式锁

由于Redis是一个单独的中间件,不同客户端可以往同一个Redis或者集群中加锁,这样就能保证加锁的地方或者是资源是相同的。并且由于Redis也是单线程的,同时也支持lua脚本,可以保证并发安全的问题,所以可以很简单的实现分布式锁的功能。

首先redis是一个缓存工具,其底层是lua脚本实现对数据的缓存,我们需要实现分布式锁,就是使用其SET命令的机制。

在redis的SET命令中,包含 [NX | XX] 、以及基本的SET,三种模式:

  • 仅SET–当key存在时更新velue,当key不存在时新增
  • NX– 仅当key尚不存在时才设置该密钥。
  • XX– 仅当key已存在时才设置该密钥。
    在这里插入图片描述

因此,利用SETNX的特性,便可实现分布式锁:

redis实现分布式锁

如何实现分布式锁

了解了基本的redis实现分布式锁原理,即可开始简单编写一个分布式锁

public class debugRedisLock {

    private RedisTemplate<String, Object> redisTemplate;

    @PostMapping("/create")
    public void createOrder(@RequestParam String id) {
        boolean result = Boolean.TRUE.equals(redisTemplate.opsForValue().setIfAbsent(id, "value"));
        if (!result) {
            throw new RuntimeException();
        }
        try {
            service.createOrder(id);
        } finally {
            redisTemplate.delete(id);
        }
    }
}

为了保证“无死锁”的特性,我们还需加上超时时间

public class debugRedisLock {

    private RedisTemplate<String, Object> redisTemplate;

    @PostMapping("/create")
    public void createOrder(@RequestParam String id) {
        boolean result = Boolean.TRUE.equals(redisTemplate.opsForValue().setIfAbsent(id, "value", 10, TimeUnit.SECONDS));
        if (!result) {
            throw new RuntimeException();
        }
        try {
            service.createOrder(id);
        } finally {
            redisTemplate.delete(id);
        }
    }
}

响应式Redis怎么用分布式锁

理解了简单的redis分布式锁的原理和实现,于是我自信满满的开始了踩坑

在实际项目中,可以见到各式各样不同的redis template,例如:RedisTemplate<T, T>、StringRedisTemplate、ReactiveRedisTemplate<T,T>,为避免过量踩坑,又不能确定其他template是否可以在现有环境工作,我们只能使用项目内自身使用的redis,然后不同的redis们,也总有自己的坑,在这里我将使用ReactiveRedisTemplate躺一次浑水。

起初我使用常规的RedisTemplate写法

public class debugRedisLock {
    
    private ReactiveRedisTemplate<String, String> reactiveRedisTemplate;

    @PostMapping("/create")
    public Mono<Object> createOrder(@RequestParam String id) {
        boolean result = Mono.just(Boolean.TRUE).equals(reactiveRedisTemplate.opsForValue().setIfAbsent(id, "value", Duration.ofSeconds(10)));
        if (!result) {
            throw new RuntimeException();
        }
        try {
            return service.createOrder(id);
        } finally {
            reactiveRedisTemplate.delete(id);
        }
    }
}

但是锁确实生效了,是永远的生效了。。。。。。。

Mono.equals的底层实现是对包装起来的抽象类直接对比:

public boolean equals(Object obj) {
        return (this == obj);
    }

显然即便是两个都为true的Boolean,也是不会相等的。

第二次,总结他人经验,响应式编程思路:

public class debugRedisLock {

    private ReactiveRedisTemplate<String, String> reactiveRedisTemplate;

    @PostMapping("/create")
    public Mono<Object> createOrder(@RequestParam String id) {
        return reactiveRedisTemplate.opsForValue().setIfAbsent(id, "1", Duration.ofSeconds(10))
                .flatMap(result -> {
                    boolean lock = TRUE.equals(result);
                    if (!lock) {
                        throw new RuntimeException();
                    }
                    try {
                        return service.createOrder(id);
                    } finally {
                        reactiveRedisTemplate.delete(id);
                    } 
                });
    }
}

Mono中的值只能通过block的方式才能完全取出,但是这是一个要响应出去的接口,不能阻塞去取setIfAbsent的值,那么我们可以用faltMap,类似Stream的方式去对返回值做操作。

虽然分布式锁成功了,但是总有些不对劲,我期望返回一个异常,但实际接口返回了Mono.empty(),虽然也限制了业务程序,但是这个返回总有点鸽子用脖子飞起来的感觉。

flatMap中逻辑简单,可以确认不会出问题,那问题只会出在响应式的Redis setIfAbsent方法有问题。

显然这个方法是有返回的,但是内部注释却没有提到:

在这里插入图片描述

不过它提供了官方文档链接,从文档中我们才了解到:
在这里插入图片描述

代码的终极是lua脚本,而这个命令却早已弃用,取而代之的是

在这里插入图片描述

新命令的返回也做出了解释:
在这里插入图片描述

那么当我们使用的时候,第二次进入接口获取锁,它并不会返回false,而是nil,而对于Mono,setIfAbsent方法返回了Mono.empty(),就不会执行后续的flatMap。

对此官方也对这一问题,做出了回复:

不过,Mono响应式编程为我们提供了好的解决方案,Mono.defaultIfEmpty(),当Mono中没有任何数据返回时,可以提供一个默认值返回:

public class debugRedisLock {

    private ReactiveRedisTemplate<String, String> reactiveRedisTemplate;

    @PostMapping("/create")
    public Mono<Object> createOrder(@RequestParam String id) {
        return reactiveRedisTemplate.opsForValue().setIfAbsent(id, "1", Duration.ofSeconds(10))
                .defaultIfEmpty(FALSE)
                .flatMap(result -> {
                    boolean lock = TRUE.equals(result);
                    if (!lock) {
                        throw new RuntimeException();
                    }
                    try {
                        return service.createOrder(id);
                    } finally {
                        reactiveRedisTemplate.delete(id);
                    }
                });
    }
}

至此,一个简单的分布式锁实现了。

参考文档:
https://redis.io/commands/set/
https://github.com/spring-projects/spring-data-redis/issues/1355

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

HTML再出发

HTML再出发 注意事项VScode相关排版标签语义化块级元素和行内元素文本标签img标签图片格式超链接 注意事项 VScode相关 vscode必须打开一个文件夹才能使用liveServer&#xff0c;只打开一个文件无法使用liveServer功能。网页编写不标准&#xff0c;缺少head&#xff0c;body等…

java springBoot 整合日志

1.在Spring Boot项目的resources目录下创建一个新的logback.xml文件。 2.logback.xml中&#xff0c;配置 代码 <?xml version"1.0" encoding"UTF-8"?> <!-- 日志级别从低到高分为TRACE < DEBUG < INFO < WARN < ERROR < FATAL…

SpringBoot复习:(4)打成的jar包是如何启动的?

jar包通过MANIFEST的Main-Class指定了主类JarLauncher, JarLauncher的main方法代码如下&#xff1a; 其中调用的launch的代码如下&#xff1a; 首先&#xff0c;创建了一个自定义的ClassLoader,代码如下&#xff1a; 其中调用的重载的createClassLoader代码如下&#xff1…

BloomFilter

概念和由来 布隆过滤器&#xff08;英语&#xff1a;Bloom Filter&#xff09;是 1970 年由布隆提出的。它实际上是一个很长的二进制数组(00000000)一系列随机hash算法映射函数&#xff0c;主要用于判断一个元素是否在集合中。 布隆过滤器适用于对存储空间要求较高&#xff0c…

[深度学习实战]基于PyTorch的深度学习实战(下)[Mnist手写数字图像识别]

目录 一、前言二、Mnist手写数字图像识别2.1 加载数据2.1.1 下载地址2.1.2 用 numpy 读取 mnist.npz 2.2 定义卷积模型2.3 开始训练2.4 完整代码2.5 验证结果2.6 修改参数 三、后记 PyTorch——开源的Python机器学习库 一、前言 首先感谢所有点开本文的朋友们&#xff01;基于P…

js正则表达式方法学习

js正则表达式学习 1.能干嘛2.创建正则表达式3.关于正则表达式的方法3.1 正则的方法3.1.1 test3.1.2 compile3.1.3 exec捕获组对象具名捕获组对象非捕获组对象 3.2 String类型的对象的正则相关的方法3.2.1 search()3.2.2 replace()3.2.3 split()3.2.4 match()3.2.5 matchAll() 1…

目标检测识别——大恒(DaHeng)相机操作与控制编程

文章目录 引言正文相关开发库的介绍编程准备配置引用头文件GalaxyIncludes.h配置lib文件 具体编程过程初始化和反初始化枚举设备开关设备 属性控制属性控制器种类 图像采集控制和图像处理采单帧回调采集 总结 引言 在做老师的横向项目时&#xff0c;需要用大恒相机&#xff0c…

MQTT 5.0 Reason Code 介绍与使用速查表

Reason Code Reason Code 在 MQTT 中的主要作用是为客户端和服务端提供更详细的反馈。比如我们可以在 CONNACK 报文中将用户名或密码错误对应的 Reason Code 反馈给客户端&#xff0c;这样客户端就能够知道自己无法连接的原因。 MQTT 3.1.1 中的 Reason Code 虽然 MQTT 3.1.…

超实用的品牌软文推广方案分享,纯干货

品牌软文推广对于企业来说是一项关键且重要的战略&#xff0c;如何通过软文推广提高品牌的知名度、美誉度和影响力&#xff0c;成为了许多企业关注的问题。本文伯乐网络传媒将从多个角度深度探讨品牌软文推广方案&#xff0c;为企业提供一些有价值的参考。 一、确定品牌软文推广…

idea 关闭页面右侧预览框/预览条

idea 关闭页面右侧预览框 如图&#xff0c;预览框存在想去除 找了好多方法&#xff0c;什么去掉“setting->appearance里的show editor preview tooltips”的对钩&#xff1b;又或者在该预览区的滚动条上右键&#xff0c;“取消勾选show code lens on scrollbar hover”。都…

等价背包--装箱问题

1024. 装箱问题 - AcWing题库 直接将消耗的体积变成价值即可&#xff0c;最后利用总的体积减去价值即是剩余的空间 #include<bits/stdc.h> using namespace std; int a[1000010]; int f[1000010]; int main() {int n,v;cin>>v;cin>>n;for(int i1;i<n;i){c…

适合创业者的办公空间

近年来&#xff0c;我们注意到一个趋势正在全球范围内逐渐崛起&#xff1a;越来越多的创业者选择租赁共享办公室而不是传统的独立办公室。这不仅反映了创业生态的繁荣&#xff0c;也体现了了一种更加灵活、高效的工作方式。 首先&#xff0c;共享办公室提供了成本效益。对于初…

Electron从构建到打包exe应用

Electron从构建到打包程exe应用 Electron文档搭建网页装载到 BrowserWindow中定义全局对象进程之间通信渲染器进程到主进程&#xff08;单向&#xff09;渲染器进程到主进程&#xff08;双向&#xff09;主进程到渲染器进程 打开调试器打包应用程序对代码进行签名 Electron文档…

解决构建maven工程时,配置了阿里云的前提下,依旧使用中央仓库下载依赖导致失败的问题!!!

问题描述&#xff1a; 在使用spring进行构建项目时&#xff0c;出现下载依赖迟迟不成功&#xff0c;显示maven wrapper 下载失败的问题。 Maven wrapper Cannot download ZIP distribution from https://repo.maven.apache.org/maven2/org/apache/maven/apache-maven/3.8.7/ap…

[模版总结] - 集合划分类DFS模版

题目描述 给定一个数组&#xff0c;给定一个数字k, 问能不能讲数组内数等分成k份&#xff0c;使得每一个集合中数和相等。 题目链接 下面两道题问题及其类似&#xff0c;可作为同一类题目思考 Leetcode 698 Leetcode 473 题目思路 这道题是一道经典集合划分类问题&#…

python pygbag教程 —— 在网页上运行pygame程序(全网中文教程首发)

pygame是一款流行的游戏制作模块&#xff0c;经过特殊的方式编译后&#xff0c;可以在浏览器web网页上运行。web上的打包主要使用第三方模块pygbag。 pygame教程&#xff1a;Python pygame(GUI编程)模块最完整教程&#xff08;1&#xff09;_pygame模块详解_Python-ZZY的博客-…

Day.4 刷题练习(自守数)

题目&#xff1a; 例子&#xff1a; 分析题目&#xff1a; 主要目的&#xff1a;给定一个范围小于等于N&#xff0c;在这个范围中找自守数&#xff08;自身等于平方后的尾部数据如5&#xff1a;5 ^ 2 25 &#xff0c; 然后 5 与 平方的后的尾部相等&#xff09; 思路&#x…

Windows安装PyTorch

文章目录 前言CPU版本安装安装步骤测试CPU版PyTorch是否安装成功 GPU版本安装新建一个conda环境安装torch法一&#xff1a;在线安装(建议用法二)法二&#xff1a;下载torch、torchvision后本地安装(建议使用此方法)Jupyter Lab虚拟环境的配置测试是否安装成功 前言 此份文档适…

2023 蓝桥杯真题B组 C/C++

https://www.dotcpp.com/oj/train/1089/ 题目 3150: 蓝桥杯2023年第十四届省赛真题-冶炼金属 题目描述 小蓝有一个神奇的炉子用于将普通金属 O 冶炼成为一种特殊金属 X。这个炉子有一个称作转换率的属性 V&#xff0c;V 是一个正整数&#xff0c;这意味着消耗 V 个普通金 属 O…