Redis 事务实现原理

news2024/9/24 7:18:41

1. 什么是Redis事务

提到事务,我们可能马上会想到传统的关系型数据库中的事务,客户端首先向服务器发送BEGIN开启事务,然后执行读写操作,最后用户发送 COMMIT 或者 ROLLBACK 来提交或者回滚之前的操作。

但是Redis中的事务与关系型数据库是不一样的,Redis 通过 MULTI 命令开始,之后输入一连串的操作,最终以 EXEC 结束,在这之间输入的所有的命令都会在 EXEC 之后一起发给Redis执行,所以在这之间用户无法通过读取到的结果做处理。

这与关系型数据库的事务是由很大的不同的。Redis会在执行完成之后返回一组执行结果。Redis中并没有回滚的操作,这一点会在后面说到。

Redis的这种延迟执行事务会有助于提升性能,客户端会在收到EXEC命令之后再将这一系列的命令一起发给Redis,然后等待Redis的回复,这种一次性发送多条指令,然后等待回复 的做法称为流水线(pipeline)模式,它可以通过减少客户端与服务端之间的网络通信次数来提高Redis执行命令的性能

Redis通过以下两点保证事务:

  1. 事务中的所有命令都序列化并按顺序执行,在执行事务的过程中,不会去执行其它客户端的命令,保证命令作为单个隔离操作进行。
  2. 要么处理所有命令,要么不处理,保证原子性,如果开启了AOF,Redis 会使用单个write命令将事务写入文件中,如果因为某些原因导致AOF写入被截断,在重启redis时会报错,使用redis-check-aof 工具可以修复这个错误(删除掉这个事务相关的命令),保证redis能够重新启动。

2. Redis 事务操作

2.1 事务相关命令说明

在这里插入图片描述
命令详情参见:https://www.redis.net.cn/order/

2.2 执行事务举例

1)正常执行
在这里插入图片描述
2)放弃事务
在这里插入图片描述
3)执行期间出现异常指令

若在事务队列中存在命令性错误(类似于java编译性错误),则执行EXEC命令时,所有命令都不会执行
在这里插入图片描述
4)语法异常
若在事务队列中存在语法性错误(类似于java的1/0的运行时异常),则执行EXEC命令时,其他正确命令会被执行,错误命令抛出异常。
在这里插入图片描述

2.3 使用watch监视key

严格的说Redis的命令是原子性的,而事务是非原子性的,我们要让Redis事务完全具有事务回滚的能力,需要借助于命令WATCH来实现。

Redis 使用watch命令来决定事务是继续执行还是回滚,那就需要在mulit 之前使用watch来监视某些键值对,然后使用mulit 命令来开启事务,执行对数据结构的各种命令,此时这些命令入队列。

当使用exec执行事务时,首先会比对watch所监视的键值对,

  1. 如果没有发生变化,它会执行事务队列中的命令,提交事务
  2. 如果发生变化,将不会执行事务中的任何命令,同时事务回滚

当然无论是否回滚,redis都会取消执行事务前的watch命令

在这里插入图片描述

2.4 监视key案例

1)案例一:使用watch检测balance,事务期间balance数据未变动,事务执行成功
在这里插入图片描述
2)使用watch检测balance,在开启事务后(标注1处),在新窗口执行标注2中的操作,更改balance的值,模拟其他客户端在事务执行期间更改watch监控的数据,然后再执行标注1后命令,执行EXEC后,事务未成功执行。

在这里插入图片描述
在这里插入图片描述
一但执行 EXEC 开启事务的执行后,无论事务使用是否执行成功, WARCH 对变量的监控都将被取消。

故当事务执行失败后,需重新执行WATCH命令对变量进行监控,并开启新的事务进行操作。

3. 常见面试题及解析

3.1 为什么Redis不支持事务回滚?

多数事务失败是由语法错误或者数据结构类型错误导致的。语法错误说明在命令入队前就进行检测的,而类型错误是在执行时检测的.

Redis为提升性能,而采用这种简单的事务,这是不同于关系型数据库的,特别需要注意。

  1. EXEC执行事务中的所有命令:必须与MULTI命令成对使用
  2. Redis并没有用典型的加锁功能来解决key的竞争问题,主要原因是出于性能的考虑。

回顾一下关系型数据库中的事务,在访问以写入为目的的数据时,数据库会对被访问的数据加锁,直到提交或回滚之后才释放锁,如果此时另一个客户端也这部分数据进行写入操作,客户端将会被阻塞,直到上一个事务结束。

这种加锁的方式称为悲观锁,它的缺点在于持有锁的客户端持有锁的时间越长,其它客户端被阻塞的时间就越长。

Redis为了减少客户端等待的时间,并不会在执行WATCH 命令后对数据进行加锁,而是如果有其他客户端抢先修改了数据的情况下通知执行了 WATCH 的客户端,这种做法叫做乐观锁。我们只需在客户端执行事务失败之后进行重试的逻辑即可。

4. 总结

watch指令类似于乐观锁,在事务提交时,如果watch监控的多个KEY中任何KEY的值已经被其他客户端更改,则使用EXEC执行事务时,事务队列将不会被执行,同时返回Nullmulti-bulk应答以通知调用者事务执行失败。

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

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

相关文章

GB28181学习(四)——网络设备信息查询

要求 源设备向目标设备发送信息查询命令,目标设备将结果通过查询应答命令返回给源设备;设备信息查询命令包括: 设备目录设备信息设备状态信息设备配置预置位、看守位巡航轨迹列表巡航轨迹PTZ精准状态存储卡状态等 信息查询的范围&#xff1a…

内网穿透对开发人员有什么作用?要怎么实现?快解析

在当今快节奏的互联网时代,软件开发人员需要时刻与内外部服务器进行通信和调试,只有这样才能带来良好的工作速度,顺利推动项目的进展。然而,由于受到网络环境的限制,有时候我们可能无法直接访问公司内网的服务器&#…

差分方程模型:蛛网模型

在完全竞争的市场经济中,一个时期某种消费品如猪肉的上市量远远大于需求量,由于销售不畅导致价格下降,生产者发现养猪赔钱,于是转而经营其它农副产品。过一段时间猪肉上市量就会下降,此时供不应求导致价格上涨&#xf…

【MySQL】MySQL索引的定义、分类、Explain、索引失效和优化

索引的介绍 索引是帮助MySQL高效获取数据的数据结构 MySQL在存储数据之外,数据库系统中还维护着满足特定查找算法的数据结构,这些数据结构以某种引用(指向)表中的数据,这样我们就可以通过数据结构上实现的高级查找算法来快速找到我们想要的数…

设计原则SOLID看这一篇就够了

文章目录 1.引言1.1. 背景1.2. 简要介绍 SOLID 原则1.1. 面向对象编程和设计的重要性 2. 单一职责原则(SRP)2.1. 定义和原理2.2. SRP 的好处与目标2.3. 例子和代码展示2.4. 如何识别和解决 SRP 原则的违反2.5. 注意事项和局限性 3. 开闭原则(…

Centos7.9 一键脚本部署 LibreNMS 网络监控系统

前言: LibreNMS 是个以 PHP/MySQL 为基底的自动探索网络监控系统 LibreNMS 官网 版本23.8.2-52-g7bbe0a2 - Thu Sep 14 2023 22:33:23 GMT0700数据库纲要2023_09_01_084057_application_new_defaults (259)Web 服务器nginx/1.20.1PHP8.1.23Python3.6.8DatabaseMa…

Killer!永久禁用WindowsDefender

工具介绍 WinDefenderKiller,使用C写的通过注册表项永久禁用Windows Defende的一个工具。 关注【Hack分享吧】公众号,回复关键字【230726】获取下载链接 编译使用 执行以下命令编译: # x86_64-w64-mingw32-g -O2 disableWinDef.cpp -o win…

JS 原型和原型链

原型和原型链 1. 了解原型和原型链1.1 原型1.2 原型链 2. 原型2.1 prototype2.2 __proto__ 隐式原型 3. 原型链 1. 了解原型和原型链 1.1 原型 原型: prototype 又称显示原型 1、原型是一个普通对象 2、只有构造函数才具备该属性 3、公有属性可操作 1.2 原型链 原…

数据治理-元数据管理-元数据类型

定义 元数据,定义和描述其它数据的数据。 类型 业务元数据、技术元数据和操作元数据。在图书馆或信息科学中,可分为描述元数据、结构元数据、管理元数据。 业务元数据 主要关注数据的内容和条件,另包括与数据治理相关的详细信息。业务元数据…

logback异步appender日志源码详解

背景: 日常打印日志时,使用logback的异步写日志几乎是标准的配置方式,本文从源码上看看异步写日志的整个流程 异步Appender日志 一般日志的配置如下所示 appender(“ASYNC-LOG”, AsyncAppender) { neverBlock true queueSize 10000 } 这…

前端需要知道的计算机网络知识----网络安全,自学网络安全,学习路线图必不可少,【282G】初级网络安全学习资源分享!

网络安全(英语:network security)包含网络设备安全、网络信息安全、网络软件安全。 黑客通过基于网络的入侵来达到窃取敏感信息的目的,也有人以基于网络的攻击见长,被人收买通过网络来攻击商业竞争对手企业&#xff0c…

CH07_封装

封装记录(Encapsulate Record | 162) 曾用名:以数据类代替记录(Replace Record with Data Class) organization {name: "Acme Gooseberries", country: "GB"};class Organization {constructor(…

HTML整站规划与规范

文章目录 命名规则命名命名书写 包含样式规范样式重置样式引入页面结构页面宽度页面高度与背景页面设计 网址图标 命名规则 命名 根据每块元素的主题、功能、页面上的位置命名,便于后期更改与维护。 另外:如果所有样式放在同一文件下,可以给…

计算如何剥出艺术品

背景: 今天给大家介绍一篇中国科学技术大学发表的论文《Computational Peeling Art Design》。论文要解决是:如何把球状三维物体的表面连续展开成一些艺术画面,要求是展开表面要占三维物体表面整个面积,展开表面要和艺术体形状尽可…

[CISCN 2022 初赛]online_crt

文章目录 涉及知识点代码审计解题过程 涉及知识点 CVE-2022-1292漏洞OpenSSLssrf 代码审计 app.py源码 import datetime import json import os import socket import uuid from cryptography import x509 from cryptography.hazmat.backends import default_backend from …

LeetCode(力扣)55. 跳跃游戏Python

LeetCode20. 有效的括号 题目链接代码 题目链接 https://leetcode.cn/problems/jump-game/ 代码 class Solution:def canJump(self, nums: List[int]) -> bool:if len(nums) < 1:return Truecover 0for i in range(len(nums)):if i < cover:cover max(cover, i …

【NVIDIA CUDA】2023 CUDA夏令营编程模型(四)

博主未授权任何人或组织机构转载博主任何原创文章&#xff0c;感谢各位对原创的支持&#xff01; 博主链接 本人就职于国际知名终端厂商&#xff0c;负责modem芯片研发。 在5G早期负责终端数据业务层、核心网相关的开发工作&#xff0c;目前牵头6G算力网络技术标准研究。 博客…

性能测试结果评估与展示

面向性能测试部门 对测试资产进行集中管理以及从项目或系统维度进行汇总展示是两种行之有效的管理手段。这些测试资产包括脚本、缺陷描述、测试记录、测试报告、项目需求等资料,通过对这些资料进行分类,当原有人员缺失的情况下,新接手的测试工程师能快速了解关键信息。 使…

Android RecyclerView BaseSectionQuickAdapter实现分组功能

详情网站&#xff1a;手把手教你使用BaseSectionQuickAdapter实现分组功能&#xff0c;史上最详细Adapter使用教程_basequickadapter 分组_杨阿程的博客-CSDN博客 //加入二个包implementation com.android.support:recyclerview-v7:26.0.0-beta1implementation com.github.Cym…

SAP 选择屏幕动态通过Radio Button 显示与隐藏以及控制是否必输

如何在选择屏幕上进行动态展示屏幕字段&#xff0c;并且进行必输项检查控制 1. 选择屏幕定义 SELECTION-SCREEN BEGIN OF BLOCK b1 WITH FRAME TITLE TEXT-001.SELECTION-SCREEN BEGIN OF LINE.PARAMETERS: p_r1 TYPE c RADIOBUTTON GROUP grp USER-COMMAND uc DEFAULT X. &q…