五分钟读完权威书籍的Redis事务_学习总结

前言

Redis在项目实际开发中,经常会使用到的中间件。作为缓存数据的工具,就必然会有保证数据原子性的问题,那么我们今天就来谈谈Redis的事务吧。

文章主体脉络:
Redis事务要解决的问题?→Redis事务的简单使用→使用会引发的问题→如何解决这个问题:watch→watch的实现机制→事务会引发的问题。

Redis为了解决什么问题?


在MySQL和Spring都有进行事务控制的方法。Redis作为缓存,我们操作Redis的数据时在特定场景下也要保证我们操作的命令的ACID属性。那么Redis有提供这样的办法吗?有的。那我们今天就来聊下Redis的事务。

为什么需要Redis事务(问题场景)?


一定要理解Redis的事务要解决什么问题,才能有全局意识,他所有的做法都是为了解决这个问题。

业务系统需要在Redis中设置值,并最终获取数据:

//示例代码
set name "zhangsan";
set age 25;
get name;--希望获取到"张三"

按照示例代码,通常我们会发送三个命令给Redis进行数据设置和获取,一般情况下我们可以获取到name=“张三”。

那么请你思考下,这样的请求会不会有问题呢?

恭喜你答对了。会的。我们发现如果在我们命令执行中间,有一个客户B对执行了set “name” "李四"命令。那我们获取到的name值就是“李四”了,与我们预期获取的值不同。

我的天啊,那怎么办?很简单,就是利用Redis的事务进行控制,我们就可以保证获取到name=“张三”。那么Redis的事务应该怎么使用呢?

如何使用Redis的事务机制?

Redis的事务执行分为三个阶段:事务开启、命令入队,事务执行。

先给出一个Redis事务的完整命令:

1、事务开启

命令MULTI

表示该客户端进入事务状态,后续编辑的命令,除了watch、exce、discard、multi等四个命令外,其他命令都会先入队列,等到我们使用EXEC命令后再一并执行。

这里就引出了客户端的事务状态和非事务状态。

客户端运行MULTI命令后,会打开事务状态,会在客户端状态的flags属性中打开Redis_Multi表示来完成。

2、命令入队

事务状态和非事务状态执行命令的逻辑不同。

图:命令入队逻辑

3、事务执行

命令EXEC

客户端执行exec命令后,redis就会执行我们事务中的整个队列的命令。中途不会有其他事务可以操作redis(redis单线程)。

但有一点要注意:Redis没有像MySQL那样的回滚机制的,根据作者的说法,意思就是按照Redis设计,如果执行的命令有问题,就是客户端的问题。其次,作为轻量级应用,不应该加回滚操作。总而言之,你的愚蠢不要怪Redis。

讲完了Redis的事务的使用过程,大家对事务的使用基本有了了解,但事务执行可能存在一个问题。

问题场景:

  1. A客户端(应用程序)获取了num1=1、num2=10的值,A要对num1+1,然后num2+num1。理论上,我们开启事务,set num1 2 set num2 = 12。
  2. B客户端在随后也做了A客户端的一样的操作,理论上我们最终结果应该是num1=3,num2=15。
  3. 现在问题来了,假设B与A是同时进行了这个操作,我们最后的结果变成num=2,num2=12了。
  4. 这就违背了我们初衷,这在计算的时候经常遇见。
  5. 那我们怎么去确保最终结果符合预期呢?办法就是WATCH命令。

Watch命令的实现原理

WATCH命令本质上是乐观锁,原理跟CAS类似,就是监控键值对,如果在监控后键值对被其他客户端改变,那么我们接下去要执行的事务就会被拒绝。这点我觉得跟CAS的设计思路有类似的地方。CAS是在更新时比较旧值是否相等,Redis时通过维护一个Watched_keys字典的状态来确定旧值是否已更改。
所以:
比如num1=3,A watch的时候num1=3,B set num1 3。这种情况下,CAS是允许修改数据的,但Redis不允许的。如下图所示:

图:操作命令说明

那Watch的实现原理是怎样的呢?

Redis提供了一张WATCH_KEY数据结构,监控的num1为key,监控这个键值的客户端是一个链表。当num1的值被修改了,那么监控这个num1的客户端的状态REDIS_DIRTY_CAS就会被打开,在事务执行的时候,redis根据状态值来判断这个事务是否可以执行。

图:watched_keys数据结构说明

这就是Watch的大致实现原理了。

大致讲完Redis的事务,读者可以想下,Redis事务可能引发什么问题呢?

事务引发的问题

笔者认为最明显的问题就是阻塞其他客户端的访问。如果执行一个长命令,比如keys 获取十万个key值,这就很麻烦了,如果事务里有两个是执行keys 获取十万条key值呢。当然这样的操作有违Redis的设计初衷。(你蠢不能怪Redis),深入了解一个工具是为了更好的使用他。

笔者认为Redis的事务可以当成是业务代码实现并发控制的一种简单方式手段。比如秒杀系统的库存经常会存到Redis,通常我们都要避免超卖,库存为0就返回给客户端没有了。在这种情况下就可以使用Redis的事务。不然A客户端原本获取到的库存repertoryCount=1,结果在他运行的时候,其他客户端也在下单。这就造成了超卖。【秒杀这个应用场景待商榷,希望各位提建议,笔者自己想出来的就是这个很蠢的假设场景,实际业务中我们直接用DECR key减一更香,如果直接使用DECR命令,要考虑应用程序出错的时候加回去】

后言(必读)

  • 题目是五分钟读完,不是五分钟学会。
  • 笔者希望各位读者(无论自认为是大佬或小白)能够对文章提出问题或指出错误,笔者一定会跟进进行问题的解答,错误之处笔者会继续学习,完善本文内容。望各位不吝赐教。
  • 如果没有自己问题和建议,对你来说只有输入知识,没有输出,学习效果并不好。
  • 如果你觉得评论沟通不方便,想问的问题/笔者的观点错误过多,愿意向笔者询问和指正的话,也可以添加笔者微信(o815441)进行探讨,笔者乐意之至。请备注“探讨技术问题”。

参考资料

  • 《Redis的设计与实现》——黄健宏

热门文章

暂无图片
编程学习 ·

C语言二分查找详解

二分查找是一种知名度很高的查找算法,在对有序数列进行查找时效率远高于传统的顺序查找。 下面这张动图对比了二者的效率差距。 二分查找的基本思想就是通过把目标数和当前数列的中间数进行比较,从而确定目标数是在中间数的左边还是右边,将查…
暂无图片
编程学习 ·

GMX 命令分类列表

建模和计算操作命令: 1.1 . 创建拓扑与坐标文件 gmx editconf - 编辑模拟盒子以及写入子组(subgroups) gmx protonate - 结构质子化 gmx x2top - 根据坐标生成原始拓扑文件 gmx solvate - 体系溶剂化 gmx insert-molecules - 将分子插入已有空位 gmx genconf - 增加…
暂无图片
编程学习 ·

一文高效回顾研究生课程《数值分析》重点

数值分析这门课的本质就是用离散的已知点去估计整体,就是由黑盒子产生的结果去估计这个黑盒子。在数学里这个黑盒子就是一个函数嘛,这门课会介绍许多方法去利用离散点最大化地逼近这个函数,甚至它的导数、积分,甚至微分方程的解。…
暂无图片
编程学习 ·

在职阿里5年,一个28岁女软测工程师的心声

简单的先说一下,坐标杭州,14届本科毕业,算上年前在阿里巴巴的面试,一共有面试了有6家公司(因为不想请假,因此只是每个晚上去其他公司面试,所以面试的公司比较少) ​ 编辑切换为居中…
暂无图片
编程学习 ·

字符串左旋c语言

目录 题目: 解题思路: 第一步: 第二步: 第三步: 总代码: 题目: 实现一个函数,可以左旋字符串中的k个字符。 例如: ABCD左旋一个字符得到BCDA ABCD左旋两个字符…
暂无图片
编程学习 ·

设计模式--观察者模式笔记

模式的定义与特点 观察者(Observer)模式的定义:指多个对象间存在一对多的依赖关系,当一个对象的状态发生改变时,所有依赖于它的对象都得到通知并被自动更新。这种模式有时又称作发布-订阅模式、模型-视图模式&#xf…
暂无图片
编程学习 ·

睡觉突然身体动不了,什么是睡眠痽痪症

很多朋友可能有这样的体验,睡觉过程中突然意识清醒,身体却动弹不了。这时候感觉非常恐怖,希望旁边有一个人推自己一下。阳光以前也经常会碰到这样的情况,一年有一百多次,那时候很害怕晚上到来,睡觉了就会出…
暂无图片
编程学习 ·

深入理解C++智能指针——浅析MSVC源码

文章目录unique_ptrshared_ptr 与 weak_ptrstd::bad_weak_ptr 异常std::enable_shared_from_thisunique_ptr unique_ptr 是一个只移型别(move-only type,只移型别还有std::mutex等)。 结合一下工厂模式,看看其基本用法&#xff…
暂无图片
编程学习 ·

@TableField(exist = false)

TableField(exist false) //申明此字段不在数据库存在,但代码中需要用到它,通知Mybatis-plus在做写库操作是忽略它。,.
暂无图片
编程学习 ·

Java Web day15

第十二章文件上传和下载 一、如何实现文件上传 要实现Web开发中的文件上传功能,通常需要完成两步操作:一.是在Web页面中添加上传输入项;二是在Servlet中读取上传文件的数据,并保存到本地硬盘中。 需要使用一个Apache组织提供一个…
暂无图片
编程学习 ·

【51nod 2478】【单调栈】【前缀和】小b接水

小b接水题目解题思路Code51nod 2478 小b接水 题目 输入样例 12 0 1 0 2 1 0 1 3 2 1 2 1输出样例 6解题思路 可以发现最后能拦住水的都是向两边递减高度(?) 不管两个高积木之间的的积木是怎样乱七八糟的高度,最后能用来装水的…
暂无图片
编程学习 ·

花了大半天写了一个UVC扩展单元调试工具

基于DIRECTSHOW 实现的,用的是MFC VS2019. 详见:http://www.usbzh.com/article/detail-761.html 获取方法 加QQ群:952873936,然后在群文件\USB调试工具&测试软件\UVCXU-V1.0(UVC扩展单元调试工具-USB中文网官方版).exe USB中文网 USB中文…
暂无图片
编程学习 ·

贪心(一):区间问题、Huffman树

区间问题 例题一:区间选点 给定 N 个闭区间 [ai,bi]请你在数轴上选择尽量少的点,使得每个区间内至少包含一个选出的点。 输出选择的点的最小数量。 位于区间端点上的点也算作区间内。 输入格式 第一行包含整数 N,表示区间数。 接下来 …
暂无图片
编程学习 ·

C语言练习实例——费氏数列

目录 题目 解法 输出结果 题目 Fibonacci为1200年代的欧洲数学家,在他的着作中曾经提到:「若有一只免子每个月生一只小免子,一个月后小免子也开始生产。起初只有一只免子,一个月后就有两只免子,二个月后有三只免子…
暂无图片
编程学习 ·

Android开发(2): Android 资源

个人笔记整理 Android 资源 Android中的资源,一般分为两类: 系统内置资源:Android SDK中所提供的已经定义好的资源,用户可以直接拿来使用。 用户自定义资源:用户自己定义或引入的,只适用于当前应用的资源…
暂无图片
编程学习 ·

零基础如何在短时间内拿到算法offer

​算法工程师是利用算法处理事物的职业 算法(Algorithm)是一系列解决问题的清晰指令,也就是说,能够对一定规范的输入,在有限时间内获得所要求的输出。 如果一个算法有缺陷,或不适合于某个问题,执…
暂无图片
编程学习 ·

人工智能:知识图谱实战总结

人工智能python,NLP,知识图谱,机器学习,深度学习人工智能:知识图谱实战前言一、实体建模工具Protegepython,NLP,知识图谱,机器学习,深度学习 人工智能:知识图…
暂无图片
编程学习 ·

【无标题】

这里写自定义目录标题欢迎使用Markdown编辑器新的改变功能快捷键合理的创建标题,有助于目录的生成如何改变文本的样式插入链接与图片如何插入一段漂亮的代码片生成一个适合你的列表创建一个表格设定内容居中、居左、居右SmartyPants创建一个自定义列表如何创建一个注…