Redis进阶(七):分布式锁

2024-09-08 02:44
文章标签 进阶 redis 分布式

本文主要是介绍Redis进阶(七):分布式锁,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

在分布式系统下,涉及到多个节点访问同一个公共资源的情况,此时需要通过 锁 进行互斥控制:避免出现 线程安全问题。

1.分布式锁的基本实现

超卖问题:

解决:

采用redis实现分布式锁

可用采取:在购票的时候,操作过程中需要先加锁。在redis上设置一个key - value,完成上述买票操作,再把key - value 删掉。如果发现key - value 存在,就加锁失败,无法进行购票

上述可用保证,第一个服务器执行(查询 - 更新)过程中,第二个服务器不会执行 (查询)操作

具体实现:

redis中的setnx命令(不存在就设置进去,当前key值存在就失败)解锁使用del

考虑一下特殊情况:

某个服务器加锁成功后,在执行后续逻辑的过程中,程序崩溃了,没有执行到解锁操作?

不可以采取finally:这种做法只是针对进程内的锁有用,针对分布式锁无效,比如说服务器直接掉电,进程异常终止,后面的del逻辑都走不到~

还可以使用过期时间来实现~

给set的key设置一个过期时间,时间到了key自动被删去了。

可以使用 set ex nx

异常情况:

这个时候还有一个问题,服务器1给redis上锁,服务器2给解锁了,会引起超卖问题

为了解决上述问题,就需要加入校验机制

1、给服务器编号,每个服务器有自己的身份标识

2、进行加锁的时候,设置key-value。key对应着要针对哪一个资源进行加锁~,value就可以存储刚才服务器的编号~~这样可以表示出,这个锁是哪一个服务器加上的。

因此后续解锁的时候,就可以进行校验了。

1、解锁的时候,先查询一下这个锁对应的服务器编号,然后判定一下这个编号 是否就是 当前执行的解锁的服务器编号。

2、如果是 ,才去执行del,如果不是,则失败

 问题:解锁时,查询判定和del是非原子操作

一个服务器内部,这是俩个行为,会出现线程安全问题,可以使用lua脚本实现原子性

但上述还有问题:设置过期时间后,仍然存在一定的可能性,任务没执行完,key先过期了,导致锁提前失效。也就是过期时间的续约问题

这样负责动态续约 专门独立出来的 线程 叫 看门狗

高可用

如果使用redis作为分布式锁,还需要考虑redis挂了的情况,因此要想保证高可用需要一套预案去保证高可用。

搞几个哨兵节点

redlock算法

简而言之:冗余

 具体展现为:

 

这篇关于Redis进阶(七):分布式锁的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1146890

相关文章

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

零基础学习Redis(10) -- zset类型命令使用

zset是有序集合,内部除了存储元素外,还会存储一个score,存储在zset中的元素会按照score的大小升序排列,不同元素的score可以重复,score相同的元素会按照元素的字典序排列。 1. zset常用命令 1.1 zadd  zadd key [NX | XX] [GT | LT]   [CH] [INCR] score member [score member ...]

[MySQL表的增删改查-进阶]

🌈个人主页:努力学编程’ ⛅个人推荐: c语言从初阶到进阶 JavaEE详解 数据结构 ⚡学好数据结构,刷题刻不容缓:点击一起刷题 🌙心灵鸡汤:总有人要赢,为什么不能是我呢 💻💻💻数据库约束 🔭🔭🔭约束类型 not null: 指示某列不能存储 NULL 值unique: 保证某列的每行必须有唯一的值default: 规定没有给列赋值时的默认值.primary key:

【Linux 从基础到进阶】Ansible自动化运维工具使用

Ansible自动化运维工具使用 Ansible 是一款开源的自动化运维工具,采用无代理架构(agentless),基于 SSH 连接进行管理,具有简单易用、灵活强大、可扩展性高等特点。它广泛用于服务器管理、应用部署、配置管理等任务。本文将介绍 Ansible 的安装、基本使用方法及一些实际运维场景中的应用,旨在帮助运维人员快速上手并熟练运用 Ansible。 1. Ansible的核心概念

Flutter 进阶:绘制加载动画

绘制加载动画:由小圆组成的大圆 1. 定义 LoadingScreen 类2. 实现 _LoadingScreenState 类3. 定义 LoadingPainter 类4. 总结 实现加载动画 我们需要定义两个类:LoadingScreen 和 LoadingPainter。LoadingScreen 负责控制动画的状态,而 LoadingPainter 则负责绘制动画。

从0到1,AI我来了- (7)AI应用-ComfyUI-II(进阶)

上篇comfyUI 入门 ,了解了TA是个啥,这篇,我们通过ComfyUI 及其相关Lora 模型,生成一些更惊艳的图片。这篇主要了解这些内容:         1、哪里获取模型?         2、实践如何画一个美女?         3、附录:               1)相关SD(稳定扩散模型的组成部分)               2)模型放置目录(重要)

java学习,进阶,提升

http://how2j.cn/k/hutool/hutool-brief/1930.html?p=73689

集中式版本控制与分布式版本控制——Git 学习笔记01

什么是版本控制 如果你用 Microsoft Word 写过东西,那你八成会有这样的经历: 想删除一段文字,又怕将来这段文字有用,怎么办呢?有一个办法,先把当前文件“另存为”一个文件,然后继续改,改到某个程度,再“另存为”一个文件。就这样改着、存着……最后你的 Word 文档变成了这样: 过了几天,你想找回被删除的文字,但是已经记不清保存在哪个文件了,只能挨个去找。真麻烦,眼睛都花了。看

【408DS算法题】039进阶-判断图中路径是否存在

Index 题目分析实现总结 题目 对于给定的图G,设计函数实现判断G中是否含有从start结点到stop结点的路径。 分析实现 对于图的路径的存在性判断,有两种做法:(本文的实现均基于邻接矩阵存储方式的图) 1.图的BFS BFS的思路相对比较直观——从起始结点出发进行层次遍历,遍历过程中遇到结点i就表示存在路径start->i,故只需判断每个结点i是否就是stop