当前位置: 首页 > news >正文

redis面试(九)锁重入和互斥

可重入

1)如果一开始这个锁是没有的,第一次来加锁,这段lua脚本会如何执行?

"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 then分支,hset设置一个hash的数据结构,pexpire设置这个key的生存时间,直接返回nil,也就是已给null,这个lua脚本后面的内容其实就不会执行了
如果Future拿到了那个lua脚本执行成功后的返回值之后,就会触发一个监听器
这是我们前面梳理过的逻辑

2)如果是在一个客户端的一个线程内,先对一个lock进行了加锁,然后后面又加了一次锁,形成了一个叫做可重入锁的概念,就同一个线程对一个lock可以反复的重复加锁多次,每次加锁和一次释放锁必须是配对的
第二次过来加锁的时候
"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; " +

hexists 命令,如果是查询的这个数据存的话,就返回“1”
那么这个判断会看到锁已经存在,下面的逻辑就给这个值+1 ,不断地+1
那可以猜测,释放的时候也是要不断地-1,加了多少次,也要对应的释放多少次。

锁互斥

如果已经有一个客户端的线程对一个key加了锁,那么此时其他的线程或者是客户端如果也要对这个key加锁,是如何被阻塞住的呢?部署在其他机器上的服务实例,或者是部署在其他机器上的其他服务

还是这个lua脚本实现的,我们现在已经加了一个名为anyLock的锁,并且线程id假如说是2345-zxcv-1
那也就是说
现在已经redis里面已经有一个名为anyLock的map数组,并且里面有个键值对"2345-zxcv-1":1
这时候如果有其他的线程也想获取这个锁
先看第一个判断 “if (redis.call(‘exists’, KEYS[1]) == 0)”
然后也是进入第二个判断 “if (redis.call(‘hexists’, KEYS[1], ARGV[2]) == 1) then“
这时候锁名称虽然一样,但是“2345-zxcv-1" 这个值可是每个线程都不一样的,所以会返回return redis.call(‘pttl’, KEYS[1]) 也就是当前这个缓存的过期时间
在这里插入图片描述
那这里逻辑执行完之后,再会到上一层方法,这个里面有个ttlRemaining==null的判断,如果是null的话证明加锁成功,就要执行看门狗的逻辑进行锁的延迟维护;如果不为空的话,就是加锁失败,与上面我们分析的逻辑一致。
在这里插入图片描述

再回到更上一层看一下逻辑,这里也是,如果返回的ttl是null,则证明加锁成功,可以直接返回;
如果不为空就要执行下面的阻塞逻辑;
while中的逻辑意思就是,先获取一次这个锁,成功的话结束,不成功的话,等待一段时间,再次执行获取锁。
在这里插入图片描述

总结

锁的可重入就是在map中不断的+1
而锁的互斥就是通过map数据中的一个键,通过线程名称来进行不同的线程判断,如果不是当前线程的话,就不让+1。

相关文章:

  • 北京网站建设多少钱?
  • 辽宁网页制作哪家好_网站建设
  • 高端品牌网站建设_汉中网站制作
  • 基于PCA-BP的数据多变量回归预测 Matlab代码(多输入单输出)[可显示原始特征贡献率+贡献率排序+累计贡献率]
  • 【Git】远程仓库新建分支后,拉到本地开发
  • 音视频概要
  • 主机防火墙测试--IPV6地址TCP/UDP/ICMP协议测试方法
  • 应对FingerprintJS反爬:Selenium的破解策略与技术详解
  • 【零基础学习CAPL语法】——TestWaitForMessage:等待指定报文
  • MongoDB教程
  • Elasticsearch 桶(Bucket)聚合详解及示例
  • 基于vue框架的XXXX勤工助学管理系统vl6ft(程序+源码+数据库+调试部署+开发环境)系统界面在最后面。
  • Unity3D Rect Transform 组件详解
  • ffmpeg -- 常用口令
  • Keepalived + LVS实现高可用
  • 华为设备支持的逻辑接口类型及逻辑接口配置
  • 速成cesium而忽略前端基础,你可能会遇到这些坑!
  • Liunx搭建Rustdesk远程桌面服务
  • 【Linux系统编程】快速查找errno错误码信息
  • Apache的基本使用
  • axios 和 cookie 的那些事
  • CSS魔法堂:Absolute Positioning就这个样
  • Docker 笔记(2):Dockerfile
  • HTML-表单
  • interface和setter,getter
  • java 多线程基础, 我觉得还是有必要看看的
  • java中的hashCode
  • scrapy学习之路4(itemloder的使用)
  • Work@Alibaba 阿里巴巴的企业应用构建之路
  • 爱情 北京女病人
  • 从地狱到天堂,Node 回调向 async/await 转变
  • 搭建gitbook 和 访问权限认证
  • 基于web的全景—— Pannellum小试
  • 聊一聊前端的监控
  • 前端路由实现-history
  • 前端自动化解决方案
  • 小而合理的前端理论:rscss和rsjs
  • ionic异常记录
  • ​HTTP与HTTPS:网络通信的安全卫士
  • # 安徽锐锋科技IDMS系统简介
  • # 职场生活之道:善于团结
  • ## 临床数据 两两比较 加显著性boxplot加显著性
  • #git 撤消对文件的更改
  • #快捷键# 大学四年我常用的软件快捷键大全,教你成为电脑高手!!
  • (C++哈希表01)
  • (笔试题)分解质因式
  • (二)pulsar安装在独立的docker中,python测试
  • (附源码)springboot教学评价 毕业设计 641310
  • (力扣题库)跳跃游戏II(c++)
  • (三维重建学习)已有位姿放入colmap和3D Gaussian Splatting训练
  • (详细文档!)javaswing图书管理系统+mysql数据库
  • (一)基于IDEA的JAVA基础1
  • (转)jdk与jre的区别
  • ***利用Ms05002溢出找“肉鸡
  • . ./ bash dash source 这五种执行shell脚本方式 区别
  • .Family_物联网
  • .net core控制台应用程序初识
  • .NET Project Open Day(2011.11.13)